public class Reapplication extends DefaultInteractionVisitor<java.lang.Void>
Modifier and Type | Field and Description |
---|---|
private Goal |
goal |
private WindowUserInterfaceControl |
uic |
Constructor and Description |
---|
Reapplication(Goal goal) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Void |
defaultVisit(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 final Goal goal
private WindowUserInterfaceControl uic
public Reapplication(Goal goal)
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>
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>