Class EditorKeyboardHandlerForOCCLEditor
- java.lang.Object
-
- org.processmining.objectcentricconstraintchecking.algorithms.swing.handler.mxKeyboardHandlerForOCCLEditor
-
- org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorKeyboardHandlerForOCCLEditor
-
public class EditorKeyboardHandlerForOCCLEditor extends mxKeyboardHandlerForOCCLEditor
- Author:
- Administrator
-
-
Constructor Summary
Constructors Constructor Description EditorKeyboardHandlerForOCCLEditor(mxGraphComponent graphComponent)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected javax.swing.ActionMapcreateActionMap()Return the mapping between JTree's input map and JGraph's actions.protected javax.swing.InputMapgetInputMap(int condition)Return JTree's input map.-
Methods inherited from class org.processmining.objectcentricconstraintchecking.algorithms.swing.handler.mxKeyboardHandlerForOCCLEditor
installKeyboardActions
-
-
-
-
Constructor Detail
-
EditorKeyboardHandlerForOCCLEditor
public EditorKeyboardHandlerForOCCLEditor(mxGraphComponent graphComponent)
- Parameters:
graphComponent-
-
-
Method Detail
-
getInputMap
protected javax.swing.InputMap getInputMap(int condition)
Return JTree's input map.- Overrides:
getInputMapin classmxKeyboardHandlerForOCCLEditor
-
createActionMap
protected javax.swing.ActionMap createActionMap()
Return the mapping between JTree's input map and JGraph's actions.- Overrides:
createActionMapin classmxKeyboardHandlerForOCCLEditor
-
-