de.uka.ilkd.key.proof.io

Class AbstractEnvInput

java.lang.Object

de.uka.ilkd.key.proof.io.AbstractEnvInput

All Implemented Interfaces:

EnvInput

Direct Known Subclasses:

EmptyEnvInput, SLEnvInput

public abstract class AbstractEnvInput
extends Object
implements EnvInput

A simple EnvInput which includes default rules and a Java path.

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
AbstractEnvInput(String name, String javaPath, List<File> classPath, File bootClassPath, Profile profile, List<File> includes)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.proof.io.EnvInput

getInitialFile, read

Field Detail

name

protected final String name

javaPath

protected final String javaPath

classPath

protected final List<File> classPath

bootClassPath

protected final File bootClassPath

includes

protected final Includes includes

profile

protected final Profile profile

initConfig

protected InitConfig initConfig

Constructor Detail

AbstractEnvInput

public AbstractEnvInput(String name,
                        String javaPath,
                        List<File> classPath,
                        File bootClassPath,
                        Profile profile,
                        List<File> includes)

Method Detail

name

public final String name()

Description copied from interface: EnvInput

Returns the name of this input.

Specified by:

name in interface EnvInput

getNumberOfChars

public final int getNumberOfChars()

Description copied from interface: EnvInput

Returns the total numbers of chars that can be read in this input.

Specified by:

getNumberOfChars in interface EnvInput

setInitConfig

public final void setInitConfig(InitConfig initConfig)

Description copied from interface: EnvInput

Sets the initial configuration the read environment input should be added to. Must be called before calling any of the read* methods.

Specified by:

setInitConfig in interface EnvInput

readIncludes

public final Includes readIncludes()
                            throws ProofInputException

Description copied from interface: EnvInput

Reads the include section and returns an Includes object.

Specified by:

readIncludes in interface EnvInput

Throws:

ProofInputException

readJavaPath

public final String readJavaPath()
                          throws ProofInputException

Description copied from interface: EnvInput

Reads the Java path.

Specified by:

readJavaPath in interface EnvInput

Throws:

ProofInputException

readClassPath

public final List<File> readClassPath()
                               throws ProofInputException

Description copied from interface: EnvInput

gets the classpath elements to be considered here.

Specified by:

readClassPath in interface EnvInput

Throws:

ProofInputException

readBootClassPath

public File readBootClassPath()

Description copied from interface: EnvInput

gets the boot classpath element, null if none set.

Specified by:

readBootClassPath in interface EnvInput

getProfile

public Profile getProfile()

Description copied from interface: EnvInput

Returns the Profile to use.

Specified by:

getProfile in interface EnvInput

Returns:

The Profile to use.