Modifier and Type | Field and Description |
---|---|
private Namespace |
variables |
file, initConfig, monitor
Constructor and Description |
---|
KeYFileForTests(String name,
File file,
Profile profile)
creates a new representation for a given file by indicating a name
and a file representing the physical source of the .key file.
|
Modifier and Type | Method and Description |
---|---|
ImmutableSet<PositionedString> |
read()
reads the whole .key file and modifies the initial configuration
assigned to this object according to the given modification strategy.
|
Namespace |
variables() |
chooseContract, close, equals, getInitialFile, getNewStream, getNumberOfChars, getPreferences, getProfile, getProofObligation, hashCode, name, readBootClassPath, readClassPath, readFuncAndPred, readIncludes, readJavaPath, readPreferences, readRulesAndProblem, readSorts, setInitConfig, toString
private Namespace variables
public ImmutableSet<PositionedString> read() throws ProofInputException
read
in interface EnvInput
read
in class KeYFile
ImmutableSet
if no warnings occurred.ProofInputException
public Namespace variables()