aminePlatform.guis.synergyGUI
Class SynergyGUIFrame

java.lang.Object
  extended byjava.awt.Component
      extended byjava.awt.Container
          extended byjava.awt.Window
              extended byjava.awt.Frame
                  extended byjavax.swing.JFrame
                      extended byaminePlatform.guis.util.AmineFrame
                          extended byaminePlatform.guis.util.OntologyBasedFrame
                              extended byaminePlatform.guis.cgNotationsGUI.CGFrame
                                  extended byaminePlatform.guis.cgDrawingGUI.CGDrawingFrame
                                      extended byaminePlatform.guis.synergyGUI.SynergyGUIFrame
All Implemented Interfaces:
javax.accessibility.Accessible, AmineConstants, CommonUIs, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class SynergyGUIFrame
extends CGDrawingFrame

Title : SynergyGUIFrame

Description : SynergyGUIFrame is the main Frame for the GUI of SYNERGY.

Copyright: Copyright (c) Adil KABBAJ, 2004-2009

See Also:
Serialized Form

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 aminePlatform.util.AmineConstants
ANALOGY, B_ASSIGN, B_DSPLY_WT_DELAY, B_DSPLY_WTT_DELAY, B_TRIGGER, B_WTT_DSPLY, BLOCK_BACKWARD_PROPAGATION, BLOCK_FORWARD_PROPAGATION, CANON, CGIF, CGRAPHIC, CHECK_PRECONDITIONS, COMPARE, COMPOSED_GOAL, CONCEPT_TYPE_IDENT, CONTEXT, COVERED_BY, CPLTE_CONTRACT, DEFINITION, EQ_OR_MORE_SPCFQ, EQUAL, EXPAND, FALSE_FOCUS_LIST, FUNCTIONAL, GENERALISE, GENERALIZE, HAVE_AN_INTERSECTION, ID_ADD, ID_DIV, ID_EQ, ID_INF, ID_IS, ID_MESSAGE, ID_MUL, ID_NOT, ID_NULL, ID_OPER_AND, ID_OPER_OR, ID_SUB, ID_SUP, IN_ACTIVATION, IN_MODE, IN_MODE2, INDIVIDUAL, INDIVIDUAL_IDENT, INTEGRATED, IS_CANONIC, KEY_GLOBAL_RULE, LC_ADD, LC_AMINE_BOOLEAN, LC_AMINE_DOUBLE, LC_AMINE_INTEGER, LC_AND, LC_BOOLEAN, LC_CG, LC_CLOSE_BRKT, LC_CLOSE_PARENT, LC_CLOSE_SET, LC_COMMA, LC_COMMA_SEMI, LC_CONCEPT, LC_CONSTRUCTOR, LC_CS, LC_CUT, LC_DIFF, LC_DIV, LC_DOUBLE, LC_DSBL_BKWRD_PRPGTN, LC_DSBL_FRWRD_PRPGTN, LC_EOF, LC_EQ, LC_FOUR_POINTS, LC_IDENTIFIER, LC_IF, LC_INF, LC_INTEGER, LC_INTEROG, LC_IS, LC_JAVA_OBJECT, LC_LEFT_ARROW, LC_LIST, LC_NULL, LC_OPEN_BRKT, LC_OPEN_PARENT, LC_OPEN_SET, LC_OPER_AND, LC_OPER_OR, LC_POINT, LC_RELATION, LC_RGHT_ARROW, LC_SEMI_COMMA, LC_SET, LC_STAR, LC_STATE, LC_STRING, LC_SUB, LC_SUP, LC_TERM, LC_TWO_POINTS, LC_VAR_LIST_CONSTRUCTOR, LC_VARIABLE, LF, MAXIMAL_JOIN, MORE_GENERAL, MORE_SPECIFIC, NOTHING_TO_INTEGRATE, OPERS_WITH_RSLT, OUT_MODE, OUT_MODE2, PARTIAL_CONTRACT, PARTIAL_SUBSUME, PRJCT_OPERS, PROJECT, READ, READ_SENTENCE, RELATION_TYPE_IDENT, S_AND, S_BOOLEAN, S_CG, S_CLOSE_BRKT, S_CLOSE_PARENT, S_CLOSE_SET, S_COMMA, S_CONCEPT, S_CONSTRUCTOR, S_CUT, S_DIFF, S_DOUBLE, S_EOF, S_EQUAL, S_EXPAND, S_FALSE, S_FOUR_POINTS, S_GENERALISE, S_GENERALIZE, S_IDENTIFIER, S_IF, S_INTEGER, S_INTEROG, S_IS, S_IS_CANONIC, S_LEFT_ARROW, S_LIST, S_MAXIMAL_JOIN, S_OPEN_BRKT, S_OPEN_PARENT, S_OPEN_SET, S_POINT, S_RGHT_ARROW, S_SEMI_COMMA, S_SOURCE, S_SPECIALIZE, S_STATE, S_STRING, S_SUBSUME, S_SUBSUME_WITH_RESULT, S_SUPER, S_TARGET, S_TERM, S_THIS, S_TRUE, S_TWO_POINTS, S_UNIFY, S_VARIABLE, SITUATION, SPECIALIZE, STEADY, SUBSUME, SUBSUME_WITH_RSLT, TRIGGER, UNCOMPARABLE, UNIFY, VAR_SUPER, WAIT_ASSIGNMENT, WAIT_END_OF_ASSIGNMENT, WAIT_PRECONDITIONS, WAIT_VALUE
 
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 aminePlatform.guis.util.AmineFrame
displayUserManual, displyTxtOnt, displyXMLOnt, frameInit, getImageIcon, helpAbout_actionPerformed, loadKB, menuBtFileNew_actionPerformed, menuBtFileOpen_actionPerformed, menuFileClose_actionPerformed, menuFilePrint_actionPerformed, okToAbandon, processWindowEvent, saveAsOntology, saveOntology, selectFile, selectFile, selectFiles, selectFiles, showFrame, updateIgnoreCaseParameter, updateLoadSynOnt, updateMixedLanguageParameter
 
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

jBtChkFuncDep

public javax.swing.JButton jBtChkFuncDep

jBtOnce

public javax.swing.JButton jBtOnce

jBtStpByStp

public javax.swing.JButton jBtStpByStp

jBtFrstStp

public javax.swing.JButton jBtFrstStp

jBtNxtStp

public javax.swing.JButton jBtNxtStp

jBtLstStp

public javax.swing.JButton jBtLstStp

jBtStop

public javax.swing.JButton jBtStop

synergyPrimitives

public javax.swing.JMenuItem synergyPrimitives

mnCanJoinSituation

public javax.swing.JCheckBoxMenuItem mnCanJoinSituation

synergyToolBar

public javax.swing.JToolBar synergyToolBar

canJoinSituation

boolean canJoinSituation

interpreter

public Interpreter interpreter

request

CG request

cgifRequest

java.lang.String cgifRequest

userManualFilePath

static java.lang.String userManualFilePath

synergyDirPath

public static java.lang.String synergyDirPath
Constructor Detail

SynergyGUIFrame

public SynergyGUIFrame()
Method Detail

updateMnCanJoinSituation

public void updateMnCanJoinSituation()

displaySynergyPrimitives

void displaySynergyPrimitives()

updateSynergyUIs

void updateSynergyUIs(boolean mode)
public void setEnabledUIs(boolean mode) { super.setEnabledUIs(mode); if (synergyToolBar != null) synergyToolBar.setVisible(mode); }


Execute_AtOnce

void Execute_AtOnce()

Execute_Syst_StpByStp

void Execute_Syst_StpByStp()

Execute_User_First_Step

void Execute_User_First_Step()

Execute_User_Next_Step

void Execute_User_Next_Step()

stopExecution

void stopExecution()

Execute_User_Last_Step

void Execute_User_Last_Step()

checkFunctionalDependency

void checkFunctionalDependency()

saveAsFile

public boolean saveAsFile()
Overrides:
saveAsFile in class CGFrame

menuFileOpen_actionPerformed

public boolean menuFileOpen_actionPerformed(java.awt.event.ActionEvent e)
Overrides:
menuFileOpen_actionPerformed in class CGDrawingFrame