org.jmlspecs.jmlunit
Class JntGUI

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      org.multijava.util.gui.GUIFrame
                          org.multijava.util.gui.GUI
                              org.jmlspecs.jmlunit.JntGUI

All Implemented Interfaces:

Accessible, ImageObserver, MenuContainer, RootPaneContainer, Serializable, WindowConstants

public class JntGUI

extends org.multijava.util.gui.GUI

This class is automatically generated from JntGUI.gui and contains member fields corresponding to tool-specific GUI specifications.

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Nested Class Summary
protected  class	JntGUI.AllFilesGUIFileFilter
protected  class	JntGUI.JntCompilation
protected  class	JntGUI.JntGUIFileFilter
protected  class	JntGUI.JntOpenHandler

 

Nested classes inherited from class org.multijava.util.gui.GUI

org.multijava.util.gui.GUI.Compilation, org.multijava.util.gui.GUI.GUIFileFilter, org.multijava.util.gui.GUI.OpenHandler

 

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

 

Model Field Summary

 

Model fields inherited from class java.lang.Object

_getClass, objectState, theString

 

Ghost Field Summary

 

Ghost fields inherited from class java.lang.Object

objectTimesFinalized, owner

 

Field Summary

 

Fields inherited from class org.multijava.util.gui.GUI

aboutWindow, fileList, fileModel, helpWindow, mainWindowPrefs, MINIMUM_WINDOW_HEIGHT, opt, optionHandler, standAlone

 

Fields inherited from class org.multijava.util.gui.GUIFrame

currentDirectory, preferences, toolName

 

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.Window

 

Fields inherited from class java.awt.Container

 

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

JntGUI(Options options, ArrayList infiles, boolean commandLine, boolean standAlone)

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

Method Summary
protected  org.multijava.util.gui.GUI.Compilation	createCompilationInstance(String[] files, Options opt, OutputStream os)
protected  org.multijava.util.gui.GUI.OpenHandler	createOpenHandlerInstance()
protected  org.multijava.util.gui.GUIOutputWindow	createOutputWindow(InputStream is)
protected  boolean	dirInClassPath(Options opt, String dir)
protected  String	getClasspath(Options opt)
protected  String	getSourcepath(Options opt)
protected  String	getWebpageLocation()
protected  String	getWebpageName()
static JntGUI	init(String[] args, boolean standAlone)
void	interruptCompilation()
static void	main(String[] args)

 

Methods inherited from class org.multijava.util.gui.GUI

clearPreferences, closeWindowOperations, getGUIWindowPreferences, getMinimumSize, getPreferredSize, preferencesHaveChanged, savePreferences, setClearPrefsEnabled, setCurrentLookAndFeelEnabled, setLookAndFeel, setLookAndFeel, setSavePrefsEnabled

 

Methods inherited from class org.multijava.util.gui.GUIFrame

getMaximumSize, lookAndFeelHasChanged, putCurrentDirectory, putLookAndFeel, setCurrentDirectory

 

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, 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

 

Constructor Detail

JntGUI

public JntGUI(Options options,
              ArrayList infiles,
              boolean commandLine,
              boolean standAlone)

main

public static void main(String[] args)

init

public static JntGUI init(String[] args,
                          boolean standAlone)

interruptCompilation

public void interruptCompilation()

Description copied from class: org.multijava.util.gui.GUI

Allows the user to stop a tool process

Specifications inherited from overridden method in class GUI:
      --- None ---

dirInClassPath

protected boolean dirInClassPath(Options opt,
                                 String dir)

Description copied from class: org.multijava.util.gui.GUI

Returns whether a directory is in a specific classpath in the given options

Specifications inherited from overridden method in class GUI:
      --- None ---

getClasspath

protected String getClasspath(Options opt)

Description copied from class: org.multijava.util.gui.GUI

Returns the classpath property from the MjcCommonOptions instance of opt

Specifications inherited from overridden method in class GUI:
      --- None ---

getSourcepath

protected String getSourcepath(Options opt)

Description copied from class: org.multijava.util.gui.GUI

Returns the sourcepath property from the MjcCommonOptions instance of opt

Specifications inherited from overridden method in class GUI:
      --- None ---

createOpenHandlerInstance

protected org.multijava.util.gui.GUI.OpenHandler createOpenHandlerInstance()

Description copied from class: org.multijava.util.gui.GUI

Returns an instance of OpenHandler specific to the calling subclass

Specifications inherited from overridden method in class GUI:
      --- None ---

createCompilationInstance

protected org.multijava.util.gui.GUI.Compilation createCompilationInstance(String[] files,
                                                                           Options opt,
                                                                           OutputStream os)

Description copied from class: org.multijava.util.gui.GUI

Returns an instance of Compilation specific to the calling subclass

Specifications inherited from overridden method in class GUI:
      --- None ---

getWebpageName

protected String getWebpageName()

Description copied from class: org.multijava.util.gui.GUI

Returns the webpage name specific to the calling subclass

Specifications inherited from overridden method in class GUI:
      --- None ---

getWebpageLocation

protected String getWebpageLocation()

Description copied from class: org.multijava.util.gui.GUI

Returns the webpage location specific to the calling subclass

Specifications inherited from overridden method in class GUI:
      --- None ---

createOutputWindow

protected org.multijava.util.gui.GUIOutputWindow createOutputWindow(InputStream is)

Description copied from class: org.multijava.util.gui.GUI

Returns an instance of an output window for the compilation output

Specifications inherited from overridden method in class GUI:
      --- None ---