|
| |
|
| java.lang.Object
 de.uka.ilkd.key.proof.init.KeYFile
de.uka.ilkd.key.proof.init.KeYFileForTests
| KeYFileForTests | | public class KeYFileForTests extends KeYFile (Code) | | Used for TESTS ONLY as we allow there to declare program variables global
in rule files .
|
| Constructor Summary | |
| public | KeYFileForTests(String name, File file)
creates a new representation for a given file by indicating a name
and a file representing the physical source of the .key file. |
| Method Summary | |
| public void | read(ModStrategy mod)
reads the whole .key file and modifies the initial configuration
assigned to this object according to the given modification strategy. | | public Includes | readIncludes()
|
| KeYFileForTests | | public KeYFileForTests(String name, File file)(Code) | | creates a new representation for a given file by indicating a name
and a file representing the physical source of the .key file.
|
| read | | public void read(ModStrategy mod) throws ProofInputException(Code) | | reads the whole .key file and modifies the initial configuration
assigned to this object according to the given modification strategy.
Throws an exception if no initial configuration has been set yet.
|
|
|
|