Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

aminePlatform.guis.cgOperationsGUI
Class CGOperationsGUIFrame

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.cgOperationsGUI.CGOperationsGUIFrame
All Implemented Interfaces:
javax.accessibility.Accessible, AmineConstants, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants
public class CGOperationsGUIFrame
extends CGFrame
implements AmineConstants

Title: guis.util.CGOperationsGUIFrame class

Description: It extends CGFrame by offering a GUI suited for testing CG operations. CGOperationsGUIFrame is composed of two nested split-pane: the top pane is itself a split-pane for the edition of the two input CGs, and the bottom pane is for the output CG. Buttons for CG operations are also specified in the bottom pane. The three panels for the three CGs are instances of MMCGEditorsOperPnl which is a container for TbdPneLanguages.

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)  javax.swing.JButton btAnalogy
           
(package private)  javax.swing.JButton btCompare
           
(package private)  javax.swing.JButton btContract
           
(package private)  javax.swing.JButton btCoveredBy
           
(package private)  javax.swing.JButton btEqual
           
(package private)  javax.swing.JButton btExpand
           
(package private)  javax.swing.JButton btGeneralize
           
(package private)  javax.swing.JButton btIsCanonic
           
(package private)  javax.swing.JButton btMaxJoin
           
(package private)  javax.swing.JButton btSubsume
           
(package private)  javax.swing.JButton btSubsumeWthRslt
           
(package private)  CGOperations cgOper
           
(package private)  CGOperations cgOperWttAnimation
           
(package private)  java.awt.Checkbox chkBoxContinuesAnimation
           
(package private)  java.awt.Checkbox chkBoxNoAnimation
           
(package private)  java.awt.Checkbox chkBoxStpByStpAnimation
           
(package private)  java.awt.CheckboxGroup chkBxGroup
           
(package private)  javax.swing.JCheckBoxMenuItem chkBxMnItemContinuesAnimation
           
(package private)  javax.swing.JCheckBoxMenuItem chkBxMnItemStpByStpAnimation
           
(package private)  javax.swing.JSplitPane jSpltPane1
           
(package private)  javax.swing.JSplitPane jSpltPane2
           
(package private)  javax.swing.JMenu menuAnimation
           
(package private)  javax.swing.JMenu menuCGOprs
           
(package private)  javax.swing.JMenuItem menuCGOprsContract
           
(package private)  javax.swing.JMenuItem menuCGOprsEqual
           
(package private)  javax.swing.JMenuItem menuCGOprsExpand
           
(package private)  javax.swing.JMenuItem menuCGOprsGnrlze
           
(package private)  javax.swing.JMenuItem menuCGOprsIsCanonic
           
(package private)  javax.swing.JMenuItem menuCGOprsMaxJoin
           
(package private)  javax.swing.JMenuItem menuCGOprsSubsume
           
(package private)  javax.swing.JMenuItem menuCGOprsSubsumeWthRslt
           
(package private)  javax.swing.JMenuItem menuEditClear
           
(package private)  javax.swing.JMenuItem menuEditClearAll
           
 MMCGEditorsOperPnl mmCGEdtrsPnlInG1
           
 MMCGEditorsOperPnl mmCGEdtrsPnlInG2
           
 MMCGEditorsOperPnl mmCGEdtrsPnlOutG
           
(package private)  javax.swing.JPanel pnlBtOut
           
(package private) static java.lang.String userManualFilePath
           
 
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
CGOperationsGUIFrame()
           
 
Method Summary
 boolean close()
           
 boolean closeOntology()
           
(package private)  void create3mmCGEdtrsPnls()
           
(package private)  void doCGOper(byte operCG)
           
 boolean loadOntology()
          public boolean loadOntology(String filePath) { if (filePath == null) return false; this.filePath = filePath; return loadOntologyBis(); }
(package private)  void menuEditClear_actionPerformed(java.awt.event.ActionEvent e)
           
(package private)  void menuEditClearAll_actionPerformed(java.awt.event.ActionEvent e)
           
 void setEnabledUIs(boolean state)
          public void setEnabledAllUIs(boolean state) { this.menuFile.setEnabled(state); this.toolBarFile.setVisible(state); if (this.cgGUIs !
(package private)  void setEnabledUIsCGOperFrm(boolean state)
           
 void updateCGParameter()
           
 
Methods inherited from class aminePlatform.guis.cgNotationsGUI.CGFrame
getCurrEditor, menuFileNew_actionPerformed, menuFileOpen_actionPerformed, menuFileSave_actionPerformed, menuFileSaveAs_actionPerformed, saveAsFile, saveFile
 
Methods inherited from class aminePlatform.guis.util.OntologyBasedFrame
runOntologyGUI, updateUIsOntology
 
Methods inherited from class aminePlatform.guis.util.AmineFrame
displayUserManual, displyTxtOnt, displyXMLOnt, frameInit, getImageIcon, helpAbout_actionPerformed, loadKB, menuBtFileNew_actionPerformed, menuBtFileOpen_actionPerformed, menuFileClose_actionPerformed, menuFileExit_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

userManualFilePath

static java.lang.String userManualFilePath

mmCGEdtrsPnlInG1

public MMCGEditorsOperPnl mmCGEdtrsPnlInG1

mmCGEdtrsPnlInG2

public MMCGEditorsOperPnl mmCGEdtrsPnlInG2

mmCGEdtrsPnlOutG

public MMCGEditorsOperPnl mmCGEdtrsPnlOutG

pnlBtOut

javax.swing.JPanel pnlBtOut

jSpltPane2

javax.swing.JSplitPane jSpltPane2

jSpltPane1

javax.swing.JSplitPane jSpltPane1

menuEditClear

javax.swing.JMenuItem menuEditClear

menuEditClearAll

javax.swing.JMenuItem menuEditClearAll

btEqual

javax.swing.JButton btEqual

btMaxJoin

javax.swing.JButton btMaxJoin

btGeneralize

javax.swing.JButton btGeneralize

btSubsume

javax.swing.JButton btSubsume

btSubsumeWthRslt

javax.swing.JButton btSubsumeWthRslt

btAnalogy

javax.swing.JButton btAnalogy

btCompare

javax.swing.JButton btCompare

btCoveredBy

javax.swing.JButton btCoveredBy

btIsCanonic

javax.swing.JButton btIsCanonic

btExpand

javax.swing.JButton btExpand

btContract

javax.swing.JButton btContract

chkBxGroup

java.awt.CheckboxGroup chkBxGroup

chkBoxNoAnimation

java.awt.Checkbox chkBoxNoAnimation

chkBoxContinuesAnimation

java.awt.Checkbox chkBoxContinuesAnimation

chkBoxStpByStpAnimation

java.awt.Checkbox chkBoxStpByStpAnimation

cgOperWttAnimation

CGOperations cgOperWttAnimation

cgOper

CGOperations cgOper

menuAnimation

javax.swing.JMenu menuAnimation

chkBxMnItemContinuesAnimation

javax.swing.JCheckBoxMenuItem chkBxMnItemContinuesAnimation

chkBxMnItemStpByStpAnimation

javax.swing.JCheckBoxMenuItem chkBxMnItemStpByStpAnimation

menuCGOprs

javax.swing.JMenu menuCGOprs

menuCGOprsEqual

javax.swing.JMenuItem menuCGOprsEqual

menuCGOprsMaxJoin

javax.swing.JMenuItem menuCGOprsMaxJoin

menuCGOprsGnrlze

javax.swing.JMenuItem menuCGOprsGnrlze

menuCGOprsSubsume

javax.swing.JMenuItem menuCGOprsSubsume

menuCGOprsSubsumeWthRslt

javax.swing.JMenuItem menuCGOprsSubsumeWthRslt

menuCGOprsExpand

javax.swing.JMenuItem menuCGOprsExpand

menuCGOprsContract

javax.swing.JMenuItem menuCGOprsContract

menuCGOprsIsCanonic

javax.swing.JMenuItem menuCGOprsIsCanonic
Constructor Detail

CGOperationsGUIFrame

public CGOperationsGUIFrame()
Method Detail

create3mmCGEdtrsPnls

void create3mmCGEdtrsPnls()

setEnabledUIs

public void setEnabledUIs(boolean state)
Description copied from class: OntologyBasedFrame
public void setEnabledAllUIs(boolean state) { this.menuFile.setEnabled(state); this.toolBarFile.setVisible(state); if (this.cgGUIs != null) cgGUIs.menuParameters.setEnabled(state); if (this.amineEditorsUIs != null) amineEditorsUIs.setEnabledUIs(state); }

Overrides:
setEnabledUIs in class OntologyBasedFrame

setEnabledUIsCGOperFrm

void setEnabledUIsCGOperFrm(boolean state)

menuEditClear_actionPerformed

void menuEditClear_actionPerformed(java.awt.event.ActionEvent e)

menuEditClearAll_actionPerformed

void menuEditClearAll_actionPerformed(java.awt.event.ActionEvent e)

loadOntology

public boolean loadOntology()
Description copied from class: AmineFrame
public boolean loadOntology(String filePath) { if (filePath == null) return false; this.filePath = filePath; return loadOntologyBis(); }

Overrides:
loadOntology in class OntologyBasedFrame

close

public boolean close()
Overrides:
close in class CGFrame

closeOntology

public boolean closeOntology()
Overrides:
closeOntology in class OntologyBasedFrame

updateCGParameter

public void updateCGParameter()

doCGOper

void doCGOper(byte operCG)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD