public abstract class AbstractEnvInput extends Object implements EnvInput
Modifier and Type | Field and Description |
---|---|
protected File |
bootClassPath |
protected List<File> |
classPath |
protected Includes |
includes |
protected InitConfig |
initConfig |
protected String |
javaPath |
protected String |
name |
protected Profile |
profile |
Constructor and Description |
---|
AbstractEnvInput(String name,
String javaPath,
List<File> classPath,
File bootClassPath,
Profile profile,
List<File> includes) |
Modifier and Type | Method and Description |
---|---|
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.
|
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.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getInitialFile, read
protected final String name
protected final String javaPath
protected final File bootClassPath
protected final Includes includes
protected final Profile profile
protected InitConfig initConfig
public final String name()
EnvInput
public final int getNumberOfChars()
EnvInput
getNumberOfChars
in interface EnvInput
public final void setInitConfig(InitConfig initConfig)
EnvInput
setInitConfig
in interface EnvInput
public final Includes readIncludes() throws ProofInputException
EnvInput
readIncludes
in interface EnvInput
ProofInputException
public final String readJavaPath() throws ProofInputException
EnvInput
readJavaPath
in interface EnvInput
ProofInputException
public final List<File> readClassPath() throws ProofInputException
EnvInput
readClassPath
in interface EnvInput
ProofInputException
public File readBootClassPath()
EnvInput
readBootClassPath
in interface EnvInput