|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectmapss.dif.graph.HierarchyToDot
mapss.dif.DIFHierarchyToDot
public class DIFHierarchyToDot
DOT file generator for DIFHierarchy objects. It is used to create dot files
as an input to GraphViz tools. A dot file is created by first defining an
DIFHierarchy object and then using the HierarchyToDot.toFile(java.lang.String)
method. Underlying
hierarchy object is cached during the constructor call and cannot be changed
afterwards.
Field Summary |
---|
Fields inherited from class mapss.dif.graph.HierarchyToDot |
---|
_dotGenerator, _hierarchy |
Constructor Summary | |
---|---|
DIFHierarchyToDot()
|
Method Summary | |
---|---|
protected java.lang.String |
_elementName(mocgraph.Element element)
Returns the name of an element if it is stored in a special way. |
Methods inherited from class mapss.dif.graph.HierarchyToDot |
---|
hierarchyGraphToDot, toFile, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public DIFHierarchyToDot()
Method Detail |
---|
protected java.lang.String _elementName(mocgraph.Element element)
HierarchyToDot
_elementName
in class HierarchyToDot
element
- An element (node or an edge) included in the backing
graph of the hierarchy.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |