de.uka.ilkd.key.taclettranslation.lemma

Class EmptyEnvInput

java.lang.Object

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

de.uka.ilkd.key.taclettranslation.lemma.EmptyEnvInput

All Implemented Interfaces:

EnvInput

public class EmptyEnvInput
extends AbstractEnvInput

Field Summary

Fields inherited from class de.uka.ilkd.key.proof.io.AbstractEnvInput

bootClassPath, classPath, includes, initConfig, javaPath, name, profile

Constructor Summary

Constructors

Constructor and Description
EmptyEnvInput(Profile profile)

Method Summary

Modifier and Type	Method and Description
java.io.File	getInitialFile() Returns the initial File which is loaded if available.
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.

Methods inherited from class de.uka.ilkd.key.proof.io.AbstractEnvInput

getNumberOfChars, getProfile, name, readBootClassPath, readClassPath, readIncludes, readJavaPath, setInitConfig

Methods inherited from class java.lang.Object

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

Constructor Detail

EmptyEnvInput

public EmptyEnvInput(Profile profile)

Method Detail

read

public ImmutableSet<PositionedString> read()
                                    throws ProofInputException

Description copied from interface: EnvInput

Reads the input using the given modification strategy, i.e., parts of the input do not modify the initial configuration while others do.

Returns:

The found warnings or an empty ImmutableSet if no warnings occurred.

Throws:

ProofInputException

getInitialFile

public java.io.File getInitialFile()

Description copied from interface: EnvInput

Returns the initial File which is loaded if available.

Returns:

The initial File which is loaded or null otherwise.