Package | Description |
---|---|
de.uni_due.inf.ti.dragom.algorithms | |
de.uni_due.inf.ti.dragom.data | |
de.uni_due.inf.ti.dragom.gui | |
de.uni_due.inf.ti.dragom.io |
Modifier and Type | Method and Description |
---|---|
AnnotatedTypeGraph |
LanguageAlgorithm.getTypeGraph() |
Modifier and Type | Method and Description |
---|---|
void |
LanguageAlgorithm.setTypeGraph(AnnotatedTypeGraph typeGraph) |
Constructor and Description |
---|
LanguageAlgorithm(AnnotatedTypeGraph typeGraph) |
Modifier and Type | Method and Description |
---|---|
AnnotatedTypeGraph |
AnnotatedTypeGraph.clone()
Returns a copy of this graph
|
AnnotatedTypeGraph |
Materialization.getAbstractGraph()
Gets the multiply annotated type graph of this materialization
|
AnnotatedTypeGraph |
Materialization.getLeftHandSideGraph()
Gets the left-hand side graph of this materialization
|
AnnotatedTypeGraph |
Materialization.getMaterialization()
Gets the materialization graph of this materialization
|
AnnotatedTypeGraph |
Postcondition.getPostGraph()
Get the annotated type graph of this postcondition
|
AnnotatedTypeGraph |
AnnotatedTypeGraph.selectMultiplicity(int n)
Returns the annotated type graph with the n-th multiplicity stored in the set of multiplicities
or the current annotated type graph if the position is undefined.
|
Constructor and Description |
---|
AnnotatedTypeGraph(AnnotatedTypeGraph orig)
Creates a new multiply annotated type graph which is a copy of another graph.
|
Postcondition(AnnotatedTypeGraph postGraph,
java.util.Set<de.uni_due.inf.ti.graph.Node> rightHandNodes,
java.util.Set<de.uni_due.inf.ti.graph.Edge> rightHandEdges)
Constructor of the postcondition
|
Modifier and Type | Method and Description |
---|---|
AnnotatedTypeGraph |
AnnotatedTypeGraphEditSynchronizer.getResultGraph() |
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.
|
de.uni_due.inf.ti.visigraph.VxGraph |
AnnotatedTypeGraphVisualizer.visualizeGraph(AnnotatedTypeGraph graph)
Creates a VxGraph which visualizes a graph.
|
Constructor and Description |
---|
MainFrame(@Nullable de.uni_due.inf.ti.graph.TransformationSystem system,
@Nullable AnnotatedTypeGraph graph,
boolean hyperGraphs)
Creates a new MainFrame instance.
|
Modifier and Type | Method and Description |
---|---|
static AnnotatedTypeGraph |
GXLReader.readGraph(java.lang.String filename)
Reads a graph from a GXL file and returns it.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
LanguagePrinter.generateDotString(AnnotatedTypeGraph graph) |
void |
LanguagePrinter.printGraph(AnnotatedTypeGraph graph,
java.lang.String languageFolderName,
java.lang.String fileName) |
void |
GXLWriter.write(AnnotatedTypeGraph graph,
java.io.File file)
Writes an annotated type graph to a file
|