public class ProofScriptEngine
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Observer |
commandMonitor |
private static java.util.Map<java.lang.String,ProofScriptCommand> |
COMMANDS |
private Location |
initialLocation |
private static int |
MAX_CHARS_PER_COMMAND |
private java.lang.String |
script |
private static java.lang.String |
SYSTEM_COMMAND_PREFIX |
Constructor and Description |
---|
ProofScriptEngine(java.io.File file) |
ProofScriptEngine(java.lang.String script,
Location initLocation) |
Modifier and Type | Method and Description |
---|---|
void |
execute(AbstractUserInterfaceControl uiControl,
Proof proof) |
private static java.util.Map<java.lang.String,ProofScriptCommand> |
loadCommands() |
void |
setCommandMonitor(java.util.Observer monitor)
Set the routine that is executed before every successfully executed
command.
|
private void |
write(java.lang.String s,
int cnt,
Proof proof) |
private static final java.lang.String SYSTEM_COMMAND_PREFIX
private static final int MAX_CHARS_PER_COMMAND
private static final java.util.Map<java.lang.String,ProofScriptCommand> COMMANDS
private final Location initialLocation
private final java.lang.String script
private java.util.Observer commandMonitor
public ProofScriptEngine(java.io.File file) throws java.io.IOException
java.io.IOException
public ProofScriptEngine(java.lang.String script, Location initLocation)
private static java.util.Map<java.lang.String,ProofScriptCommand> loadCommands()
public void execute(AbstractUserInterfaceControl uiControl, Proof proof) throws java.io.IOException, java.lang.InterruptedException, ScriptException
java.io.IOException
java.lang.InterruptedException
ScriptException
private void write(java.lang.String s, int cnt, Proof proof)
public void setCommandMonitor(java.util.Observer monitor)
monitor
- the monitor to set