mapss.dif
Class DIFToDot

java.lang.Object
  mapss.dif.graph.DotGenerator
      mapss.dif.DIFToDot

Direct Known Subclasses:

CSDFToDot

public class DIFToDot
extends DotGenerator

DOT file generator for DIFGraph objects. It is used to create dot files as an input to GraphViz tools. A DOT file is created by first defining an DIFToDot object and then using the DotGenerator.toFile(java.lang.String) method. Node and edge labels are set to element names in DIFGraph.

Version:

$Id: DIFToDot.java 409 2007-05-13 19:47:16Z plishker $

Author:

Fuat Keceli

Field Summary

Fields inherited from class mapss.dif.graph.DotGenerator

_clusterAttributes, _clusters, _elementAttributes, _extraLines, _graph, _isDirected, _name

Constructor Summary

DIFToDot(DIFGraph graph)
Creates a DotGenerator object from a DIFGraph.

Method Summary

Methods inherited from class mapss.dif.graph.DotGenerator

addLine, isClusterNode, setAsDirected, setAttribute, setAttribute, setCluster, setGraphName, toFile, toFile, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DIFToDot

public DIFToDot(DIFGraph graph)

Creates a DotGenerator object from a DIFGraph.

Parameters:

graph - A DIFGraph.