public class EmptyEnvInput extends AbstractEnvInput
bootClassPath, classPath, includes, initConfig, javaPath, name, profile
Constructor and Description |
---|
EmptyEnvInput(Profile profile) |
Modifier and Type | Method and Description |
---|---|
java.io.File |
getInitialFile()
Returns the initial
File which is loaded if available. |
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.
|
getNumberOfChars, getProfile, name, readBootClassPath, readClassPath, readIncludes, readJavaPath, setInitConfig
public EmptyEnvInput(Profile profile)
public ImmutableSet<PositionedString> read() throws ProofInputException
EnvInput
ImmutableSet
if no warnings occurred.ProofInputException
public java.io.File getInitialFile()
EnvInput
File
which is loaded if available.File
which is loaded or null
otherwise.