Class ExceptionManagerGUIFactory

  • All Implemented Interfaces:
    java.lang.Cloneable, Editable, Changeable, Debuggable, DebugListener, Derivable, ModelErrorHandler, MoMLExportable, Moveable, Nameable

    public class ExceptionManagerGUIFactory
    extends EditorFactory
    This is an attribute that creates an editor for configuring and running the exception manager. This is designed to be contained by an instance of ExceptionManager or a subclass of ExceptionManager. It customizes the user interface for "configuring" the exception manager. This UI will be invoked when you double click on the exception manager.
    Since:
    Ptolemy II 10.0
    Version:
    $Id$
    Author:
    Edward A. Lee, Elizabeth Latronico
    Pt.AcceptedRating:
    Red (eal)
    Pt.ProposedRating:
    Red (eal)
    • Constructor Detail

    • Method Detail

      • createEditor

        public void createEditor​(NamedObj object,
                                 java.awt.Frame parent)
        Create an editor for configuring the specified object with the specified parent window.
        Specified by:
        createEditor in interface Editable
        Specified by:
        createEditor in class EditorFactory
        Parameters:
        object - The object to configure.
        parent - The parent window, or null if there is none.