Class EditorMenuBar.InsertGraph
- java.lang.Object
-
- javax.swing.AbstractAction
-
- org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorMenuBar.InsertGraph
-
- All Implemented Interfaces:
java.awt.event.ActionListener,java.io.Serializable,java.lang.Cloneable,java.util.EventListener,javax.swing.Action
- Enclosing class:
- EditorMenuBar
public static class EditorMenuBar.InsertGraph extends javax.swing.AbstractAction- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description protected mxAnalysisGraphaGraphprotected mxGraphProperties.GraphTypegraphType
-
Constructor Summary
Constructors Constructor Description InsertGraph(mxGraphProperties.GraphType tree, mxAnalysisGraph aGraph)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidactionPerformed(java.awt.event.ActionEvent e)-
Methods inherited from class javax.swing.AbstractAction
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
-
-
-
-
Field Detail
-
graphType
protected mxGraphProperties.GraphType graphType
-
aGraph
protected mxAnalysisGraph aGraph
-
-
Constructor Detail
-
InsertGraph
public InsertGraph(mxGraphProperties.GraphType tree, mxAnalysisGraph aGraph)
- Parameters:
aGraph-
-
-