aminePlatform.guis.prologPlusCGGUIs.console
Class ConsoleFrame

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      aminePlatform.guis.prologPlusCGGUIs.console.ConsoleFrame

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class ConsoleFrame

extends javax.swing.JFrame

Title : ConsoleFrame class

Description : ConsoleFrame of Prolog+CG.

ConsoleFrame can be lunched directly or from the Prolog+CG IDE. If it is lunched alone, the user has to specify the Prolog+CG programs to load with the Prolog+CG primitive consult(ListOfProgramFils), the ontology with the Prolog+CG primitive setOntology(ontologyFile), the language with the primitive setLanguage(language), the debug mode with the primitive setDebug(boolean). NEW: Console Frame is similar to Amzi Listener Frame 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

AmineTextEditor	amineTxtEditor
(package private) java.io.File	consoleFile
(package private) int	currPosition
boolean	debug
Interpreter	interpreter
(package private) InterpreterThread	interpreterThread
(package private) javax.swing.JCheckBoxMenuItem	jChkBxMnItm14
(package private) javax.swing.JCheckBoxMenuItem	jChkBxMnItm16
javax.swing.JCheckBoxMenuItem	jChkBxMnItm18
(package private) javax.swing.JCheckBoxMenuItem	jChkBxMnItm20
(package private) javax.swing.JCheckBoxMenuItem	jChkBxMnItmBld
(package private) javax.swing.JMenuBar	menuBar
(package private) javax.swing.JMenu	menuConsole
(package private) javax.swing.JMenuItem	menuConsoleClose
javax.swing.JMenuItem	menuConsoleConsult
javax.swing.JMenuItem	menuConsoleConsultAll
(package private) javax.swing.JCheckBoxMenuItem	menuConsoleDebug
(package private) javax.swing.JMenuItem	menuConsoleNew
(package private) javax.swing.JMenuItem	menuConsoleOpen
javax.swing.JMenuItem	menuConsoleReConsult
javax.swing.JMenuItem	menuConsoleReConsultAll
(package private) javax.swing.JMenuItem	menuConsoleSave
(package private) javax.swing.JMenuItem	menuConsoleSaveAs
(package private) javax.swing.JMenu	menuConsult
(package private) javax.swing.JMenu	menuCsltOntology
(package private) javax.swing.JMenu	menuCsltPrgrms
(package private) javax.swing.JMenu	menuDebug
javax.swing.JMenu	menuFont
javax.swing.JMenuItem	menuOntClose
javax.swing.JMenuItem	menuOntLoad
javax.swing.JMenuItem	menuOntRun
(package private) java.awt.Cursor	normalCursor
(package private) PrologPlusCGGUIFrame	ppcgGUIFrame
PPCGParser	ppcgParser
(package private) int	sizeFont
(package private) int	styleFont
javax.swing.JTextArea	txtArea
(package private) java.awt.Cursor	waitCursor

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

ConsoleFrame(PrologPlusCGGUIFrame ppcgGUIFrame, java.io.File consoleFile)

Method Summary

(package private) void	Bold_actionPerformed()
void	bold(boolean isBold)
(package private) void	checkRequestEnd(java.awt.event.KeyEvent kev)
(package private) void	closeConsole()
(package private) void	consoleDebug()
(package private) void	consult() Consult() offers a possibility to select several Prolog+CG files and their "compilation" wil be added to the current content of the ppcgParser attribute ppcgPrograms.
(package private) void	consultAll()
void	finalize()
(package private) void	findAnotherSolution()
(package private) void	getAndResolveRequest()
(package private) void	newConsole()
(package private) void	openConsole()
(package private) void	parseAndResolveRequest(java.lang.String request)
(package private) void	reconsult() Unlike consult() which performs a simple addition of paquets to the current global HashMap of Prolog+CG Programs "ppcgPrograms", reconsult will replace from ppcgPrograms paquets that have the same signature as the new ones.
(package private) void	reconsultAll()
(package private) boolean	saveAsConsole()
(package private) void	saveConsole()
void	setEnabledUIsSp(boolean consoleOpen)
void	setSize(int t)
(package private) void	size_actionPerformed(int t)
(package private) void	updateProgram(java.util.ArrayList oldSignatures, java.util.ArrayList newSignatures)
void	updateUIsOntology(boolean state)
void	write(java.lang.String message)
(package private) void	writeASolution(java.util.HashMap aSolution)
void	writeSolution()

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

Methods inherited from class java.awt.Frame

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

consoleFile

java.io.File consoleFile

waitCursor

java.awt.Cursor waitCursor

normalCursor

java.awt.Cursor normalCursor

amineTxtEditor

public AmineTextEditor amineTxtEditor

txtArea

public javax.swing.JTextArea txtArea

sizeFont

int sizeFont

styleFont

int styleFont

currPosition

int currPosition

ppcgParser

public PPCGParser ppcgParser

debug

public boolean debug

ppcgGUIFrame

PrologPlusCGGUIFrame ppcgGUIFrame

interpreter

public Interpreter interpreter

interpreterThread

InterpreterThread interpreterThread

menuBar

javax.swing.JMenuBar menuBar

menuConsole

javax.swing.JMenu menuConsole

menuConsoleNew

javax.swing.JMenuItem menuConsoleNew

menuConsoleOpen

javax.swing.JMenuItem menuConsoleOpen

menuConsoleSave

javax.swing.JMenuItem menuConsoleSave

menuConsoleSaveAs

javax.swing.JMenuItem menuConsoleSaveAs

menuConsoleClose

javax.swing.JMenuItem menuConsoleClose

menuFont

public javax.swing.JMenu menuFont

jChkBxMnItmBld

javax.swing.JCheckBoxMenuItem jChkBxMnItmBld

jChkBxMnItm14

javax.swing.JCheckBoxMenuItem jChkBxMnItm14

jChkBxMnItm16

javax.swing.JCheckBoxMenuItem jChkBxMnItm16

jChkBxMnItm18

public javax.swing.JCheckBoxMenuItem jChkBxMnItm18

jChkBxMnItm20

javax.swing.JCheckBoxMenuItem jChkBxMnItm20

menuConsult

javax.swing.JMenu menuConsult

menuCsltOntology

javax.swing.JMenu menuCsltOntology

menuOntLoad

public javax.swing.JMenuItem menuOntLoad

menuOntClose

public javax.swing.JMenuItem menuOntClose

menuOntRun

public javax.swing.JMenuItem menuOntRun

menuCsltPrgrms

javax.swing.JMenu menuCsltPrgrms

menuConsoleConsult

public javax.swing.JMenuItem menuConsoleConsult

menuConsoleReConsult

public javax.swing.JMenuItem menuConsoleReConsult

menuConsoleConsultAll

public javax.swing.JMenuItem menuConsoleConsultAll

menuConsoleReConsultAll

public javax.swing.JMenuItem menuConsoleReConsultAll

menuDebug

javax.swing.JMenu menuDebug

menuConsoleDebug

javax.swing.JCheckBoxMenuItem menuConsoleDebug

Constructor Detail

ConsoleFrame

public ConsoleFrame(PrologPlusCGGUIFrame ppcgGUIFrame,
                    java.io.File consoleFile)
             throws java.lang.Exception

Method Detail

finalize

public void finalize()

Bold_actionPerformed

void Bold_actionPerformed()

bold

public void bold(boolean isBold)

size_actionPerformed

void size_actionPerformed(int t)

setSize

public void setSize(int t)

newConsole

void newConsole()

openConsole

void openConsole()

saveConsole

void saveConsole()

saveAsConsole

boolean saveAsConsole()

closeConsole

void closeConsole()

updateUIsOntology

public void updateUIsOntology(boolean state)

consult

void consult()

Consult() offers a possibility to select several Prolog+CG files and their "compilation" wil be added to the current content of the ppcgParser attribute ppcgPrograms.

reconsult

void reconsult()

Unlike consult() which performs a simple addition of paquets to the current global HashMap of Prolog+CG Programs "ppcgPrograms", reconsult will replace from ppcgPrograms paquets that have the same signature as the new ones.

consultAll

void consultAll()

reconsultAll

void reconsultAll()

updateProgram

void updateProgram(java.util.ArrayList oldSignatures,
                   java.util.ArrayList newSignatures)

consoleDebug

void consoleDebug()

setEnabledUIsSp

public void setEnabledUIsSp(boolean consoleOpen)

checkRequestEnd

void checkRequestEnd(java.awt.event.KeyEvent kev)

getAndResolveRequest

void getAndResolveRequest()

parseAndResolveRequest

void parseAndResolveRequest(java.lang.String request)

findAnotherSolution

void findAnotherSolution()

write

public void write(java.lang.String message)

writeSolution

public void writeSolution()

writeASolution

void writeASolution(java.util.HashMap aSolution)