aminePlatform.guis.cgNotationsGUI
Class CGGraphicEditor

java.lang.Object
  extended byjava.awt.Component
      extended byjava.awt.Container
          extended byjavax.swing.JComponent
              extended byjavax.swing.JPanel
                  extended byaminePlatform.guis.cgNotationsGUI.CGEditor
                      extended byaminePlatform.guis.cgNotationsGUI.CGGraphicEditor
All Implemented Interfaces:
javax.accessibility.Accessible, AmineConstants, java.awt.image.ImageObserver, MainFrame, java.awt.MenuContainer, java.io.Serializable

public class CGGraphicEditor
extends CGEditor
implements AmineConstants, MainFrame

Title: guis.cgNotationsGUI.CGGraphicEditor class

Description: CGGraphicEditor extends CGEditor and implement CG Graphic Editor functions.

Copyright : Copyright (c) Adil KABBAJ 2004-2009

See Also:
Serialized Form

Nested Class Summary
 
Nested classes inherited from class javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
 
Nested classes inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
 
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
 AmineCGDrawEditor cgDrawEditor
           
 CommonUIs commonUIs
           
 javax.swing.JDesktopPane desktop
          Attributes used for handling CG Drawing
 HierarchyWndCG hierWndGC
           
 VisualGraph mainVisualGraph
           
 
Fields inherited from class aminePlatform.guis.cgNotationsGUI.CGEditor
alreadyGenerated, cgEditor, tbdPneCGEditors
 
Fields inherited from class javax.swing.JComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_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 java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
CGGraphicEditor(CommonUIs commonUIs)
           
CGGraphicEditor(TbdPneCGEditors tbdPneCGEditors, byte cgEdtr)
           
 
Method Summary
 void addChild(GraphDrawFrame frame, GraphDrawFrame newChild)
           
static boolean cgWithDrawingInf(CG cg)
          Check that all elements of the CG have drawing information.
 void clearContent()
           
 void closeFrame(GraphDrawFrame graphDrawFrame, boolean andDescendant)
          NEW: TO INTEGRATE CG Drawing Possibilites
 void File_Save()
           
 void finalize()
           
 void generate()
           
 java.util.ArrayList getChildrenOf(GraphDrawFrame graphDrawFrame)
           
 GraphDrawFrame getCurrentGraphDrawFrame()
           
 javax.swing.JDesktopPane getDeskTop()
           
 javax.swing.JDesktopPane getDeskTopBrowser()
           
 java.awt.Graphics getGraphics2()
           
 HierarchyWndCG getHierarchyWndCG()
           
 GraphDrawContainer getNewGraphDrawContainer(GraphDrawFrame frame, Lexicon lexicon)
           
 void init(Lexicon lexicon)
           
 boolean isEmpty()
           
 void onCopy()
           
 void onCut()
           
 void onEditEdge()
           
 void onEditNode()
           
 void onPaste()
           
 void parse()
           
 void parse(AmineList newTypes)
           
 void repaintMainFrame()
           
 void setCurrentGraphDrawFrame(GraphDrawFrame graphDrawFrame)
           
(package private)  void setFocus()
           
 void setHierarchyWndCG(HierarchyWndCG hierWndCG)
           
 void setLexicon(Lexicon lexicon)
           
 void updateMenuItems()
           
 void updateMenuItems1And2(boolean mode)
           
 
Methods inherited from class aminePlatform.guis.cgNotationsGUI.CGEditor
getCurrCGEditors, getLanguage, getLexicon, getTbdPneLanguages, setFilePath
 
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getPropertyChangeListeners, getPropertyChangeListeners, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFont, setForeground, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setLayout, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

cgDrawEditor

public AmineCGDrawEditor cgDrawEditor

commonUIs

public CommonUIs commonUIs

desktop

public javax.swing.JDesktopPane desktop
Attributes used for handling CG Drawing


mainVisualGraph

public VisualGraph mainVisualGraph

hierWndGC

public HierarchyWndCG hierWndGC
Constructor Detail

CGGraphicEditor

public CGGraphicEditor(CommonUIs commonUIs)

CGGraphicEditor

public CGGraphicEditor(TbdPneCGEditors tbdPneCGEditors,
                       byte cgEdtr)
Method Detail

init

public void init(Lexicon lexicon)

finalize

public void finalize()

setFocus

void setFocus()

isEmpty

public boolean isEmpty()
Specified by:
isEmpty in class CGEditor

clearContent

public void clearContent()
Specified by:
clearContent in class CGEditor

parse

public void parse()
           throws java.lang.Exception
Specified by:
parse in class CGEditor
Throws:
java.lang.Exception

parse

public void parse(AmineList newTypes)
           throws java.lang.Exception
Specified by:
parse in class CGEditor
Throws:
java.lang.Exception

generate

public void generate()
              throws java.lang.Exception
Specified by:
generate in class CGEditor
Throws:
java.lang.Exception

setLexicon

public void setLexicon(Lexicon lexicon)
Overrides:
setLexicon in class CGEditor

cgWithDrawingInf

public static boolean cgWithDrawingInf(CG cg)
Check that all elements of the CG have drawing information.

Parameters:
cg -
Returns:
true if all elements of the CG have drawing information.

getGraphics2

public java.awt.Graphics getGraphics2()

closeFrame

public void closeFrame(GraphDrawFrame graphDrawFrame,
                       boolean andDescendant)
NEW: TO INTEGRATE CG Drawing Possibilites

Specified by:
closeFrame in interface MainFrame

getHierarchyWndCG

public HierarchyWndCG getHierarchyWndCG()
Specified by:
getHierarchyWndCG in interface MainFrame

setHierarchyWndCG

public void setHierarchyWndCG(HierarchyWndCG hierWndCG)
Specified by:
setHierarchyWndCG in interface MainFrame

getChildrenOf

public java.util.ArrayList getChildrenOf(GraphDrawFrame graphDrawFrame)
Specified by:
getChildrenOf in interface MainFrame

getDeskTop

public javax.swing.JDesktopPane getDeskTop()
Specified by:
getDeskTop in interface MainFrame

getDeskTopBrowser

public javax.swing.JDesktopPane getDeskTopBrowser()
Specified by:
getDeskTopBrowser in interface MainFrame

addChild

public void addChild(GraphDrawFrame frame,
                     GraphDrawFrame newChild)
Specified by:
addChild in interface MainFrame

getNewGraphDrawContainer

public GraphDrawContainer getNewGraphDrawContainer(GraphDrawFrame frame,
                                                   Lexicon lexicon)
Specified by:
getNewGraphDrawContainer in interface MainFrame

getCurrentGraphDrawFrame

public GraphDrawFrame getCurrentGraphDrawFrame()
Specified by:
getCurrentGraphDrawFrame in interface MainFrame

setCurrentGraphDrawFrame

public void setCurrentGraphDrawFrame(GraphDrawFrame graphDrawFrame)
Specified by:
setCurrentGraphDrawFrame in interface MainFrame

repaintMainFrame

public void repaintMainFrame()
Specified by:
repaintMainFrame in interface MainFrame

updateMenuItems

public void updateMenuItems()
Specified by:
updateMenuItems in interface MainFrame

updateMenuItems1And2

public void updateMenuItems1And2(boolean mode)
Specified by:
updateMenuItems1And2 in interface MainFrame

File_Save

public void File_Save()
Specified by:
File_Save in interface MainFrame

onCut

public void onCut()
Specified by:
onCut in interface MainFrame

onCopy

public void onCopy()
Specified by:
onCopy in interface MainFrame

onPaste

public void onPaste()
Specified by:
onPaste in interface MainFrame

onEditNode

public void onEditNode()
Specified by:
onEditNode in interface MainFrame

onEditEdge

public void onEditEdge()
Specified by:
onEditEdge in interface MainFrame