Uses of Class edu.neu.ccs.gui.JPTFrame (JPT 2.3.5 API)

Overview

Package

Class

Use

Tree

Deprecated

Index

PREV NEXT

FRAMES NO FRAMES

Uses of Class
edu.neu.ccs.gui.JPTFrame

Packages that use JPTFrame
edu.neu.ccs.gui	Provides classes and interfaces for designing and implementing graphical interfaces and for the creation of paintable and mutatable objects..
edu.neu.ccs.jpf	Provides the classes that implement the Java Power Framework.

Uses of JPTFrame in edu.neu.ccs.gui

Methods in edu.neu.ccs.gui that return JPTFrame

static JPTFrame JPTFrame.createQuickJPTFrame(String title, Object object)
          Returns a new JPTFrame with the given title and content pane that is packed and centered on the screen.

static JPTFrame JPTFrame.createQuickJPTFrame(String title, Object object, int location)
          Returns a new JPTFrame with the given title and content pane that is packed and located on the screen in the given screen location.

static JPTFrame JPTFrame.createQuickJPTFrame(String title, Object object, Insets insets)
          Returns a new JPTFrame with the given title and content pane that is packed and centered on the screen; the given insets replace the current insets for future calls of setLocation(int) on the frame.

static JPTFrame JPTFrame.createQuickJPTFrame(String title, Object object, int location, Insets insets)
          Returns a new JPTFrame with the given title and content pane that is packed and located on the screen in the given screen location; the given insets bound the frame away from the borders of the screen and also replace the current insets for future calls of setLocation(int) on the frame.

static JPTFrame JPTFrame.createQuickJPTFrame(String title, Object object, LayoutManager layout)
          Returns a new JPTFrame with the given title, content pane, and layout manager that is packed and centered on the screen.

static JPTFrame JPTFrame.createQuickJPTFrame(String title, Object object, LayoutManager layout, int location)
          Returns a new JPTFrame with the given title, content pane, and layout manager, that is packed and located on the screen in the given screen location.

static JPTFrame JPTFrame.createQuickJPTFrame(String title, Object object, LayoutManager layout, Insets insets)
          Returns a new JPTFrame with the given title, content pane, and layout manager, that is packed and centered on the screen; the given insets replace the current insets for future calls of setLocation(int) on the frame.

static JPTFrame JPTFrame.createQuickJPTFrame(String title, Object object, LayoutManager layout, int location, Insets insets)
          Returns a new JPTFrame with the given title, content pane, and layout manager, that is packed and located on the screen in the given screen location; the given insets bound the frame away from the borders of the screen and also replace the current insets for future calls of setLocation(int) on the frame.

static JPTFrame JPTFrame.frame(Object object)
          Returns a new JPTFrame with the given content pane and blank title that is packed and centered on the screen.

static JPTFrame JPTFrame.frame(Object object, int location)
          Returns a new JPTFrame with the given content pane and blank title that is packed and located on the screen in the given screen location.

static JPTFrame JPTFrame.frame(Object object, String title)
          Returns a new JPTFrame with the given content pane and title that is packed and centered on the screen.

static JPTFrame JPTFrame.frame(Object object, String title, int location)
          Returns a new JPTFrame with the given content pane and title that is packed and located on the screen in the given screen location.

static JPTFrame JPTFrame.frame(Object object, String title, Insets insets)
          Returns a new JPTFrame with the given content pane and title that is packed and centered on the screen; the given insets replace the current insets for future calls of setLocation(int) on the frame.

static JPTFrame JPTFrame.frame(Object object, String title, int location, Insets insets)
          Returns a new JPTFrame with the given content pane and title that is packed and located on the screen in the given screen location; the given insets bound the frame away from the borders of the screen and also replace the current insets for future calls of setLocation(int) on the frame.

JPTFrame DisplayPanel.frame()
          Frame this panel in a JPTFrame and open the frame; return the frame constructed.

JPTFrame DisplayPanel.frame(int location)
          Frame this panel in a JPTFrame and open the frame; use the given location which should be either CENTER or one of the standard constants for one of the eight compass directions; return the frame constructed.

JPTFrame DisplayPanel.frame(String title)
          Frame this panel in a JPTFrame and open the frame; use the given title for the frame; return the frame constructed.

JPTFrame DisplayPanel.frame(String title, int location)
          Frame this panel in a JPTFrame and open the frame; use the given title for the frame; use the given location which should be either CENTER or one of the standard constants for one of the eight compass directions; return the frame constructed.

JPTFrame DisplayPanel.frame(String title, Insets insets)
          Frame this panel in a JPTFrame and open the frame; use the given title for the frame; use the given insets to inset the frame in the screen; return the frame constructed.

JPTFrame DisplayPanel.frame(String title, int location, Insets insets)
          Frame this panel in a JPTFrame and open the frame; use the given title for the frame; use the given location which should be either CENTER or one of the standard constants for one of the eight compass directions; use the given insets to inset the frame in the screen; return the frame constructed.

Uses of JPTFrame in edu.neu.ccs.jpf

Methods in edu.neu.ccs.jpf that return JPTFrame

static JPTFrame JPF.frame(Object object)
          Frame the given object in a JPTFrame and open the frame; return the frame constructed.

static JPTFrame JPF.frame(Object object, int location)
          Frame the given object in a JPTFrame and open the frame; use the given location which should be either CENTER or one of the standard constants for one of the eight compass directions; return the frame constructed.

static JPTFrame JPF.frame(Object object, String title)
          Frame the given object in a JPTFrame and open the frame; use the given title for the frame; return the frame constructed.

static JPTFrame JPF.frame(Object object, String title, int location)
          Frame the given object in a JPTFrame and open the frame; use the given title for the frame; use the given location which should be either CENTER or one of the standard constants for one of the eight compass directions; return the frame constructed.

static JPTFrame JPF.frame(Object object, String title, Insets insets)
          Frame the given object in a JPTFrame and open the frame; use the given title for the frame; use the given insets to inset the frame in the screen; return the frame constructed.

static JPTFrame JPF.frame(Object object, String title, int location, Insets insets)
          Frame the given object in a JPTFrame and open the frame; use the given title for the frame; use the given location which should be either CENTER or one of the standard constants for one of the eight compass directions; use the given insets to inset the frame in the screen; return the frame constructed.