public class ProofScriptEngine
extends java.lang.Object
Constructor and Description |
---|
ProofScriptEngine(java.io.File file) |
ProofScriptEngine(java.lang.String script,
Location initLocation) |
ProofScriptEngine(java.lang.String script,
Location initLocation,
Goal initiallySelectedGoal)
Instantiates a new proof script engine.
|
Modifier and Type | Method and Description |
---|---|
void |
execute(AbstractUserInterfaceControl uiControl,
Proof proof) |
EngineState |
getStateMap() |
void |
setCommandMonitor(java.util.Observer monitor)
Set the routine that is executed before every successfully executed
command.
|
public ProofScriptEngine(java.io.File file) throws java.io.IOException
java.io.IOException
public ProofScriptEngine(java.lang.String script, Location initLocation)
public void execute(AbstractUserInterfaceControl uiControl, Proof proof) throws java.io.IOException, java.lang.InterruptedException, ScriptException
java.io.IOException
java.lang.InterruptedException
ScriptException
public EngineState getStateMap()
public void setCommandMonitor(java.util.Observer monitor)
monitor
- the monitor to setCopyright © 2003-2019 The KeY-Project.