Class AutomatenGraphPanel.AutomatenGraph

java.lang.Object
  |
  +--Graph
        |
        +--AutomatenGraphPanel.AutomatenGraph
class AutomatenGraphPanel.AutomatenGraph
extends Graph

Inner Class Summary
(package private)  class AutomatenGraphPanel.AutomatenGraph.DrawableKnoten
           
 
Inner classes inherited from class Graph
Graph.Kante, Graph.Knoten, Graph.XKnotenNichtVorhanden
 
Field Summary
(package private)  java.awt.Dimension dimension
           
 
Fields inherited from class Graph
kanten, knoten
 
Constructor Summary
AutomatenGraphPanel.AutomatenGraph()
           
AutomatenGraphPanel.AutomatenGraph(java.awt.Dimension dimension)
           
AutomatenGraphPanel.AutomatenGraph(Graph graph, java.awt.Dimension dimension)
           
 
Method Summary
protected  void doCircLayout()
           
 void doCircLayout(boolean dorepaint)
           
 void doLayout()
           
 void doLayout(boolean dorepaint)
           
private  void fillDemoGraph()
           
private  java.awt.Point getCircPosition(int i, int n)
           
 java.awt.Dimension getSize()
           
 void paint(java.awt.Graphics g)
           
 void setDimension(java.awt.Dimension dimension)
           
 
Methods inherited from class Graph
addKante, addKnoten, clone, getKante, getKnoten, kanteHervorheben, kanteHervorheben, knotenHervorheben, knotenHervorheben, repaint, reset, toString
 
Methods inherited from class java.lang.Object
, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Field Detail

dimension

java.awt.Dimension dimension
Constructor Detail

AutomatenGraphPanel.AutomatenGraph

public AutomatenGraphPanel.AutomatenGraph(java.awt.Dimension dimension)

AutomatenGraphPanel.AutomatenGraph

public AutomatenGraphPanel.AutomatenGraph(Graph graph,
                                          java.awt.Dimension dimension)

AutomatenGraphPanel.AutomatenGraph

public AutomatenGraphPanel.AutomatenGraph()
Method Detail

fillDemoGraph

private void fillDemoGraph()

getSize

public java.awt.Dimension getSize()

setDimension

public void setDimension(java.awt.Dimension dimension)

doLayout

public void doLayout(boolean dorepaint)

doLayout

public void doLayout()

doCircLayout

public void doCircLayout(boolean dorepaint)

getCircPosition

private java.awt.Point getCircPosition(int i,
                                       int n)

doCircLayout

protected void doCircLayout()

paint

public void paint(java.awt.Graphics g)