Uses of Class
de.saar.chorus.ubench.jdomgraph.JDomGraph

Packages that use JDomGraph

Package	Description
de.saar.chorus.domgraph.layout
de.saar.chorus.newubench
de.saar.chorus.ubench.chartviewer
de.saar.chorus.ubench.jdomgraph	Provides basic classes used in the Underspecification Workbench.

Uses of JDomGraph in de.saar.chorus.domgraph.layout

Methods in de.saar.chorus.domgraph.layout that return JDomGraph

Modifier and Type	Method	Description
JDomGraph	JDomGraphCanvas.getGraph()

Constructors in de.saar.chorus.domgraph.layout with parameters of type JDomGraph

Modifier	Constructor	Description
	JDomGraphCanvas(JDomGraph graph)

Uses of JDomGraph in de.saar.chorus.newubench

Fields in de.saar.chorus.newubench declared as JDomGraph

Modifier and Type	Field	Description
protected JDomGraph	UbenchTab.jgraph

Uses of JDomGraph in de.saar.chorus.ubench.chartviewer

Methods in de.saar.chorus.ubench.chartviewer with parameters of type JDomGraph

Modifier and Type	Method	Description
static void	FormatManager.markGraph(Color color, JDomGraph graph)	Mark the whole graph with a given color.
static void	FormatManager.markRootFragment(String root, JDomGraph graph, DomGraph dg)	This colors the root fragment of a split (which always gets a special color).
static void	FormatManager.markSubgraph(Set<String> roots, JDomGraph graph, int subgraphindex, DomGraph dg)	Mark a subgraph of the given graph according to the index with the next mark-up color.
static void	FormatManager.markSubgraph(Set<String> roots, JDomGraph graph, DomGraph dg)	Mark a subgraph of the given graph with the default marking color.
static void	FormatManager.refreshGraphLayout(JDomGraph graph)	This relayouts the graph so as to make the color changes visible.
static void	FormatManager.shadeGraph(JDomGraph graph)	Colors the graph in a light grey.
static void	FormatManager.unmark(JDomGraph graph)	Reset a whole graph's color to the default colors.
static void	FormatManager.unmark(JDomGraph graph, Map<org.jgraph.graph.CellView,org.jgraph.graph.AttributeMap> backup)

Constructors in de.saar.chorus.ubench.chartviewer with parameters of type JDomGraph

Modifier	Constructor	Description
	ChartViewer(Chart c, DomGraph g, String title, JDomGraph jg, NodeLabels la)	A new ChartViewer

Uses of JDomGraph in de.saar.chorus.ubench.jdomgraph

Methods in de.saar.chorus.ubench.jdomgraph that return JDomGraph

Modifier and Type	Method	Description
JDomGraph	JDomGraph.clone()	Clones this graph.

Constructors in de.saar.chorus.ubench.jdomgraph with parameters of type JDomGraph

Modifier	Constructor	Description
	EdgeData(EdgeType type, String name, JDomGraph parent)
	Fragment(JDomGraph parent)
	JDomGraphDummyLayout(JDomGraph jdg)
	NodeData(NodeType type, String name, JDomGraph parent)	New node data for an unlabelled node.
	NodeData(NodeType type, String name, String label, JDomGraph parent)	New node data for a labelled node (with label).