public final class SLEnvInput extends AbstractEnvInput
bootClassPath, classPath, includes, initConfig, javaPath, name, profile
Constructor and Description |
---|
SLEnvInput(java.lang.String javaPath,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
Profile profile,
java.util.List<java.io.File> includes) |
SLEnvInput(java.lang.String javaPath,
Profile profile) |
Modifier and Type | Method and Description |
---|---|
java.io.File |
getInitialFile()
Returns the initial
File which is loaded if available. |
static java.lang.String |
getLanguage() |
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.
|
getJavaFile, getNumberOfChars, getProfile, isIgnoreOtherJavaFiles, name, readBootClassPath, readClassPath, readIncludes, readJavaPath, setIgnoreOtherJavaFiles, setInitConfig, setJavaFile
public SLEnvInput(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 SLEnvInput(java.lang.String javaPath, Profile profile)
public static java.lang.String getLanguage()
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.Copyright © 2003-2019 The KeY-Project.