Jedit 4.1

edu.bsu.cs.gui
Class JeditFrame

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Window
                    |
                    +--java.awt.Frame
                          |
                          +--javax.swing.JFrame
                                |
                                +--edu.bsu.cs.gui.JeditFrame
All Implemented Interfaces:
Accessible, EventListener, ImageObserver, MenuContainer, RootPaneContainer, Serializable, WindowConstants, WindowListener

public class JeditFrame
extends JFrame
implements WindowListener, Serializable

The Frame that the user sees after clicking the JavaEdit button in the html page. It contains a JeditControls.JeditToolbar and a JeditPanel.

Since:
1 Jul 1998
Version:
23 May 2002
Author:
Aaron Nall
, Vellanki Kiran , Elizabeth VandenBerg
See Also:
JFrame, WindowListener, Serialized Form

Nested Class Summary
 class JeditFrame.JeditScrollPane
           
 class JeditFrame.JeditTextArea
           
 
Nested classes inherited from class javax.swing.JFrame
JFrame.AccessibleJFrame
 
Nested classes inherited from class java.awt.Frame
Frame.AccessibleAWTFrame
 
Nested classes inherited from class java.awt.Window
Window.AccessibleAWTWindow
 
Nested classes inherited from class java.awt.Container
Container.AccessibleAWTContainer
 
Nested classes inherited from class java.awt.Component
Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy
 
Field Summary
static String baseTitle
           
static Color DEFAULT_BACKGROUND_COLOR
           
static Color DEFAULT_EDGE_COLOR
           
static double DEFAULT_EDGE_WEIGHT
           
static Color DEFAULT_LABEL_COLOR
           
static Color DEFAULT_MARKED_COLOR
           
static Color DEFAULT_VERTEX_COLOR
           
static double DEFAULT_VERTEX_WEIGHT
           
static String GRAPHDIRECTORY
           
static String NEWFILENAME
           
 
Fields inherited from class javax.swing.JFrame
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
 
Fields inherited from class java.awt.Frame
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
 
Fields inherited from class java.awt.Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Fields inherited from interface javax.swing.WindowConstants
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
JeditFrame(Applet target)
          Creates an empty JeditFrame with no Title.
JeditFrame(JeditFrame source)
          Creates a new JeditFrame that is an exact copy of an existing Frame.
JeditFrame(JeditFrame source, boolean newGraph)
          Creates a new JeditFrame that is a duplicate of an existing JeditFrame.
JeditFrame(String title, Applet target)
          Creates a new JeditFrame, sets the frame title and target, gives the frame a default size, location, Window Listener, JeditControls.JeditMenubar, JeditControls.JeditToolbar, JeditPanel, and makes the frame visible.
 
Method Summary
 Applet getApplet()
           
 JeditFrame.JeditTextArea getMessagePane()
           
 JeditPanel getPanel()
          This method returns the JeditPanel that the current JeditFrame contains.
 void setMessagePane(JeditFrame.JeditTextArea m)
           
 void windowActivated(WindowEvent e)
          Not implemented.
 void windowClosed(WindowEvent e)
          Not implemented.
 void windowClosing(WindowEvent e)
          Disposes.
 void windowDeactivated(WindowEvent e)
          Not implemented.
 void windowDeiconified(WindowEvent e)
          Not implemented.
 void windowIconified(WindowEvent e)
          Not implemented.
 void windowOpened(WindowEvent e)
          Not implemented.
 void windowOpening(WindowEvent e)
          Not implemented.
 
Methods inherited from class javax.swing.JFrame
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update
 
Methods inherited from class java.awt.Frame
addNotify, finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated
 
Methods inherited from class java.awt.Window
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, show, toBack, toFront
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.awt.MenuContainer
getFont, postEvent
 

Field Detail

baseTitle

public static final String baseTitle
See Also:
Constant Field Values

NEWFILENAME

public static final String NEWFILENAME
See Also:
Constant Field Values

GRAPHDIRECTORY

public static final String GRAPHDIRECTORY

DEFAULT_VERTEX_COLOR

public static final Color DEFAULT_VERTEX_COLOR

DEFAULT_EDGE_COLOR

public static final Color DEFAULT_EDGE_COLOR

DEFAULT_BACKGROUND_COLOR

public static final Color DEFAULT_BACKGROUND_COLOR

DEFAULT_LABEL_COLOR

public static final Color DEFAULT_LABEL_COLOR

DEFAULT_MARKED_COLOR

public static final Color DEFAULT_MARKED_COLOR

DEFAULT_VERTEX_WEIGHT

public static final double DEFAULT_VERTEX_WEIGHT
See Also:
Constant Field Values

DEFAULT_EDGE_WEIGHT

public static final double DEFAULT_EDGE_WEIGHT
See Also:
Constant Field Values
Constructor Detail

JeditFrame

public JeditFrame(String title,
                  Applet target)
Creates a new JeditFrame, sets the frame title and target, gives the frame a default size, location, Window Listener, JeditControls.JeditMenubar, JeditControls.JeditToolbar, JeditPanel, and makes the frame visible. Applet target is used for loading pictures and sounds.

Parameters:
title - The frame title.
target - The target Applet.

JeditFrame

public JeditFrame(JeditFrame source,
                  boolean newGraph)
Creates a new JeditFrame that is a duplicate of an existing JeditFrame. Every element of source is copied into the new JeditFrame. If newGraph is true, the new Frame JavaGraph is empty, otherwise it is a copy of the original.

Parameters:
source - The source JeditFrame.
newGraph - A boolean - if true, a new, empty panel will be created.

JeditFrame

public JeditFrame(JeditFrame source)
Creates a new JeditFrame that is an exact copy of an existing Frame. The only difference is that the new Frame is positioned down and to the right of source.

Parameters:
source - The source JeditFrame.

JeditFrame

public JeditFrame(Applet target)
Creates an empty JeditFrame with no Title.

Parameters:
target - The target Applet.
Method Detail

getMessagePane

public JeditFrame.JeditTextArea getMessagePane()

setMessagePane

public void setMessagePane(JeditFrame.JeditTextArea m)

getPanel

public JeditPanel getPanel()
This method returns the JeditPanel that the current JeditFrame contains.


getApplet

public Applet getApplet()

windowDeactivated

public void windowDeactivated(WindowEvent e)
Not implemented.

Specified by:
windowDeactivated in interface WindowListener

windowActivated

public void windowActivated(WindowEvent e)
Not implemented.

Specified by:
windowActivated in interface WindowListener

windowDeiconified

public void windowDeiconified(WindowEvent e)
Not implemented.

Specified by:
windowDeiconified in interface WindowListener

windowIconified

public void windowIconified(WindowEvent e)
Not implemented.

Specified by:
windowIconified in interface WindowListener

windowOpening

public void windowOpening(WindowEvent e)
Not implemented.


windowOpened

public void windowOpened(WindowEvent e)
Not implemented.

Specified by:
windowOpened in interface WindowListener

windowClosed

public void windowClosed(WindowEvent e)
Not implemented.

Specified by:
windowClosed in interface WindowListener

windowClosing

public void windowClosing(WindowEvent e)
Disposes.

Specified by:
windowClosing in interface WindowListener
Parameters:
e - The WindowEvent.

Jedit 4.1