de.uka.ilkd.key.macros.scripts

Class ProofScriptEngine

java.lang.Object

de.uka.ilkd.key.macros.scripts.ProofScriptEngine

public class ProofScriptEngine
extends java.lang.Object

Author:

Mattias Ulbrich, Alexander Weigl

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
ProofScriptEngine(java.io.File file)
ProofScriptEngine(java.lang.String script, Location initLocation)

Method Summary

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)

Methods inherited from class java.lang.Object

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

Field Detail

SYSTEM_COMMAND_PREFIX

private static final java.lang.String SYSTEM_COMMAND_PREFIX

See Also:

Constant Field Values

MAX_CHARS_PER_COMMAND

private static final int MAX_CHARS_PER_COMMAND

See Also:

Constant Field Values

COMMANDS

private static final java.util.Map<java.lang.String,ProofScriptCommand> COMMANDS

initialLocation

private final Location initialLocation

script

private final java.lang.String script

commandMonitor

private java.util.Observer commandMonitor

Constructor Detail

ProofScriptEngine

public ProofScriptEngine(java.io.File file)
                  throws java.io.IOException

Throws:

java.io.IOException

ProofScriptEngine

public ProofScriptEngine(java.lang.String script,
                         Location initLocation)

Method Detail

loadCommands

private static java.util.Map<java.lang.String,ProofScriptCommand> loadCommands()

execute

public void execute(AbstractUserInterfaceControl uiControl,
                    Proof proof)
             throws java.io.IOException,
                    java.lang.InterruptedException,
                    ScriptException

Throws:

java.io.IOException

java.lang.InterruptedException

ScriptException

write

private void write(java.lang.String s,
                   int cnt,
                   Proof proof)

setCommandMonitor

public void setCommandMonitor(java.util.Observer monitor)

Set the routine that is executed before every successfully executed command.

Parameters:

monitor - the monitor to set