vanted.petrinetelements.misc
Class DrawingEdge

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

public class DrawingEdge
extends java.lang.Object

The Class DrawingEdge is a helper class for drawing attributes onto edges.

Author:
Kevin Pucknat

Constructor Summary
DrawingEdge(java.lang.String value)
          Instantiates a new drawing edge.
 
Method Summary
 java.lang.String getValue()
          Gets the value.
 void setValue(java.lang.String 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

DrawingEdge

public DrawingEdge(java.lang.String value)
Instantiates a new drawing edge.

Parameters:
value - the value
Method Detail

toString

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

setValue

public void setValue(java.lang.String value)
Sets the value.

Parameters:
value - the new value

getValue

public java.lang.String getValue()
Gets the value.

Returns:
the value