keel.GraphInterKeel.menu

Class Frame

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Frame

javax.swing.JFrame

keel.GraphInterKeel.menu.Frame

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class Frame
extends javax.swing.JFrame

Title: Keel

Description: Initial screen

Version:

1.0

Author:

Jesus Alcala Fernandez, Modified by Juan Carlos Fernandez Caballero and Pedro Antonio Gutierrez (University of Córdoba) 7/07/2009, Modified by Ana Palacios Jimenez and Luciano Sanchez Ramos (Univerity of Oviedo), Modified by Isaac Triguer Velázquez (University of Granada) 1/6/2010

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, java.awt.Window.Type

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

Fields

Modifier and Type	Field and Description
static int	buttonPressed EDUCATIONAL KEEL ***************************
java.lang.String	raiz Root directory.

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

Constructors

Constructor and Description
Frame() Frame builder

Method Summary

Modifier and Type	Method and Description
void	accionExit_mouseEntered(java.awt.event.MouseEvent e) Enter in exit button
void	accionExit_mouseExited(java.awt.event.MouseEvent e) Exit from teaching button
void	accionExit_mouseReleased(java.awt.event.MouseEvent e) Exit from the application
void	dataManagement_mouseEntered(java.awt.event.MouseEvent e) Enter in data management button
void	dataManagement_mouseExited(java.awt.event.MouseEvent e) Exit from data management button
void	dataManagement_mouseReleased(java.awt.event.MouseEvent e) Entering in Data Management module
void	experiments_mouseEntered(java.awt.event.MouseEvent e) Enter in experiments button
void	experiments_mouseExited(java.awt.event.MouseEvent e) Exit from experiments button
void	experiments_mouseReleased(java.awt.event.MouseEvent e) Entering in Experiments module
void	experimentsLQD_mouseEntered(java.awt.event.MouseEvent e) Enter in LQD button
void	experimentsLQD_mouseExited(java.awt.event.MouseEvent e) Exit from LQD button
void	experimentsLQD_mouseReleased(java.awt.event.MouseEvent e) Entering in LQD module
void	help_mouseEntered(java.awt.event.MouseEvent e) Enter in help button
void	help_mouseExited(java.awt.event.MouseEvent e) Exit from help button
void	help_mouseReleased(java.awt.event.MouseEvent e) Show main help
void	logotipo_mouseEntered(java.awt.event.MouseEvent e) Entering in KEEL logo
void	logotipo_mouseExited(java.awt.event.MouseEvent e) Exiting from KEEL logo
void	logotipo_mousePressed(java.awt.event.MouseEvent e) Clicking in KEEL logo
void	logotipoSoft_mousePressed(java.awt.event.MouseEvent e) Clicking in software logo
void	modules_mouseEntered(java.awt.event.MouseEvent e) Enter in modules button
void	modules_mouseExited(java.awt.event.MouseEvent e) Exit from modules button
void	modules_mouseReleased(java.awt.event.MouseEvent e) Entering in additional modules
protected void	processWindowEvent(java.awt.event.WindowEvent e)
void	teaching_mouseEntered(java.awt.event.MouseEvent e) Enter in teaching button
void	teaching_mouseExited(java.awt.event.MouseEvent e) Exit from teaching button
void	teaching_mouseReleased(java.awt.event.MouseEvent e) Entering in Educational module

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, 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, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, 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, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, 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, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, 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, 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, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, 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

raiz

public java.lang.String raiz

Root directory.

buttonPressed

public static int buttonPressed

EDUCATIONAL KEEL ***************************

Constructor Detail

Frame

public Frame()

Frame builder

Method Detail

processWindowEvent

protected void processWindowEvent(java.awt.event.WindowEvent e)

Overrides:

processWindowEvent in class javax.swing.JFrame

accionExit_mouseEntered

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

Enter in exit button

Parameters:

e - Event

accionExit_mouseExited

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

Exit from teaching button

Parameters:

e - Event

accionExit_mouseReleased

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

Exit from the application

Parameters:

e - Event

dataManagement_mouseEntered

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

Enter in data management button

Parameters:

e - Event

dataManagement_mouseExited

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

Exit from data management button

Parameters:

e - Event

help_mouseEntered

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

Enter in help button

Parameters:

e - Event

help_mouseExited

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

Exit from help button

Parameters:

e - Event

experiments_mouseEntered

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

Enter in experiments button

Parameters:

e - Event

experiments_mouseExited

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

Exit from experiments button

Parameters:

e - Event

experimentsLQD_mouseEntered

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

Enter in LQD button

Parameters:

e - Event

experimentsLQD_mouseExited

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

Exit from LQD button

Parameters:

e - Event

modules_mouseEntered

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

Enter in modules button

Parameters:

e - Event

modules_mouseExited

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

Exit from modules button

Parameters:

e - Event

teaching_mouseEntered

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

Enter in teaching button

Parameters:

e - Event

teaching_mouseExited

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

Exit from teaching button

Parameters:

e - Event

dataManagement_mouseReleased

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

Entering in Data Management module

Parameters:

e - Event

help_mouseReleased

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

Show main help

Parameters:

e - Event

experiments_mouseReleased

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

Entering in Experiments module

Parameters:

e - Event

modules_mouseReleased

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

Entering in additional modules

Parameters:

e - Event

experimentsLQD_mouseReleased

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

Entering in LQD module

Parameters:

e - Event

teaching_mouseReleased

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

Entering in Educational module

Parameters:

e - Event

logotipo_mouseEntered

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

Entering in KEEL logo

Parameters:

e - Event

logotipo_mouseExited

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

Exiting from KEEL logo

Parameters:

e - Event

logotipo_mousePressed

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

Clicking in KEEL logo

Parameters:

e - Event

logotipoSoft_mousePressed

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

Clicking in software logo

Parameters:

e - Event