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

Class NodeInteraction

java.lang.Object

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

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

BuiltInRuleInteraction, MacroInteraction, PruneInteraction, RuleInteraction

public abstract class NodeInteraction
extends Interaction

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	nodeId
private int	serialNr
private static long	serialVersionUID

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

graphicalStyle

Constructor Summary

Constructors

Modifier	Constructor and Description
	NodeInteraction()
protected	NodeInteraction(Node node)

Method Summary

Modifier and Type	Method and Description
Node	getNode(Proof proof)
NodeIdentifier	getNodeId()
int	getSerialNr()
void	setNodeId(NodeIdentifier nodeId)

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

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

serialNr

private transient int serialNr

nodeId

private NodeIdentifier nodeId

Constructor Detail

NodeInteraction

public NodeInteraction()

NodeInteraction

protected NodeInteraction(Node node)

Method Detail

getSerialNr

public int getSerialNr()

getNodeId

public NodeIdentifier getNodeId()

setNodeId

public void setNodeId(NodeIdentifier nodeId)

getNode

public Node getNode(Proof proof)