Class MainFrame

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants

public class MainFrame extends JFrame
Insert comment for enclosing_type here.
See Also:
  • Constructor Details

    • MainFrame

      public MainFrame()
      Constructor for MainFrame.
      Throws:
      HeadlessException - -
    • MainFrame

      public MainFrame(GraphicsConfiguration gc)
      Constructor for MainFrame.
      Parameters:
      gc - the gc
    • MainFrame

      public MainFrame(String title)
      Constructor for MainFrame.
      Parameters:
      title - the title
      Throws:
      HeadlessException - -
    • MainFrame

      public MainFrame(String title, GraphicsConfiguration gc)
      Constructor for MainFrame.
      Parameters:
      title - the title
      gc - the gc
  • Method Details

    • showAnnotFeats

      public void showAnnotFeats()
      Show annot feats.
    • getTreeModelListeners

      public static TreeModelListener[] getTreeModelListeners(DefaultTreeModel model)
      Gets the tree model listeners.
      Parameters:
      model - the model
      Returns:
      the tree model listeners
    • setTypeSystem

      public void setTypeSystem(TypeSystem ts)
      Sets the type system.
      Parameters:
      ts - the new type system
    • main

      public static void main(String[] args)
      The main method.
      Parameters:
      args - the arguments