Serialized Form

Package de.uni_due.inf.ti.dragom.general
- Class de.uni_due.inf.ti.dragom.general.AnnotatedTypeGraphException extends java.lang.Exception implements Serializable
  
  serialVersionUID:
  
  1L
Package de.uni_due.inf.ti.dragom.gui
- Class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditor extends de.uni_due.inf.ti.visigraph.swing.AbstractGraphPanel implements Serializable
  
  serialVersionUID:
  
  3977012543930621889L
  - Serialized Fields
    - syncer
```
de.uni_due.inf.ti.visigraph.swing.GraphEditSynchronizer syncer
```
    - editMode
```
AnnotatedTypeGraphEditor.EditMode editMode
```
    - draggedEdgeColor
```
java.awt.Color draggedEdgeColor
```
- Class de.uni_due.inf.ti.dragom.gui.DragomConfirmationDialog extends de.uni_due.inf.ti.swing.StandardDialog<java.lang.Boolean> implements Serializable
  
  serialVersionUID:
  
  -262664487019798230L
  - Serialized Fields
    - infoComponent
```
javax.swing.JComponent infoComponent
```
    - commit
```
boolean commit
```
- Class de.uni_due.inf.ti.dragom.gui.DragomInformationDialog extends de.uni_due.inf.ti.swing.StandardDialog<java.lang.Void> implements Serializable
  
  serialVersionUID:
  
  -262664487019798230L
  - Serialized Fields
    - infoComponent
```
javax.swing.JComponent infoComponent
```
- Class de.uni_due.inf.ti.dragom.gui.MainFrame extends javax.swing.JFrame implements Serializable
  
  serialVersionUID:
  
  8566911575336591595L
  - Serialized Fields
    - graph
```
AnnotatedTypeGraph graph
```
    - matti
```
Materialization matti
```
    - postcondition
```
Postcondition postcondition
```
    - rules
```
java.util.List<E> rules
```
    - currentRule
```
de.uni_due.inf.ti.graph.Rule currentRule
```
    - activeRuleIndex
```
int activeRuleIndex
```
    - invariantList
```
java.util.HashMap<K,V> invariantList
```
    - nowHyper
```
boolean nowHyper
```
    - nowMultiplicities
```
boolean nowMultiplicities
```
    - validInvariant
```
boolean validInvariant
```
    - fileChooser
```
javax.swing.JFileChooser fileChooser
```
    - mainPanel
```
javax.swing.JPanel mainPanel
```
    - workPanel
```
javax.swing.JPanel workPanel
```
    - gtsPanel
```
javax.swing.JPanel gtsPanel
```
    - rulePanel
```
javax.swing.JPanel rulePanel
```
    - typeGraphPanel
```
javax.swing.JPanel typeGraphPanel
```
    - materializationGraphPanel
```
javax.swing.JPanel materializationGraphPanel
```
    - postGraphPanel
```
javax.swing.JPanel postGraphPanel
```
    - algoMenu
```
javax.swing.JMenu algoMenu
```
    - materializationItem
```
javax.swing.JMenuItem materializationItem
```
    - postconditionItem
```
javax.swing.JMenuItem postconditionItem
```
    - invariantItem
```
javax.swing.JMenuItem invariantItem
```
    - saveRule
```
javax.swing.JMenuItem saveRule
```
    - saveGraph
```
javax.swing.JMenuItem saveGraph
```
    - savePostcondition
```
javax.swing.JMenuItem savePostcondition
```
    - simplifyBox
```
javax.swing.JMenuItem simplifyBox
```
    - graphView
```
de.uni_due.inf.ti.visigraph.swing.GraphPanel graphView
```
    - ruleView
```
de.uni_due.inf.ti.visigraph.swing.GraphPanel ruleView
```
    - materializationView
```
de.uni_due.inf.ti.visigraph.swing.GraphPanel materializationView
```
    - postView
```
de.uni_due.inf.ti.visigraph.swing.GraphPanel postView
```
    - graphScroll
```
javax.swing.JScrollPane graphScroll
```
    - ruleScroll
```
javax.swing.JScrollPane ruleScroll
```
    - matScroll
```
javax.swing.JScrollPane matScroll
```
    - postScroll
```
javax.swing.JScrollPane postScroll
```
- Class de.uni_due.inf.ti.dragom.gui.RuleInterfaceGraphEditor extends de.uni_due.inf.ti.visigraph.swing.AbstractGraphPanel implements Serializable
  
  serialVersionUID:
  
  3977012543930621889L
  - Serialized Fields
    - syncer
```
de.uni_due.inf.ti.visigraph.swing.GraphEditSynchronizer syncer
```
    - editMode
```
RuleInterfaceGraphEditor.EditMode editMode
```
    - draggedEdgeColor
```
java.awt.Color draggedEdgeColor
```
- Class de.uni_due.inf.ti.dragom.gui.RuleLeftGraphEditor extends de.uni_due.inf.ti.visigraph.swing.AbstractGraphPanel implements Serializable
  
  serialVersionUID:
  
  3977012543930621889L
  - Serialized Fields
    - syncer
```
de.uni_due.inf.ti.visigraph.swing.GraphEditSynchronizer syncer
```
    - editMode
```
RuleLeftGraphEditor.EditMode editMode
```
    - draggedEdgeColor
```
java.awt.Color draggedEdgeColor
```
- Class de.uni_due.inf.ti.dragom.gui.RuleRightGraphEditor extends de.uni_due.inf.ti.visigraph.swing.AbstractGraphPanel implements Serializable
  
  serialVersionUID:
  
  3977012543930621889L
  - Serialized Fields
    - syncer
```
de.uni_due.inf.ti.visigraph.swing.GraphEditSynchronizer syncer
```
    - editMode
```
RuleRightGraphEditor.EditMode editMode
```
    - draggedEdgeColor
```
java.awt.Color draggedEdgeColor
```

Serialized Form

Package de.uni_due.inf.ti.dragom.general

Class de.uni_due.inf.ti.dragom.general.AnnotatedTypeGraphException extends java.lang.Exception implements Serializable

Package de.uni_due.inf.ti.dragom.gui

Class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditor extends de.uni_due.inf.ti.visigraph.swing.AbstractGraphPanel implements Serializable

Serialized Fields

syncer

editMode

draggedEdgeColor

Class de.uni_due.inf.ti.dragom.gui.DragomConfirmationDialog extends de.uni_due.inf.ti.swing.StandardDialog<java.lang.Boolean> implements Serializable

Serialized Fields

infoComponent

commit

Class de.uni_due.inf.ti.dragom.gui.DragomInformationDialog extends de.uni_due.inf.ti.swing.StandardDialog<java.lang.Void> implements Serializable

Serialized Fields

infoComponent

Class de.uni_due.inf.ti.dragom.gui.MainFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

graph

matti

postcondition

rules

currentRule

activeRuleIndex

invariantList

nowHyper

nowMultiplicities

validInvariant

fileChooser

mainPanel

workPanel

gtsPanel

rulePanel

typeGraphPanel

materializationGraphPanel

postGraphPanel

algoMenu

materializationItem

postconditionItem

invariantItem

saveRule

saveGraph

savePostcondition

simplifyBox

graphView

ruleView

materializationView

postView

graphScroll

ruleScroll

matScroll

postScroll

Class de.uni_due.inf.ti.dragom.gui.RuleInterfaceGraphEditor extends de.uni_due.inf.ti.visigraph.swing.AbstractGraphPanel implements Serializable

Serialized Fields

syncer

editMode

draggedEdgeColor

Class de.uni_due.inf.ti.dragom.gui.RuleLeftGraphEditor extends de.uni_due.inf.ti.visigraph.swing.AbstractGraphPanel implements Serializable

Serialized Fields

syncer

editMode

draggedEdgeColor

Class de.uni_due.inf.ti.dragom.gui.RuleRightGraphEditor extends de.uni_due.inf.ti.visigraph.swing.AbstractGraphPanel implements Serializable

Serialized Fields

syncer

editMode

draggedEdgeColor