public class LDTInput extends java.lang.Object implements EnvInput
Modifier and Type | Class and Description |
---|---|
static interface |
LDTInput.LDTInputListener |
Modifier and Type | Field and Description |
---|---|
private InitConfig |
initConfig |
private KeYFile[] |
keyFiles |
private LDTInput.LDTInputListener |
listener |
private static java.lang.String |
NAME |
private Profile |
profile |
Constructor and Description |
---|
LDTInput(KeYFile[] keyFiles,
LDTInput.LDTInputListener listener,
Profile profile)
creates a representation of the LDT files to be used as input
to the KeY prover.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.io.File |
getInitialFile()
Returns the initial
File which is loaded if available. |
int |
getNumberOfChars()
Returns the total numbers of chars that can be read in this input.
|
Profile |
getProfile()
Returns the
Profile to use. |
int |
hashCode() |
java.lang.String |
name()
Returns the name of this input.
|
ImmutableSet<PositionedString> |
read()
reads all LDTs, i.e., all associated .key files with respect to
the given modification strategy.
|
java.io.File |
readBootClassPath()
gets the boot classpath element, null if none set.
|
java.util.List<java.io.File> |
readClassPath()
gets the classpath elements to be considered here.
|
Includes |
readIncludes()
Reads the include section and returns an Includes object.
|
java.lang.String |
readJavaPath()
Reads the Java path.
|
void |
setInitConfig(InitConfig conf)
Sets the initial configuration the read environment input should be
added to.
|
java.lang.String |
toString() |
private static final java.lang.String NAME
private final KeYFile[] keyFiles
private final LDTInput.LDTInputListener listener
private final Profile profile
private InitConfig initConfig
public LDTInput(KeYFile[] keyFiles, LDTInput.LDTInputListener listener, Profile profile)
keyFiles
- an array containing the LDT .key filesmain
- the main class used to report the progress of readingpublic java.lang.String name()
EnvInput
public int getNumberOfChars()
EnvInput
getNumberOfChars
in interface EnvInput
public void setInitConfig(InitConfig conf)
EnvInput
setInitConfig
in interface EnvInput
public Includes readIncludes() throws ProofInputException
EnvInput
readIncludes
in interface EnvInput
ProofInputException
public java.lang.String readJavaPath() throws ProofInputException
EnvInput
readJavaPath
in interface EnvInput
ProofInputException
public java.util.List<java.io.File> readClassPath() throws ProofInputException
EnvInput
readClassPath
in interface EnvInput
ProofInputException
public java.io.File readBootClassPath()
EnvInput
readBootClassPath
in interface EnvInput
public ImmutableSet<PositionedString> read() throws ProofInputException
read
in interface EnvInput
ImmutableSet
if no warnings occurred.ProofInputException
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public Profile getProfile()
EnvInput
Profile
to use.getProfile
in interface EnvInput
Profile
to use.public java.io.File getInitialFile()
EnvInput
File
which is loaded if available.getInitialFile
in interface EnvInput
File
which is loaded or null
otherwise.