public class MUProofScriptExport extends StreamInteractionVisitor
out
Constructor and Description |
---|
MUProofScriptExport() |
MUProofScriptExport(java.io.PrintWriter out) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Void |
defaultVisit(Interaction interaction) |
private java.lang.String |
firstWord(java.lang.String k) |
static java.lang.String |
getScript(InteractionLog current) |
static java.lang.String |
getScriptRepresentation(Interaction interaction) |
java.lang.Void |
visit(AutoModeInteraction interaction) |
java.lang.Void |
visit(ContractBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(LoopContractInternalBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(LoopInvariantBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(MacroInteraction interaction) |
java.lang.Void |
visit(MergeRuleBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(OSSBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(PruneInteraction interaction) |
java.lang.Void |
visit(RuleInteraction interaction) |
java.lang.Void |
visit(SettingChangeInteraction interaction) |
java.lang.Void |
visit(SMTBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(UseDependencyContractBuiltInRuleInteraction interaction) |
java.lang.Void |
visit(UserNoteInteraction interaction) |
private void |
writeSelector(NodeIdentifier nodeId) |
static void |
writeTo(InteractionLog logbook,
java.io.PrintWriter writer) |
translate, translate
public MUProofScriptExport()
public MUProofScriptExport(java.io.PrintWriter out)
public static java.lang.String getScriptRepresentation(Interaction interaction)
public static void writeTo(InteractionLog logbook, java.io.PrintWriter writer)
public static java.lang.String getScript(InteractionLog current)
protected java.lang.Void defaultVisit(Interaction interaction)
defaultVisit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(RuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
private java.lang.String firstWord(java.lang.String k)
private void writeSelector(NodeIdentifier nodeId)
public java.lang.Void visit(UseDependencyContractBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(AutoModeInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(MacroInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(UserNoteInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(OSSBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(SMTBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(PruneInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(LoopContractInternalBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(ContractBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(LoopInvariantBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(SettingChangeInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>
public java.lang.Void visit(MergeRuleBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<java.lang.Void>
visit
in class DefaultInteractionVisitor<java.lang.Void>