PrologPlusCGGUIFrame

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.prologPlusCGGUIs.prologPlusCGGUI
Class PrologPlusCGGUIFrame

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.util.OntologyLanguageFrame
                                  aminePlatform.guis.prologPlusCGGUIs.prologPlusCGGUI.PrologPlusCGGUIFrame

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 PrologPlusCGGUIFrame
extends OntologyLanguageFrame
implements AmineConstants

Title : PrologPlusCGGUIFrame

Description : PrologPlusCGGUIFrame is the main Frame for the GUI of Prolog+CG.

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) ConsoleFrame`	`consoleFrame`
`(package private) PPCGTextPane`	`currPPCGTextPane`
`(package private) int`	`indxCurrPPCGTextPane`
`javax.swing.JMenu`	`menuClose`
`javax.swing.JMenuItem`	`menuCloseCurrTab`
`(package private) javax.swing.JMenu`	`menuConsole`
`(package private) javax.swing.JMenuItem`	`menuConsoleNew`
`(package private) javax.swing.JMenuItem`	`menuConsoleOpen`
`static java.lang.String`	`ppcgDirPath`
`javax.swing.JMenuItem`	`prologPlusCGPrimitives`
`javax.swing.JTabbedPane`	`tbdPnPPCGTextPanes`
`AmineTextEditor`	`txtEditor`
`(package private) static java.lang.String`	`userManualFilePath`

Fields inherited from class aminePlatform.guis.util.OntologyLanguageFrame

menuSetLanguage

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
`PrologPlusCGGUIFrame()`

Method Summary
`(package private) void`	`addNewTab()`
`(package private) void`	`changeOfTabFile(javax.swing.event.ChangeEvent chge)`
`boolean`	`close()`
`boolean`	`closeAllTabs()`
`void`	`closeCurrTab()`
`boolean`	`closeOntology()`
`(package private) void`	`displayPrologPCGPrimitives()`
`PPCGTextPane`	`getCurrentPPCGTextPane()`
`int`	`getFontSize()`
`int`	`getFontStyle()`
`(package private) PPCGTextPane`	`getSelectedPPCGTxtPane()`
`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)` Open a Prolog+CG File in a new Panel
`void`	`menuFileSave_actionPerformed(java.awt.event.ActionEvent e)`
`void`	`menuFileSaveAs_actionPerformed(java.awt.event.ActionEvent e)`
`(package private) void`	`newConsole()`
`(package private) void`	`openConsole()`
`boolean`	`saveAsFile()`
`boolean`	`saveFile()`
`(package private) void`	`setEnabledUIsPPCGFrm(boolean state)`
`void`	`updateCGParameter()`
`void`	`updateIgnoreCaseParameter()`
`void`	`updateMixedLanguageParameter()`
`(package private) void`	`updateUIsCGNotFrmSpec(boolean state)`
`void`	`updateUIsOntology(boolean state)`

Methods inherited from class aminePlatform.guis.util.OntologyLanguageFrame

Methods inherited from class aminePlatform.guis.util.OntologyBasedFrame

runOntologyGUI, setEnabledUIs

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

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

ppcgDirPath

public static java.lang.String ppcgDirPath

indxCurrPPCGTextPane

int indxCurrPPCGTextPane

tbdPnPPCGTextPanes

public javax.swing.JTabbedPane tbdPnPPCGTextPanes

currPPCGTextPane

PPCGTextPane currPPCGTextPane

consoleFrame

ConsoleFrame consoleFrame

txtEditor

public AmineTextEditor txtEditor

prologPlusCGPrimitives

public javax.swing.JMenuItem prologPlusCGPrimitives

menuClose

public javax.swing.JMenu menuClose

menuCloseCurrTab

public javax.swing.JMenuItem menuCloseCurrTab

btCloseCurrTab

public javax.swing.JButton btCloseCurrTab

menuConsole

javax.swing.JMenu menuConsole

menuConsoleNew

javax.swing.JMenuItem menuConsoleNew

menuConsoleOpen

javax.swing.JMenuItem menuConsoleOpen

Constructor Detail