public class DefaultInteractionVisitor<T> extends java.lang.Object implements InteractionVisitor<T>
Constructor and Description |
---|
DefaultInteractionVisitor() |
Modifier and Type | Method and Description |
---|---|
protected T |
defaultVisit(Interaction interaction) |
T |
visit(AutoModeInteraction interaction) |
T |
visit(ContractBuiltInRuleInteraction interaction) |
T |
visit(LoopContractInternalBuiltInRuleInteraction interaction) |
T |
visit(LoopInvariantBuiltInRuleInteraction interaction) |
T |
visit(MacroInteraction interaction) |
T |
visit(MergeRuleBuiltInRuleInteraction interaction) |
T |
visit(OSSBuiltInRuleInteraction interaction) |
T |
visit(PruneInteraction interaction) |
T |
visit(RuleInteraction interaction) |
T |
visit(SettingChangeInteraction interaction) |
T |
visit(SMTBuiltInRuleInteraction interaction) |
T |
visit(UseDependencyContractBuiltInRuleInteraction interaction) |
T |
visit(UserNoteInteraction interaction) |
protected T defaultVisit(Interaction interaction)
public T visit(RuleInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(UseDependencyContractBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(AutoModeInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(MacroInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(UserNoteInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(OSSBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(SMTBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(PruneInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(LoopContractInternalBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(ContractBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(LoopInvariantBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(SettingChangeInteraction interaction)
visit
in interface InteractionVisitor<T>
public T visit(MergeRuleBuiltInRuleInteraction interaction)
visit
in interface InteractionVisitor<T>