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

Class OSSBuiltInRuleInteraction

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.OSSBuiltInRuleInteraction

All Implemented Interfaces:

java.io.Serializable

public class OSSBuiltInRuleInteraction
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 NodeIdentifier	nodeIdentifier
private OccurenceIdentifier	occurenceIdentifier
private static long	serialVersionUID

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

graphicalStyle

Constructor Summary

Constructors

Constructor and Description
OSSBuiltInRuleInteraction()
OSSBuiltInRuleInteraction(OneStepSimplifierRuleApp app, Node node)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(InteractionVisitor<T> visitor)
NodeIdentifier	getNodeIdentifier()
OccurenceIdentifier	getOccurenceIdentifier()
void	setNodeIdentifier(NodeIdentifier nodeIdentifier)
void	setOccurenceIdentifier(OccurenceIdentifier occurenceIdentifier)
java.lang.String	toString()

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, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

occurenceIdentifier

private OccurenceIdentifier occurenceIdentifier

nodeIdentifier

private NodeIdentifier nodeIdentifier

Constructor Detail

OSSBuiltInRuleInteraction

public OSSBuiltInRuleInteraction()

OSSBuiltInRuleInteraction

public OSSBuiltInRuleInteraction(OneStepSimplifierRuleApp app,
                                 Node node)

Method Detail

accept

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

Specified by:

accept in class Interaction

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getOccurenceIdentifier

public OccurenceIdentifier getOccurenceIdentifier()

setOccurenceIdentifier

public void setOccurenceIdentifier(OccurenceIdentifier occurenceIdentifier)

getNodeIdentifier

public NodeIdentifier getNodeIdentifier()

setNodeIdentifier

public void setNodeIdentifier(NodeIdentifier nodeIdentifier)