dk.klafbang.tincpn.animation.plugin
Class Graph3D

java.lang.Object
  extended by dk.klafbang.tincpn.gui.sheet.Sheet
      extended by dk.klafbang.tincpn.animation.AnimationSheet
          extended by dk.klafbang.tincpn.animation.plugin.Graph3D

@Note(value="This was previously called WilmaSheet and Wilma")
public class Graph3D
extends dk.klafbang.tincpn.animation.AnimationSheet

Graph is meant to draw 3D graphs.

This feature is used to visualise state-spaces, but the interface is general enough, it can be used for other things as well.

You may also want to take a look at this animation object's 2D counterpart, Graph

Since:
1.0
Author:
Michael Westergaard
See Also:
Dining Philosophers example, Distributed Database example, Graph

Constructor Summary
Graph3D(java.lang.String name, java.lang.String id)
          Constructs a Graph3D object.
 
Method Summary
 javax.swing.JComponent createAnimation()
           
 void createEdge(java.lang.String source, java.lang.String target, java.lang.String label)
          Create a new edge from source to target with the specified label.
 void createVertex(java.lang.String name)
          Create a new vertex with the given name.
 java.awt.Dimension getPreferredSize()
           
 
Methods inherited from class dk.klafbang.tincpn.animation.AnimationSheet
canCoexistWith, getComponentImpl
 
Methods inherited from class dk.klafbang.tincpn.gui.sheet.Sheet
addSheetHook, getComponent, getIndexNode, getText, removeComponent, setText
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Graph3D

public Graph3D(java.lang.String name,
               java.lang.String id)
Constructs a Graph3D object.

Parameters:
name - name of the Graph
id -
Method Detail

getPreferredSize

public java.awt.Dimension getPreferredSize()
Specified by:
getPreferredSize in class dk.klafbang.tincpn.gui.sheet.Sheet
See Also:
Sheet.getPreferredSize()

createAnimation

public javax.swing.JComponent createAnimation()
Specified by:
createAnimation in class dk.klafbang.tincpn.animation.AnimationSheet
See Also:
AnimationSheet.createAnimation()

createVertex

public void createVertex(java.lang.String name)
Create a new vertex with the given name.

Parameters:
name - the name

createEdge

public void createEdge(java.lang.String source,
                       java.lang.String target,
                       java.lang.String label)
Create a new edge from source to target with the specified label.

Parameters:
source - the source
target - the target
label - the label