| java.lang.Object
 de.uka.ilkd.key.ocl.gf.TempGrammarFiles
| TempGrammarFiles | | class TempGrammarFiles (Code) | |
author:
Kristofer Johannisson and Hans-Joachim Daniels
author:
handles the copying of GF OCL grammars from the resource directory
author:
to a temporary directory (so that GF can access them) |
| Method Summary | |
| public static File | createOCLtmp(String ocl)
creates a file with the given ocl constraint as the content and returns the handle. | | public String | path2grammars2()
returns the location of the OCL-GF2 grammar files in the temp directory. |
| deleteOnExit | | static boolean deleteOnExit(Code) | | for debugging, one might want to keep the generated grammar files
|
| grammarFileListName | | final static String grammarFileListName(Code) | | |
| tempG2ParentDir | | File tempG2ParentDir(Code) | | a directory in the tmp directory with a unique name
|
| tempGrammars2Dir | | File tempGrammars2Dir(Code) | | a directory in grammars2TempDir with name grammars2
|
| TempGrammarFiles | | public TempGrammarFiles() throws IOException(Code) | | copy GF OCL grammars from internal resource directory to
a temporary directory, where GF can access them
|
| createOCLtmp | | public static File createOCLtmp(String ocl) throws IOException(Code) | | creates a file with the given ocl constraint as the content and returns the handle.
Every call generates a new File.
Parameters:
ocl - the constraint to be written a File object representing the temporary file
throws:
IOException - |
| path2grammars2 | | public String path2grammars2()(Code) | | returns the location of the OCL-GF2 grammar files in the temp directory.
the location of the OCL-GF2 grammar files in the temp directory. |
|
|