Package | Description |
---|---|
de.uni_due.inf.ti.dragom.gui |
Modifier and Type | Method and Description |
---|---|
static AnnotatedTypeGraphVisualizer.GraphColor |
AnnotatedTypeGraphVisualizer.GraphColor.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static AnnotatedTypeGraphVisualizer.GraphColor[] |
AnnotatedTypeGraphVisualizer.GraphColor.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
de.uni_due.inf.ti.visigraph.VxGraph |
AnnotatedTypeGraphVisualizer.visualizeColoredGraph(AnnotatedTypeGraph graph,
java.util.Set<de.uni_due.inf.ti.graph.Node> coloredNodes,
java.util.Set<de.uni_due.inf.ti.graph.Edge> coloredEdges,
AnnotatedTypeGraphVisualizer.GraphColor style,
boolean simplified)
Creates a VxGraph which visualizes a graph.
|
AnnotatedTypeGraphVisualizer.MorphismVisi |
AnnotatedTypeGraphVisualizer.visualizePostconditionMatch(de.uni_due.inf.ti.graph.Morphism morph,
java.util.Set<de.uni_due.inf.ti.graph.Node> coloredNodes,
java.util.Set<de.uni_due.inf.ti.graph.Edge> coloredEdges,
AnnotatedTypeGraphVisualizer.GraphColor color,
boolean simplified) |