Package org.processmining.objectcentricconstraintchecking.algorithms.editor

Class EditorActions.SaveAction

  • 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.SaveAction
extends javax.swing.AbstractAction
    See Also:
    Serialized Form

    • Field Summary

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

      • 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
      SaveAction​(boolean showDialog)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void actionPerformed​(java.awt.event.ActionEvent e)  
      protected void saveXmlPng​(BasicGraphEditor editor, java.lang.String filename, java.awt.Color bg)
      Saves XML+PNG format.

      • 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

      • showDialog

        protected boolean showDialog

      • lastDir

        protected java.lang.String lastDir

    • Constructor Detail

      • SaveAction

        public SaveAction​(boolean showDialog)

    • Method Detail

      • saveXmlPng

        protected void saveXmlPng​(BasicGraphEditor editor,
                          java.lang.String filename,
                          java.awt.Color bg)
                   throws java.io.IOException
        Saves XML+PNG format.
        Throws:
        java.io.IOException

      • actionPerformed

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