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