public abstract class AbstractCommand extends Object implements ProofScriptCommand
Modifier and Type | Field and Description |
---|---|
static String |
ABBREV_KEY |
private static AbbrevMap |
EMPTY_MAP |
static String |
GOAL_KEY |
private static DefaultTermParser |
PARSER |
Constructor and Description |
---|
AbstractCommand() |
Modifier and Type | Method and Description |
---|---|
protected static Goal |
getFirstOpenGoal(Proof proof,
Map<String,Object> state) |
protected static Goal |
getGoal(ImmutableList<Goal> openGoals,
Node node) |
protected static int |
getMaxAutomaticSteps(Proof proof) |
protected void |
setMaxAutomaticSteps(Proof proof,
int steps) |
protected static Sort |
toSort(Proof proof,
Map<String,Object> state,
String string) |
protected static Term |
toTerm(Proof proof,
Map<String,Object> state,
String string,
Sort sort) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
execute, getName
public static final String GOAL_KEY
public static final String ABBREV_KEY
private static DefaultTermParser PARSER
private static AbbrevMap EMPTY_MAP
protected static Goal getFirstOpenGoal(Proof proof, Map<String,Object> state) throws ScriptException
ScriptException
protected static final Term toTerm(Proof proof, Map<String,Object> state, String string, Sort sort) throws ParserException, ScriptException
ParserException
ScriptException
protected static final Sort toSort(Proof proof, Map<String,Object> state, String string) throws ParserException, ScriptException
ParserException
ScriptException
protected static final Goal getGoal(ImmutableList<Goal> openGoals, Node node)
protected static final int getMaxAutomaticSteps(Proof proof)
protected final void setMaxAutomaticSteps(Proof proof, int steps)