package jsetool.gui;

import java.awt.BorderLayout;

/**
 * @author Mike Lawson
 *
 * @since Nov 24, 2004
 * 
 * The JSEToolMainFrame class launches JSETool as an application
 * 
 * 
 */
public class JSEToolMainFrame
{
  
  public static void main(String[] args)
  {
    JSEToolMainFrame f = new JSEToolMainFrame();
  }
  
  protected JSEToolMainFrame()
  {
    JSEToolMainPane jseTool = new JSEToolMainPane();
    
    ApplicationFrame f = new ApplicationFrame("Java State Exploration Tool v1.0");
    
    // TODO - add a menu.
    
    f.setLayout(new BorderLayout());
    
    f.add(jseTool, BorderLayout.CENTER);
    f.setSize(f.getPreferredSize());
    f.center();
    f.invalidate();
    f.setResizable(true);
    f.setVisible(true);
  }

}