|
||||||||||
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 CGFrame
public 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 |