fbench.graph.model
Class Device

java.lang.Object
  fbench.dom.ElementModel
      fbench.graph.model.GraphModel
          fbench.graph.model.Resource
              fbench.graph.model.Device

public class Device
extends Resource

A GraphModel for a Device instance.

Version:

20051114/JHC

Author:

JHC

Constructor Summary

Device()

Device(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

Device

public Device()

Device

public Device(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 Resource