|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
aminePlatform.guis.util.AmineFrame
aminePlatform.guis.util.OntologyBasedFrame
aminePlatform.guis.cgNotationsGUI.CGFrame
aminePlatform.guis.cgDrawingGUI.CGDrawingFrame
aminePlatform.guis.synergyGUI.SynergyGUIFrame
Title : SynergyGUIFrame
Description : SynergyGUIFrame is the main Frame for the GUI of SYNERGY.
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
| Nested Class Summary |
| Nested classes inherited from class javax.swing.JFrame |
javax.swing.JFrame.AccessibleJFrame |
| Nested classes inherited from class java.awt.Frame |
java.awt.Frame.AccessibleAWTFrame |
| Nested classes inherited from class java.awt.Window |
java.awt.Window.AccessibleAWTWindow |
| Nested classes inherited from class java.awt.Container |
java.awt.Container.AccessibleAWTContainer |
| Nested classes inherited from class java.awt.Component |
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
| Field Summary | |
(package private) boolean |
canJoinSituation
|
(package private) java.lang.String |
cgifRequest
|
Interpreter |
interpreter
|
javax.swing.JButton |
jBtChkFuncDep
|
javax.swing.JButton |
jBtFrstStp
|
javax.swing.JButton |
jBtLstStp
|
javax.swing.JButton |
jBtNxtStp
|
javax.swing.JButton |
jBtOnce
|
javax.swing.JButton |
jBtStop
|
javax.swing.JButton |
jBtStpByStp
|
javax.swing.JCheckBoxMenuItem |
mnCanJoinSituation
|
(package private) CG |
request
|
static java.lang.String |
synergyDirPath
|
javax.swing.JMenuItem |
synergyPrimitives
|
javax.swing.JToolBar |
synergyToolBar
|
(package private) static java.lang.String |
userManualFilePath
|
| Fields inherited from class aminePlatform.guis.cgDrawingGUI.CGDrawingFrame |
cgGraphicEditor, menuSetLanguage |
| Fields inherited from class aminePlatform.guis.cgNotationsGUI.CGFrame |
cgDirPath, fileName |
| Fields inherited from class aminePlatform.guis.util.OntologyBasedFrame |
menuOntClose, menuOntLoad, menuOntology, menuOntRun, menuOntSave, menuOntSaveAs |
| Fields inherited from class aminePlatform.guis.util.AmineFrame |
amine2DirPath, amineEditorsUIs, amineLogo, aminePlatformDirPath, borderLayout1, btCloseFile, btHelp, btNewFile, btOpenFile, btSaveFile, cgGUIs, contentPane, currentLexicon, debugFrame, dlg, fileChange, filePath, FONT_DIALOG_1_12, kbDirPath, menuBar, menuDisplay, menuFile, menuFileClose, menuFileExit, menuFileNew, menuFileOpen, menuFilePrint, menuFileSave, menuFileSaveAs, menuHelp, menuParameters, menuParamIgnoreCase, menuParamLoadSynOnt, menuParamMixedLanguage, ontology, ontologyDirPath, statusBar, titleFrame, toolBar, toolBarFile, txtDsplyOntFrm, untitled, userManual, xmlDsplyOntFrm |
| 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 | |
SynergyGUIFrame()
|
|
| Method Summary | |
(package private) void |
checkFunctionalDependency()
|
(package private) void |
displaySynergyPrimitives()
|
(package private) void |
Execute_AtOnce()
|
(package private) void |
Execute_Syst_StpByStp()
|
(package private) void |
Execute_User_First_Step()
|
(package private) void |
Execute_User_Last_Step()
|
(package private) void |
Execute_User_Next_Step()
|
boolean |
menuFileOpen_actionPerformed(java.awt.event.ActionEvent e)
|
boolean |
saveAsFile()
|
(package private) void |
stopExecution()
|
void |
updateMnCanJoinSituation()
|
(package private) void |
updateSynergyUIs(boolean mode)
public void setEnabledUIs(boolean mode) { super.setEnabledUIs(mode); if (synergyToolBar ! |
| Methods inherited from class aminePlatform.guis.cgDrawingGUI.CGDrawingFrame |
close, closeOntology, getAmineEditorUIs, getCGUIs, getChange, getLexicon, loadOntology, menuFileExit_actionPerformed, menuFileNew_actionPerformed, saveFile, setChange |
| Methods inherited from class aminePlatform.guis.cgNotationsGUI.CGFrame |
getCurrEditor, menuFileSave_actionPerformed, menuFileSaveAs_actionPerformed |
| Methods inherited from class aminePlatform.guis.util.OntologyBasedFrame |
runOntologyGUI, setEnabledUIs, updateUIsOntology |
| Methods inherited from class javax.swing.JFrame |
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, 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 |
public javax.swing.JButton jBtChkFuncDep
public javax.swing.JButton jBtOnce
public javax.swing.JButton jBtStpByStp
public javax.swing.JButton jBtFrstStp
public javax.swing.JButton jBtNxtStp
public javax.swing.JButton jBtLstStp
public javax.swing.JButton jBtStop
public javax.swing.JMenuItem synergyPrimitives
public javax.swing.JCheckBoxMenuItem mnCanJoinSituation
public javax.swing.JToolBar synergyToolBar
boolean canJoinSituation
public Interpreter interpreter
CG request
java.lang.String cgifRequest
static java.lang.String userManualFilePath
public static java.lang.String synergyDirPath
| Constructor Detail |
public SynergyGUIFrame()
| Method Detail |
public void updateMnCanJoinSituation()
void displaySynergyPrimitives()
void updateSynergyUIs(boolean mode)
void Execute_AtOnce()
void Execute_Syst_StpByStp()
void Execute_User_First_Step()
void Execute_User_Next_Step()
void stopExecution()
void Execute_User_Last_Step()
void checkFunctionalDependency()
public boolean saveAsFile()
saveAsFile in class CGFramepublic boolean menuFileOpen_actionPerformed(java.awt.event.ActionEvent e)
menuFileOpen_actionPerformed in class CGDrawingFrame
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||