public abstract class NodeInteraction extends Interaction
Interaction.InteractionGraphicStyle
Modifier and Type | Field and Description |
---|---|
private NodeIdentifier |
nodeId |
private int |
serialNr |
private static long |
serialVersionUID |
graphicalStyle
Modifier | Constructor and Description |
---|---|
|
NodeInteraction() |
protected |
NodeInteraction(Node node) |
Modifier and Type | Method and Description |
---|---|
Node |
getNode(Proof proof) |
NodeIdentifier |
getNodeId() |
int |
getSerialNr() |
void |
setNodeId(NodeIdentifier nodeId) |
accept, getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured
private static final long serialVersionUID
private transient int serialNr
private NodeIdentifier nodeId
public NodeInteraction()
protected NodeInteraction(Node node)
public int getSerialNr()
public NodeIdentifier getNodeId()
public void setNodeId(NodeIdentifier nodeId)