de.uka.ilkd.key.gui.interactionlog.algo

Class DefaultInteractionVisitor<T>

java.lang.Object

de.uka.ilkd.key.gui.interactionlog.algo.DefaultInteractionVisitor<T>

All Implemented Interfaces:

InteractionVisitor<T>

Direct Known Subclasses:

Reapplication, StreamInteractionVisitor

public class DefaultInteractionVisitor<T>
extends java.lang.Object
implements InteractionVisitor<T>

Version:

1 (09.12.18)

Author:

Alexander Weigl

Constructor Summary

Constructors

Constructor and Description
DefaultInteractionVisitor()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultInteractionVisitor

public DefaultInteractionVisitor()

Method Detail

defaultVisit

protected T defaultVisit(Interaction interaction)

visit

public T visit(RuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(UseDependencyContractBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(AutoModeInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(MacroInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(UserNoteInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(OSSBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(SMTBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(PruneInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(LoopContractInternalBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(ContractBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(LoopInvariantBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(SettingChangeInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>

visit

public T visit(MergeRuleBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<T>