Class AutomatenGraphPanel.AutomatenGraph.DrawableKnoten

java.lang.Object
  |
  +--AutomatenGraphPanel.AutomatenGraph.DrawableKnoten

class AutomatenGraphPanel.AutomatenGraph.DrawableKnoten
extends java.lang.Object


Field Summary
private  Graph.Knoten knoten
           
 
Constructor Summary
AutomatenGraphPanel.AutomatenGraph.DrawableKnoten(Graph.Knoten knoten)
           
 
Method Summary
 java.awt.Point getPosition()
           
 java.awt.Dimension getSize()
           
 void paint(java.awt.Graphics g)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

knoten

private Graph.Knoten knoten
Constructor Detail

AutomatenGraphPanel.AutomatenGraph.DrawableKnoten

public AutomatenGraphPanel.AutomatenGraph.DrawableKnoten(Graph.Knoten knoten)
Method Detail

getPosition

public java.awt.Point getPosition()

getSize

public java.awt.Dimension getSize()

paint

public void paint(java.awt.Graphics g)