Uses of Class
org.cesta.parsers.dot.DotTree.Graph

Packages that use DotTree.Graph

org.cesta.parsers.dot	Classes for parsing GraphViz DOT files.
org.cesta.parsers.java	Classes for parsing and transforming Java files.
org.cesta.trans.java	Classes for Java transformations.

Uses of DotTree.Graph in org.cesta.parsers.dot

Subclasses of DotTree.Graph in org.cesta.parsers.dot

class

DotTree.SubGraph Subgraphs - special type of Graph.

Fields in org.cesta.parsers.dot declared as DotTree.Graph

DotTree.Graph

DotTree.graph_return.graphObj

Uses of DotTree.Graph in org.cesta.parsers.java

Fields in org.cesta.parsers.java declared as DotTree.Graph

protected DotTree.Graph

ValidateStateTransitionsParser.graph Model for state transitions, parsed from DOT file.

Methods in org.cesta.parsers.java that return DotTree.Graph

DotTree.Graph

ValidateStateTransitionsParser.getGraph()

Methods in org.cesta.parsers.java with parameters of type DotTree.Graph

void	ValidateStateTransitionsParser.setGraph(DotTree.Graph graph)

Uses of DotTree.Graph in org.cesta.trans.java

Fields in org.cesta.trans.java declared as DotTree.Graph

protected DotTree.Graph

ValidateStateTransitions.graph

Methods in org.cesta.trans.java that return DotTree.Graph

DotTree.Graph

ValidateStateTransitions.getGraph()

Methods in org.cesta.trans.java with parameters of type DotTree.Graph

void	ValidateStateTransitions.setGraph(DotTree.Graph graph)