public class InteractionRecorder extends java.lang.Object implements InteractionListener, AutoModeListener
InteractionListener.SettingType
Constructor and Description |
---|
InteractionRecorder() |
Modifier and Type | Method and Description |
---|---|
void |
addListener(InteractionRecorderListener listener) |
void |
autoModeStarted(ProofEvent e)
invoked if automatic execution has started
|
void |
autoModeStopped(ProofEvent e)
invoked if automatic execution has stopped
|
protected void |
emit(Interaction interaction) |
InteractionLog |
get(Proof proof) |
javax.swing.ComboBoxModel<InteractionLog> |
getLoadedInteractionLogs() |
boolean |
isDisableAll() |
InteractionLog |
readInteractionLog(java.io.File file) |
void |
registerOnSettings(Proof proof) |
void |
removeListener(InteractionRecorderListener listener) |
void |
runAutoMode(java.util.List<Node> initialGoals,
Proof proof,
ApplyStrategyInfo info) |
void |
runBuiltInRule(Goal goal,
IBuiltInRuleApp app,
BuiltInRule rule,
PosInOccurrence pos,
boolean forced) |
void |
runMacro(Node node,
ProofMacro macro,
PosInOccurrence posInOcc,
ProofMacroFinishedInfo info) |
void |
runPrune(Node node) |
void |
runRule(Goal goal,
RuleApp app) |
void |
setDisableAll(boolean disableAll) |
void |
settingChanged(Proof proof,
Settings settings,
InteractionListener.SettingType type,
java.lang.String message) |
public InteractionLog get(Proof proof)
public javax.swing.ComboBoxModel<InteractionLog> getLoadedInteractionLogs()
public InteractionLog readInteractionLog(java.io.File file) throws javax.xml.bind.JAXBException
javax.xml.bind.JAXBException
public void registerOnSettings(Proof proof)
public void settingChanged(Proof proof, Settings settings, InteractionListener.SettingType type, java.lang.String message)
settingChanged
in interface InteractionListener
public void runPrune(Node node)
runPrune
in interface InteractionListener
public void runMacro(Node node, ProofMacro macro, PosInOccurrence posInOcc, ProofMacroFinishedInfo info)
runMacro
in interface InteractionListener
public void runBuiltInRule(Goal goal, IBuiltInRuleApp app, BuiltInRule rule, PosInOccurrence pos, boolean forced)
runBuiltInRule
in interface InteractionListener
public void addListener(InteractionRecorderListener listener)
public void removeListener(InteractionRecorderListener listener)
protected void emit(Interaction interaction)
public void runAutoMode(java.util.List<Node> initialGoals, Proof proof, ApplyStrategyInfo info)
runAutoMode
in interface InteractionListener
public void runRule(Goal goal, RuleApp app)
runRule
in interface InteractionListener
public void autoModeStarted(ProofEvent e)
AutoModeListener
autoModeStarted
in interface AutoModeListener
public void autoModeStopped(ProofEvent e)
AutoModeListener
autoModeStopped
in interface AutoModeListener
public boolean isDisableAll()
public void setDisableAll(boolean disableAll)
Copyright © 2003-2019 The KeY-Project.