- selectMultiplicity(int) - Method in class de.uni_due.inf.ti.dragom.data.AnnotatedTypeGraph
-
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.
- setAddMode(AnnotatedTypeGraphVisualizer.AddMode) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer.VisualSynchronizer
-
- setAlwaysStandardAnnotations(boolean) - Method in class de.uni_due.inf.ti.dragom.io.LanguagePrinter
-
- setAnnotationIndexes(HashMap<Integer, Integer>) - Method in class de.uni_due.inf.ti.dragom.data.Postcondition
-
Set the legal morphism's annotation index mapping
- setBounds(double, double, double, double) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Sets the bounds of the generated graphs.
- setBounds(Rectangle2D) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Sets the bounds of the generated graphs to a rectangle.
- setCloseKey(String) - Method in class de.uni_due.inf.ti.dragom.gui.DragomConfirmationDialog
-
Sets the key for the Close button.
- setCloseKey(String) - Method in class de.uni_due.inf.ti.dragom.gui.DragomInformationDialog
-
Sets the key for the Close button.
- setCurrentDirectory(File) - Method in class de.uni_due.inf.ti.dragom.io.GTSChooser
-
Sets the current directory of the file chooser.
- setEdgeLabels(boolean) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Sets whether graph visualizations have edge labels.
- setEditSynchronizer(GraphEditSynchronizer) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditor
-
Sets the edit synchronizer for this editor.
- setEditSynchronizer(GraphEditSynchronizer) - Method in class de.uni_due.inf.ti.dragom.gui.RuleInterfaceGraphEditor
-
Sets the edit synchronizer for this editor.
- setEditSynchronizer(GraphEditSynchronizer) - Method in class de.uni_due.inf.ti.dragom.gui.RuleLeftGraphEditor
-
Sets the edit synchronizer for this editor.
- setEditSynchronizer(GraphEditSynchronizer) - Method in class de.uni_due.inf.ti.dragom.gui.RuleRightGraphEditor
-
Sets the edit synchronizer for this editor.
- setEnabled(boolean) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditSynchronizer
-
Sets whether this synchronizer may add anything to the graph
- setEnabled(boolean) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
-
Sets whether this synchronizer may add anything to the graph
- setHyperStyle(boolean) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Sets whether this GraphVisualizer will always generated hypergraph
representations.
- setLegalMorphism(Morphism) - Method in class de.uni_due.inf.ti.dragom.data.Postcondition
-
Set the legal morphism from the postcondition to the annotated type graph
- setLimit(int) - Method in class de.uni_due.inf.ti.dragom.data.AnnotatedTypeGraph
-
Sets the limit of this graph
- setMax(int) - Method in class de.uni_due.inf.ti.dragom.data.AnnotationBounds
-
Sets the maximal bound for this annotation
- setMin(int) - Method in class de.uni_due.inf.ti.dragom.data.AnnotationBounds
-
Sets the minimal bound for this annotation
- setMultiplicityStyle(boolean) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Sets whether this GraphVisualizer will always display multiplicities.
- setNewEdgeStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditSynchronizer
-
Sets the name of the style of edges that are added to the graph by this
GraphEditor.
- setNewInterfaceEdgeStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
-
Sets the name of the style of edges that are added to the interface.
- setNewInterfaceNodeStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
-
Sets the name of the style of nodes that are added to the interface.
- setNewLabelStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditSynchronizer
-
Sets the style of labels that are added to the graph by the user.
- setNewLabelStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
-
Sets the style of labels that are added to the graph by the user.
- setNewLeftEdgeStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
-
Sets the name of the style of edges that are added to the graph by this
GraphEditor.
- setNewLeftNodeStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
-
Sets the name of the style of nodes that are added to the graph.
- setNewNodeStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditSynchronizer
-
Sets the name of the style of nodes that are added to the graph.
- setNewRightEdgeStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
-
Sets the name of the style of edges that are added to the graph by this
GraphEditor.
- setNewRightNodeStyleName(String) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
-
Sets the name of the style of nodes that are added to the graph.
- setNodeIDs(boolean) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Sets whether graph visualizations have node IDs.
- setNodeLabels(boolean) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Sets whether graph visualizations have node labels.
- setPrintAnnotations(boolean) - Method in class de.uni_due.inf.ti.dragom.io.LanguagePrinter
-
- setTypeGraph(AnnotatedTypeGraph) - Method in class de.uni_due.inf.ti.dragom.algorithms.LanguageAlgorithm
-
- showDialog(Component) - Method in class de.uni_due.inf.ti.dragom.io.GTSChooser
-
Shows the dialog.
- start_subgraph(int) - Method in class de.uni_due.inf.ti.dragom.io.LanguagePrinter
-
Takes the cluster or subgraph id as input parameter and returns a string
that is used to start a subgraph.
- startDotSource(String) - Method in class de.uni_due.inf.ti.dragom.io.LanguagePrinter
-
Returns a string that is used to start a graph.
- stateStyleName - Static variable in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-