Package ptolemy.vergil.gt

Class MatchResultViewer

  • All Implemented Interfaces:
    java.awt.datatransfer.ClipboardOwner, java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.MouseWheelListener, java.awt.event.WindowFocusListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.awt.print.Printable, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants, ImageExportable, ChangeListener, StatusHandler, HTMLExportable
    public class MatchResultViewer
extends GTFrame
    See Also:
    Serialized Form

    • Field Detail

      • _transformMenu

        protected javax.swing.JMenu _transformMenu

    • Constructor Detail

      • MatchResultViewer

        public MatchResultViewer​(CompositeEntity entity,
                         Tableau tableau)
        Construct a frame associated with the specified Ptolemy II model. After constructing this, it is necessary to call setVisible(true) to make the frame appear. This is typically done by calling show() on the controlling tableau. This constructor results in a graph frame that obtains its library either from the model (if it has one) or the default library defined in the configuration.
        Parameters:
        entity - The model to put in this frame.
        tableau - The tableau responsible for this frame.
        See Also:
        Tableau.show()

      • MatchResultViewer

        public MatchResultViewer​(CompositeEntity entity,
                         Tableau tableau,
                         LibraryAttribute defaultLibrary)
        Construct a frame associated with the specified Ptolemy II model. After constructing this, it is necessary to call setVisible(true) to make the frame appear. This is typically done by calling show() on the controlling tableau. This constructor results in a graph frame that obtains its library either from the model (if it has one), or the defaultLibrary argument (if it is non-null), or the default library defined in the configuration.
        Parameters:
        entity - The model to put in this frame.
        tableau - The tableau responsible for this frame.
        defaultLibrary - An attribute specifying the default library to use if the model does not have a library.
        See Also:
        Tableau.show()

    • Method Detail

      • clearFileSelectionStatus

        public void clearFileSelectionStatus()

      • setBatchMode

        public void setBatchMode​(boolean batchMode)

      • setMatchResult

        public void setMatchResult​(TransformationRule rule,
                           java.lang.String sourceFileName,
                           java.util.List<MatchResult> results)

      • setMatchResult

        public void setMatchResult​(TransformationRule rule,
                           java.lang.String sourceFileName,
                           java.util.List<MatchResult> results,
                           int position)

      • setNextFileEnabled

        public void setNextFileEnabled​(boolean nextFileEnabled)

      • setPreviousFileEnabled

        public void setPreviousFileEnabled​(boolean previousFileEnabled)

      • _addMenus

        protected void _addMenus()
        Create the menus that are used by this frame. It is essential that _createGraphPane() be called before this.
        Overrides:
        _addMenus in class ExtendedGraphFrame

      • _setTableauFactory

        protected static void _setTableauFactory​(java.lang.Object originator,
                                         CompositeEntity entity)

      • _unsetTableauFactory

        protected static void _unsetTableauFactory​(java.lang.Object originator,
                                           CompositeEntity entity)

      • _windowClosed

        protected void _windowClosed()