vanted.petrinetelements.misc
Class DrawingNode

java.lang.Object
  extended by vanted.petrinetelements.misc.DrawingNode

public class DrawingNode
extends java.lang.Object

The Class DrawingNode is a helper class for drawing attributes onto nodes.

Author:
Kevin Pucknat

Constructor Summary
DrawingNode(double value)
          Instantiates a new drawing node.
 
Method Summary
 double getValue()
          Gets the value.
 void setValue(double value)
          Sets the value.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DrawingNode

public DrawingNode(double value)
Instantiates a new drawing node.

Parameters:
value - the value
Method Detail

toString

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

setValue

public void setValue(double value)
Sets the value.

Parameters:
value - the new value

getValue

public double getValue()
Gets the value.

Returns:
the value