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 |
---|---|
java.lang.String |
getJavaFile()
Returns the file path to specific requested Java file.
|
int |
getNumberOfChars()
Returns the total numbers of chars that can be read in this input.
|
Profile |
getProfile()
Returns the
Profile to use. |
boolean |
isIgnoreOtherJavaFiles()
This flag determines whether the given path to the Java source should be considered as a classpath,
or just the Java file without other files should be loaded.
|
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 |
setIgnoreOtherJavaFiles(boolean ignoreOtherJavaFiles) |
void |
setInitConfig(InitConfig initConfig)
Sets the initial configuration the read environment input should be
added to.
|
void |
setJavaFile(java.lang.String javaFile) |
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
public Profile getProfile()
EnvInput
Profile
to use.getProfile
in interface EnvInput
Profile
to use.public void setIgnoreOtherJavaFiles(boolean ignoreOtherJavaFiles)
public boolean isIgnoreOtherJavaFiles()
EnvInput
Default is false.
If true, the requested Java file has to given via EnvInput.getJavaFile()
.
isIgnoreOtherJavaFiles
in interface EnvInput
ProblemInitializer.readJava(EnvInput, InitConfig)
public java.lang.String getJavaFile()
EnvInput
getJavaFile
in interface EnvInput
EnvInput.isIgnoreOtherJavaFiles()
public void setJavaFile(java.lang.String javaFile)
Copyright © 2003-2019 The KeY-Project.