Package org.processmining.objectcentricconstraintchecking.algorithms.editor

Class EditorActions.OpenAction

  • All Implemented Interfaces:
    java.awt.event.ActionListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action
    Enclosing class:
    EditorActions
    public static class EditorActions.OpenAction
extends javax.swing.AbstractAction
    See Also:
    Serialized Form

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.lang.String lastDir  

      • Fields inherited from class javax.swing.AbstractAction

        changeSupport, enabled

      • Fields inherited from interface javax.swing.Action

        ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

    • Constructor Summary

      Constructors 
      Constructor Description
      OpenAction()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void actionPerformed​(java.awt.event.ActionEvent e)  
      protected void openGD​(BasicGraphEditor editor, java.io.File file, java.lang.String gdText)  
      protected void openXmlPng​(BasicGraphEditor editor, java.io.File file)
      Reads XML+PNG format.
      protected void resetEditor​(BasicGraphEditor editor)  

      • Methods inherited from class javax.swing.AbstractAction

        addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled

      • Methods inherited from class java.lang.Object

        equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

      • Methods inherited from interface javax.swing.Action

        accept

    • Field Detail

      • lastDir

        protected java.lang.String lastDir

    • Constructor Detail

      • OpenAction

        public OpenAction()

    • Method Detail

      • openXmlPng

        protected void openXmlPng​(BasicGraphEditor editor,
                          java.io.File file)
                   throws java.io.IOException
        Reads XML+PNG format.
        Throws:
        java.io.IOException

      • openGD

        protected void openGD​(BasicGraphEditor editor,
                      java.io.File file,
                      java.lang.String gdText)
        Throws:
        java.io.IOException

      • actionPerformed

        public void actionPerformed​(java.awt.event.ActionEvent e)