public abstract class AbstractEnvInput extends java.lang.Object implements EnvInput
Modifier and Type | Field and Description |
---|---|
protected java.io.File |
bootClassPath |
protected java.util.List<java.io.File> |
classPath |
protected Includes |
includes |
protected InitConfig |
initConfig |
protected java.lang.String |
javaPath |
protected java.lang.String |
name |
protected Profile |
profile |
Constructor and Description |
---|
AbstractEnvInput(java.lang.String name,
java.lang.String javaPath,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
Profile profile,
java.util.List<java.io.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. |
java.lang.String |
name()
Returns the name of this input.
|
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 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 java.lang.String name
protected final java.lang.String javaPath
protected final java.util.List<java.io.File> classPath
protected final java.io.File bootClassPath
protected final Includes includes
protected final Profile profile
protected InitConfig initConfig
public AbstractEnvInput(java.lang.String name, java.lang.String javaPath, java.util.List<java.io.File> classPath, java.io.File bootClassPath, Profile profile, java.util.List<java.io.File> includes)
public final java.lang.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 java.lang.String readJavaPath() throws ProofInputException
EnvInput
readJavaPath
in interface EnvInput
ProofInputException
public final 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