Raptor
Class View

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      Raptor.View

All Implemented Interfaces:

java.awt.event.ActionListener, java.awt.event.FocusListener, java.awt.event.MouseListener, java.awt.event.WindowListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class View
extends javax.swing.JFrame
implements java.awt.event.ActionListener, java.awt.event.MouseListener, java.awt.event.WindowListener, java.awt.event.FocusListener

View is a specialisation of JFrame, so when you create an instance of View, a new JFrame is created.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Nested classes/interfaces inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes/interfaces inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

java.lang.String	AutoPrecondition
ParseInputController	controller
static boolean	showBrackets

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

View(ParseInputController pController)
Creates a new window.

Method Summary

void	actionPerformed(java.awt.event.ActionEvent pEvent) Handles actions carried out in Pandora.
void	addProofWindow(java.lang.String pTitle) Creates a new tab with specified title for proof window
void	applyFont(javax.swing.JComponent pJComponent, java.lang.String pSize) Sets the font size of given component
void	changeFontSize(int pChange) Changes the size of font in View
void	focusGained(java.awt.event.FocusEvent arg0)
void	focusLost(java.awt.event.FocusEvent e)
void	mouseClicked(java.awt.event.MouseEvent e) Responds to a ProofItem with a mouse listener being clicked.
void	mouseEntered(java.awt.event.MouseEvent e) Responds to an object with a mouse listener when a mouse over occurs.
void	mouseExited(java.awt.event.MouseEvent e) Responds to an object with a mouse listener when a mouse over occurs.
void	mousePressed(java.awt.event.MouseEvent e) Responds to an object with a mouse listener being clicked.
void	mouseReleased(java.awt.event.MouseEvent e) Responds to an object with a mouse listener being clicked.
void	removeProofWindow() Removes the current ProofWindow tab
void	resetFontSize() Resets all of the font sizes in View
void	saveMethod(java.lang.String pFilename) Serialises the method definition to the given file location.
void	windowActivated(java.awt.event.WindowEvent arg0)
void	windowClosed(java.awt.event.WindowEvent arg0)
void	windowClosing(java.awt.event.WindowEvent arg0)
void	windowDeactivated(java.awt.event.WindowEvent arg0)
void	windowDeiconified(java.awt.event.WindowEvent arg0)
void	windowIconified(java.awt.event.WindowEvent arg0)
void	windowOpened(java.awt.event.WindowEvent arg0)

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update

Methods inherited from class java.awt.Frame

addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, 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, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setVisible, 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, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, 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, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, 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, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

controller

public ParseInputController controller

AutoPrecondition

public java.lang.String AutoPrecondition

showBrackets

public static boolean showBrackets

Constructor Detail

View

public View(ParseInputController pController)

Creates a new window.

Parameters:

pController - this View's associated Controller

Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent pEvent)

Handles actions carried out in Pandora.

Specified by:

actionPerformed in interface java.awt.event.ActionListener

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)

Responds to a ProofItem with a mouse listener being clicked.

Specified by:

mouseClicked in interface java.awt.event.MouseListener

Parameters:

e - the object with a mouse listener that was clicked

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent e)

Responds to an object with a mouse listener when a mouse over occurs.

Specified by:

mouseEntered in interface java.awt.event.MouseListener

Parameters:

e - the object with a mouse listener

mouseExited

public void mouseExited(java.awt.event.MouseEvent e)

Responds to an object with a mouse listener when a mouse over occurs.

Specified by:

mouseExited in interface java.awt.event.MouseListener

Parameters:

e - the object with a mouse listener

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Responds to an object with a mouse listener being clicked.

Specified by:

mousePressed in interface java.awt.event.MouseListener

Parameters:

e - the object with a mouse listener that was clicked

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)

Responds to an object with a mouse listener being clicked.

Specified by:

mouseReleased in interface java.awt.event.MouseListener

Parameters:

e - the object with a mouse listener that was clicked

addProofWindow

public void addProofWindow(java.lang.String pTitle)

Creates a new tab with specified title for proof window

Parameters:

pTitle - title of ProofWindow tab

removeProofWindow

public void removeProofWindow()

Removes the current ProofWindow tab

resetFontSize

public void resetFontSize()

Resets all of the font sizes in View

changeFontSize

public void changeFontSize(int pChange)

Changes the size of font in View

Parameters:

pChange - value to decrease/increase the font size

applyFont

public void applyFont(javax.swing.JComponent pJComponent,
                      java.lang.String pSize)

Sets the font size of given component

Parameters:

pJComponent - component which will have its font size set

pSize - "large", "medium"

windowActivated

public void windowActivated(java.awt.event.WindowEvent arg0)

Specified by:

windowActivated in interface java.awt.event.WindowListener

windowClosed

public void windowClosed(java.awt.event.WindowEvent arg0)

Specified by:

windowClosed in interface java.awt.event.WindowListener

windowClosing

public void windowClosing(java.awt.event.WindowEvent arg0)

Specified by:

windowClosing in interface java.awt.event.WindowListener

windowDeactivated

public void windowDeactivated(java.awt.event.WindowEvent arg0)

Specified by:

windowDeactivated in interface java.awt.event.WindowListener

windowDeiconified

public void windowDeiconified(java.awt.event.WindowEvent arg0)

Specified by:

windowDeiconified in interface java.awt.event.WindowListener

windowIconified

public void windowIconified(java.awt.event.WindowEvent arg0)

Specified by:

windowIconified in interface java.awt.event.WindowListener

windowOpened

public void windowOpened(java.awt.event.WindowEvent arg0)

Specified by:

windowOpened in interface java.awt.event.WindowListener

saveMethod

public void saveMethod(java.lang.String pFilename)

Serialises the method definition to the given file location.

Parameters:

pFilename - destination of saved file

focusGained

public void focusGained(java.awt.event.FocusEvent arg0)

Specified by:

focusGained in interface java.awt.event.FocusListener

focusLost

public void focusLost(java.awt.event.FocusEvent e)

Specified by:

focusLost in interface java.awt.event.FocusListener