Package | Description |
---|---|
de.uni_due.inf.ti.dragom.gui |
Class and Description |
---|
AnnotatedTypeGraphEditor.EditMode |
AnnotatedTypeGraphVisualizer.AddMode
Represents whether added objects are created, deleted or neither.
|
AnnotatedTypeGraphVisualizer.GraphColor
Specifies the color to be used for colored graphs.
|
AnnotatedTypeGraphVisualizer.MorphismVisi
Class used to return morphism visualizations.
|
AnnotatedTypeGraphVisualizer.RuleVisi
Class used to return morphism visualizations.
|
AnnotatedTypeGraphVisualizer.VisualSynchronizer
GraphEditSynchronizer implementation which uses the style properties of
this GraphVisualizer.
|
FileTypes.FileType |
GuiOptions.Layouter |
GuiOptions.LogCloseBehaviour |
GuiOptions.RuleStyle |
RuleInterfaceGraphEditor.EditMode |
RuleLeftGraphEditor.EditMode |
RuleRightGraphEditor.EditMode |