vanted.petrinetelements
Class NodePN

java.lang.Object
  extended by vanted.petrinetelements.NodePN
Direct Known Subclasses:
Place, Transition

public class NodePN
extends java.lang.Object

The Class NodePN for node handling.

Author:
Kevin Pucknat

Constructor Summary
NodePN(org.graffiti.graph.Node node)
          Instantiates a new node pn.
 
Method Summary
 void addDraw(DrawingNode draw)
          Adds the object DrawingNode to the DrawingNodeAttribute.
 void addIdentity(Identity identity)
          Adds the object Identity to the IdentityAttribute.
 void addIgnoreNode(IgnoreNode ignoreNode)
          Adds the object IgnoreNode to the IgnoreNodeAttribute.
 void addNode(org.graffiti.graph.Node node)
          Adds the node and the attributes: Draw, IgnoreNode and Reachability.
 void addReachability(Reachability reachability)
          Adds the object Reachability to the ReachabilityAttribute.
 DrawingNode getDraw()
          Gets the object DrawingNode which contains a double with its marking or -1 for omega (coverbilityGraph) or a constant (check for Petri net drawing).
 long getID()
          Gets the node id.
 Identity getIdentity()
          Gets the object Identity which contains a random value for linking between nodes (Petri net) and edges (reachability graph).
 IgnoreNode getIgnoreNode()
          Gets the object IgnoreNode which contains true (hiding the node), or false.
 java.lang.String getName()
          Gets the node label or the node id.
 org.graffiti.graph.Node getNode()
          Gets the node.
 java.util.List<org.graffiti.graph.Node> getNodes()
          Gets the nodes.
 Reachability getReachability()
          Gets the object Reachability which contains a String with its marking.
 void removeDraw()
          Removes the object DrawingNode which contains a double with its marking or -1 for omega (coverbilityGraph) or a constant (check for Petri net drawing) and the DrawingNodeAttribute.
 void removeIdentity()
          Removes the object Identity which contains a random value for linking between nodes (Petri net) and edges (reachability graph) and the IdentityAttribute.
 void removeIgnoreNode()
          Removes the object IgnoreNode which contains true (hiding the node), or false and the IgnoreNodeAttribute.
 boolean removeNode(org.graffiti.graph.Node node)
          Removes the node and the attributes: Draw, IgnoreNode and Reachability.
 void removeReachability()
          Removes the object Reachability which contains a String with its marking and the ReachabilityAttribute.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

NodePN

public NodePN(org.graffiti.graph.Node node)
Instantiates a new node pn.

Parameters:
node - the node
Method Detail

getNode

public org.graffiti.graph.Node getNode()
Gets the node.

Returns:
the node

getNodes

public java.util.List<org.graffiti.graph.Node> getNodes()
Gets the nodes.

Returns:
the nodes

addNode

public void addNode(org.graffiti.graph.Node node)
Adds the node and the attributes: Draw, IgnoreNode and Reachability.

Parameters:
node - the node

removeNode

public boolean removeNode(org.graffiti.graph.Node node)
Removes the node and the attributes: Draw, IgnoreNode and Reachability.

Parameters:
node - the node
Returns:
true, if successful

getID

public long getID()
Gets the node id.

Returns:
the id

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getName

public java.lang.String getName()
Gets the node label or the node id.

Returns:
the name

addIgnoreNode

public void addIgnoreNode(IgnoreNode ignoreNode)
Adds the object IgnoreNode to the IgnoreNodeAttribute.

Parameters:
ignoreNode - the ignore node

removeIgnoreNode

public void removeIgnoreNode()
Removes the object IgnoreNode which contains true (hiding the node), or false and the IgnoreNodeAttribute.


getIgnoreNode

public IgnoreNode getIgnoreNode()
Gets the object IgnoreNode which contains true (hiding the node), or false.

Returns:
the ignore node

addDraw

public void addDraw(DrawingNode draw)
Adds the object DrawingNode to the DrawingNodeAttribute.

Parameters:
draw - the draw

removeDraw

public void removeDraw()
Removes the object DrawingNode which contains a double with its marking or -1 for omega (coverbilityGraph) or a constant (check for Petri net drawing) and the DrawingNodeAttribute.


getDraw

public DrawingNode getDraw()
Gets the object DrawingNode which contains a double with its marking or -1 for omega (coverbilityGraph) or a constant (check for Petri net drawing).

Returns:
the draw

addReachability

public void addReachability(Reachability reachability)
Adds the object Reachability to the ReachabilityAttribute.

Parameters:
reachability - the reachability

removeReachability

public void removeReachability()
Removes the object Reachability which contains a String with its marking and the ReachabilityAttribute.


getReachability

public Reachability getReachability()
Gets the object Reachability which contains a String with its marking.

Returns:
the reachability

addIdentity

public void addIdentity(Identity identity)
Adds the object Identity to the IdentityAttribute.

Parameters:
identity - the identity

removeIdentity

public void removeIdentity()
Removes the object Identity which contains a random value for linking between nodes (Petri net) and edges (reachability graph) and the IdentityAttribute.


getIdentity

public Identity getIdentity()
Gets the object Identity which contains a random value for linking between nodes (Petri net) and edges (reachability graph).

Returns:
the identity