public interface InteractionVisitor<T>
Modifier and Type | Method and Description |
---|---|
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) |
T visit(RuleInteraction interaction)
T visit(UseDependencyContractBuiltInRuleInteraction interaction)
T visit(AutoModeInteraction interaction)
T visit(MacroInteraction interaction)
T visit(UserNoteInteraction interaction)
T visit(OSSBuiltInRuleInteraction interaction)
T visit(SMTBuiltInRuleInteraction interaction)
T visit(PruneInteraction interaction)
T visit(LoopContractInternalBuiltInRuleInteraction interaction)
T visit(ContractBuiltInRuleInteraction interaction)
T visit(LoopInvariantBuiltInRuleInteraction interaction)
T visit(SettingChangeInteraction interaction)
T visit(MergeRuleBuiltInRuleInteraction interaction)