aminePlatform.guis.cgNotationsGUI
Class CGNotationsGUIFrame

java.lang.Object
  java.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.cgNotationsGUI.CGNotationsGUIFrame

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 CGNotationsGUIFrame

extends CGFrame

implements AmineConstants

Title: guis.cgNotationsGUI.CGNotationsGUIFrame class

Description: CGNotations GUI Frame extends CGFrame and provides a GUI for a multi-documents, multi-lingua, and multi-notations CG Editors.

Multi-documents: it provides a tabbed pane, one panel per CG file,

Multi-lingua: for one CG file, we provide a tabbed pane, one panel per language of the ontology

Multi-Notations: for one CG file and one language, we provide a tabbed pane, one panel per CG notation (LF, CGIF, Graphic)

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

javax.swing.JButton	btCloseCurrTab
(package private) java.lang.String	cgNotationsLogo
(package private) TbdPneCGEditors	currEditors
(package private) int	indxCurrTbdFile
(package private) javax.swing.JTabbedPane	jTbdPn1CGFiles
javax.swing.JMenu	menuClose
javax.swing.JMenuItem	menuCloseCurrTab
javax.swing.JMenuItem	mnCGPreview
(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

CGNotationsGUIFrame()

Method Summary

(package private) void	addNewTab()
(package private) void	changeOfTabFile(javax.swing.event.ChangeEvent chge)
boolean	close()
boolean	closeAllTabs()
void	closeCurrTab()
boolean	closeOntology()
boolean	loadOntology() public boolean loadOntology(String filePath) { if (filePath == null) return false; this.filePath = filePath; return loadOntologyBis(); }
void	menuFileNew_actionPerformed(java.awt.event.ActionEvent e)
boolean	menuFileOpen_actionPerformed(java.awt.event.ActionEvent e)
void	onCGPreview() public void updateMixedLanguageParameter() { super.updateMixedLanguageParameter(); TbdPneLanguages tbdLangs = (TbdPneLanguages) jTbdPn1CGFiles.getSelectedComponent(); if (tbdLangs !
boolean	saveAsFile()
(package private) void	setEnabledUIsCGNotaFrm(boolean state)
(package private) void	updateUIsCGNotFrmSpec(boolean state)

Methods inherited from class aminePlatform.guis.cgNotationsGUI.CGFrame

getCurrEditor, menuFileSave_actionPerformed, menuFileSaveAs_actionPerformed, saveFile

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, 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

indxCurrTbdFile

int indxCurrTbdFile

jTbdPn1CGFiles

javax.swing.JTabbedPane jTbdPn1CGFiles

currEditors

TbdPneCGEditors currEditors

userManualFilePath

static java.lang.String userManualFilePath

menuClose

public javax.swing.JMenu menuClose

menuCloseCurrTab

public javax.swing.JMenuItem menuCloseCurrTab

btCloseCurrTab

public javax.swing.JButton btCloseCurrTab

mnCGPreview

public javax.swing.JMenuItem mnCGPreview

cgNotationsLogo

java.lang.String cgNotationsLogo

Constructor Detail

CGNotationsGUIFrame

public CGNotationsGUIFrame()

Method Detail

onCGPreview

public void onCGPreview()

public void updateMixedLanguageParameter() { super.updateMixedLanguageParameter(); TbdPneLanguages tbdLangs = (TbdPneLanguages) jTbdPn1CGFiles.getSelectedComponent(); if (tbdLangs != null) tbdLangs.change = true; } public void updateIgnoreCaseParameter() { super.updateIgnoreCaseParameter(); TbdPneLanguages tbdLangs = (TbdPneLanguages) jTbdPn1CGFiles.getSelectedComponent(); if (tbdLangs != null) tbdLangs.change = true; } public void updateCGParameter() { TbdPneLanguages tbdLangs = (TbdPneLanguages) jTbdPn1CGFiles.getSelectedComponent(); if (tbdLangs != null) tbdLangs.change = true; }

menuFileNew_actionPerformed

public void menuFileNew_actionPerformed(java.awt.event.ActionEvent e)

Overrides:

menuFileNew_actionPerformed in class CGFrame

updateUIsCGNotFrmSpec

void updateUIsCGNotFrmSpec(boolean state)

setEnabledUIsCGNotaFrm

void setEnabledUIsCGNotaFrm(boolean state)

addNewTab

void addNewTab()

menuFileOpen_actionPerformed

public boolean menuFileOpen_actionPerformed(java.awt.event.ActionEvent e)

Overrides:

menuFileOpen_actionPerformed in class CGFrame

close

public boolean close()

Overrides:

close in class CGFrame

closeCurrTab

public void closeCurrTab()

closeAllTabs

public boolean closeAllTabs()

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

closeOntology

public boolean closeOntology()

Overrides:

closeOntology in class OntologyBasedFrame

saveAsFile

public boolean saveAsFile()

Overrides:

saveAsFile in class CGFrame

changeOfTabFile

void changeOfTabFile(javax.swing.event.ChangeEvent chge)