|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectvanted.petrinetelements.NodePN
public class NodePN
The Class NodePN for node handling.
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 |
---|
public NodePN(org.graffiti.graph.Node node)
node
- the nodeMethod Detail |
---|
public org.graffiti.graph.Node getNode()
public java.util.List<org.graffiti.graph.Node> getNodes()
public void addNode(org.graffiti.graph.Node node)
node
- the nodepublic boolean removeNode(org.graffiti.graph.Node node)
node
- the node
public long getID()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getName()
public void addIgnoreNode(IgnoreNode ignoreNode)
ignoreNode
- the ignore nodepublic void removeIgnoreNode()
public IgnoreNode getIgnoreNode()
public void addDraw(DrawingNode draw)
draw
- the drawpublic void removeDraw()
public DrawingNode getDraw()
public void addReachability(Reachability reachability)
reachability
- the reachabilitypublic void removeReachability()
public Reachability getReachability()
public void addIdentity(Identity identity)
identity
- the identitypublic void removeIdentity()
public Identity getIdentity()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |