public interface EnvInput
Modifier and Type | Method and Description |
---|---|
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. |
String |
name()
Returns the name of this input.
|
ImmutableSet<PositionedString> |
read()
Reads the input using the given modification strategy, i.e.,
parts of the input do not modify the initial configuration while
others do.
|
File |
readBootClassPath()
gets the boot classpath element, null if none set.
|
List<File> |
readClassPath()
gets the classpath elements to be considered here.
|
Includes |
readIncludes()
Reads the include section and returns an Includes object.
|
String |
readJavaPath()
Reads the Java path.
|
void |
setInitConfig(InitConfig initConfig)
Sets the initial configuration the read environment input should be
added to.
|
String name()
int getNumberOfChars()
void setInitConfig(InitConfig initConfig)
Includes readIncludes() throws ProofInputException
ProofInputException
String readJavaPath() throws ProofInputException
ProofInputException
List<File> readClassPath() throws ProofInputException
ProofInputException
File readBootClassPath() throws IOException
IOException
ImmutableSet<PositionedString> read() throws ProofInputException
ImmutableSet
if no warnings occurred.ProofInputException