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

Class Reapplication

java.lang.Object

de.uka.ilkd.key.gui.interactionlog.algo.DefaultInteractionVisitor<java.lang.Void>

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

All Implemented Interfaces:

InteractionVisitor<java.lang.Void>

public class Reapplication
extends DefaultInteractionVisitor<java.lang.Void>

Version:

1 (09.12.18)

Author:

Alexander Weigl

Field Summary

Fields

Modifier and Type	Field and Description
private Goal	goal
private WindowUserInterfaceControl	uic

Constructor Summary

Constructors

Constructor and Description
Reapplication(Goal goal)

Method Summary

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)

Methods inherited from class java.lang.Object

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

Field Detail

goal

private final Goal goal

uic

private WindowUserInterfaceControl uic

Constructor Detail

Reapplication

public Reapplication(Goal goal)

Method Detail

defaultVisit

protected java.lang.Void defaultVisit(Interaction interaction)

Overrides:

defaultVisit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(RuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(UseDependencyContractBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(AutoModeInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(MacroInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(UserNoteInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(OSSBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(SMTBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(PruneInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(LoopContractInternalBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(ContractBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(LoopInvariantBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(SettingChangeInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>

visit

public java.lang.Void visit(MergeRuleBuiltInRuleInteraction interaction)

Specified by:

visit in interface InteractionVisitor<java.lang.Void>

Overrides:

visit in class DefaultInteractionVisitor<java.lang.Void>