fbench.graph.model
Class Algorithm

java.lang.Object
  fbench.dom.ElementModel
      fbench.graph.model.GraphModel
          fbench.graph.model.Algorithm

public class Algorithm
extends GraphModel

GraphModel for Algorithm GraphElement

Version:

20070301/JP

Author:

JP

Constructor Summary

Algorithm()

Algorithm(org.w3c.dom.Element el)

Method Summary

java.util.Vector

getGraph() Returns a Vector of GraphElements (if any) to be used for drawing the graph of the contained Element.

Methods inherited from class fbench.graph.model.GraphModel

canAccept, forElement

Methods inherited from class fbench.dom.ElementModel

equals, forElement, getComment, getElement, getName, getType, isDigit, isLetter, isName, setElement, toString

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Algorithm

public Algorithm()

Algorithm

public Algorithm(org.w3c.dom.Element el)

Method Detail

getGraph

public java.util.Vector getGraph()

Description copied from class: GraphModel

Returns a Vector of GraphElements (if any) to be used for drawing the graph of the contained Element. Default is the GraphElements (if any) corresponding to the children of the contained Element.

Overrides:

getGraph in class GraphModel