de.uka.ilkd.key.gui.interactionlog.model.builtin

Class LoopInvariantBuiltInRuleInteraction

java.lang.Object

de.uka.ilkd.key.gui.interactionlog.model.Interaction

de.uka.ilkd.key.gui.interactionlog.model.NodeInteraction

de.uka.ilkd.key.gui.interactionlog.model.builtin.BuiltInRuleInteraction

de.uka.ilkd.key.gui.interactionlog.model.builtin.LoopInvariantBuiltInRuleInteraction

All Implemented Interfaces:

java.io.Serializable

public class LoopInvariantBuiltInRuleInteraction
extends BuiltInRuleInteraction

Version:

1 (09.12.18)

Author:

Alexander Weigl

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.gui.interactionlog.model.Interaction

Interaction.InteractionGraphicStyle

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class de.uka.ilkd.key.gui.interactionlog.model.Interaction

graphicalStyle

Constructor Summary

Constructors

Constructor and Description
LoopInvariantBuiltInRuleInteraction(LoopInvariantBuiltInRuleApp app, Node node)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(InteractionVisitor<T> visitor)

Methods inherited from class de.uka.ilkd.key.gui.interactionlog.model.builtin.BuiltInRuleInteraction

getRuleName, setRuleName

Methods inherited from class de.uka.ilkd.key.gui.interactionlog.model.NodeInteraction

getNode, getNodeId, getSerialNr, setNodeId

Methods inherited from class de.uka.ilkd.key.gui.interactionlog.model.Interaction

getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

LoopInvariantBuiltInRuleInteraction

public LoopInvariantBuiltInRuleInteraction(LoopInvariantBuiltInRuleApp app,
                                           Node node)

Method Detail

accept

public <T> T accept(InteractionVisitor<T> visitor)

Specified by:

accept in class Interaction