ubc.cs.JLog.Applet
Class gJLogApplication

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Frame
                  extended by ubc.cs.JLog.Applet.gJLogApplicationBase
                      extended by ubc.cs.JLog.Applet.gJLogApplication
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, iJLogApplBaseServices, iMenuServiceRequester, iPrologFileServices

public class gJLogApplication
extends gJLogApplicationBase

This is the Applet for the full Prolog in Java environment, complete with user interface.

Author:
Glendon Holst
See Also:
Serialized Form

Nested Class Summary
protected  class gJLogApplication.eawtApplicationAdapter
           
 
Nested classes/interfaces inherited from class java.awt.Frame
java.awt.Frame.AccessibleAWTFrame
 
Nested classes/interfaces inherited from class java.awt.Window
java.awt.Window.AccessibleAWTWindow
 
Nested classes/interfaces inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Nested classes/interfaces inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
protected static gAboutDialog about_box
           
protected static gWindowBase animation_window
           
protected static java.util.Enumeration consult_enum
           
protected static gDebugWindow debug_window
           
protected static gWindowBase help_window
           
protected static gQueryPanel query
           
protected static boolean query_state
           
protected static java.awt.Frame query_window
           
protected static boolean useBuiltinApplicationMenu
           
 
Fields inherited from class ubc.cs.JLog.Applet.gJLogApplicationBase
base, current_directory, kb_windows, MENU_BREAK, MENU_CLOSE, MENU_CONSULTALLKB, MENU_CONSULTKB, MENU_COPY, MENU_CUT, MENU_DEBUG, MENU_FIND, MENU_FINDNEXT, MENU_GOTOLINE, MENU_LABEL_PAUSEQ_CONT, MENU_LABEL_PAUSEQ_PAUSE, MENU_PASTE, MENU_PAUSEQ, MENU_RESETKB, MENU_SAVE, MENU_SAVEAS, MENU_SELECTALL, MENU_STOPQ, MENU_TRACE, MENU_UNKNOWNPRED
 
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.Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
gJLogApplication()
           
 
Method Summary
protected  boolean close()
           
protected static boolean closeAll()
           
protected static void consultAll()
           
protected static void consultNext()
           
 java.awt.MenuBar createMenuBar(iMenuServiceRequester s)
          This function returns a new menu bar, customized for the given iMenuServiceRequester.
protected  gConsultWindow getConsultWindow(java.lang.String fp)
           
protected  int getToolMenuID()
          Returns the index of the tool menu in the menu bar.
protected  int getWindowMenuID()
          Returns the index of the window menu in the menu bar.
static void main(java.lang.String[] args)
           
protected  void open(java.lang.String fileName)
           
protected static boolean quit()
           
static void resetdb()
           
protected static void showAboutBox()
           
protected  void showAnimationWindow()
           
protected  void showDebugWindow()
           
protected  void showHelpWindow()
           
protected  void showQueryWindow()
           
 void updateToolMenuConsultAll(boolean state)
           
protected  void updateToolMenuDebug()
           
 void updateToolMenuDebug(boolean dbg, boolean unkpred, boolean trce, boolean brk, boolean in_query)
          This function updates the debug portion of the tool menu for all registered windows.
protected  void updateToolMenuQuery()
           
 void updateToolMenuQuery(boolean in_query, boolean paused)
           
 void updateToolMenuReset(boolean state)
           
 void updateWindowMenu()
          Recreates the dynamic window menu for all registered windows.
 boolean useMenuItem(java.awt.MenuItem mi)
           
 
Methods inherited from class ubc.cs.JLog.Applet.gJLogApplicationBase
addKBWindow, convertStringLinebreaks, getApplicationInfo, getCurrentDirectory, getImage, getInputStreamFromFilename, getKBWindowCount, getParameter, getPrologServices, getRequiredCreditInfo, getResourceInputStreamFromFilename, getResourceURLFromFilename, getSource, getTextFromInputStream, getURLFromFilename, getWindowMenuDynamicStart, removeKBWindow, setCurrentDirectory, updateToolMenuConsultAll, updateToolMenuDebug, updateToolMenuQuery, updateToolMenuReset, updateWindowMenu
 
Methods inherited from class java.awt.Frame
addNotify, getAccessibleContext, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, paramString, 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, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setVisible, show, toBack, toFront
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, setLayout, transferFocusDownCycle, update, 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, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, 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, getMousePosition, 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, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, 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, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.awt.MenuContainer
getFont, postEvent
 

Field Detail

about_box

protected static gAboutDialog about_box

query_window

protected static java.awt.Frame query_window

debug_window

protected static gDebugWindow debug_window

animation_window

protected static gWindowBase animation_window

help_window

protected static gWindowBase help_window

query

protected static gQueryPanel query

useBuiltinApplicationMenu

protected static boolean useBuiltinApplicationMenu

query_state

protected static boolean query_state

consult_enum

protected static java.util.Enumeration consult_enum
Constructor Detail

gJLogApplication

public gJLogApplication()
Method Detail

main

public static void main(java.lang.String[] args)

createMenuBar

public java.awt.MenuBar createMenuBar(iMenuServiceRequester s)
Description copied from class: gJLogApplicationBase
This function returns a new menu bar, customized for the given iMenuServiceRequester. The menu bar will have the same layout and items, so that all windows have the same menus, but those menus items not handled by the application will be passed to the iMenuServiceRequester so that it can register a listener and the appropriate action.

Overrides:
createMenuBar in class gJLogApplicationBase
Parameters:
s - The iMenuServiceRequester that this menu bar is for.
Returns:
A menu bar, customized for the given iMenuServiceRequester.

useMenuItem

public boolean useMenuItem(java.awt.MenuItem mi)

showAboutBox

protected static void showAboutBox()

showQueryWindow

protected void showQueryWindow()

showDebugWindow

protected void showDebugWindow()

showAnimationWindow

protected void showAnimationWindow()

showHelpWindow

protected void showHelpWindow()

updateWindowMenu

public void updateWindowMenu()
Description copied from class: gJLogApplicationBase
Recreates the dynamic window menu for all registered windows.

Overrides:
updateWindowMenu in class gJLogApplicationBase

updateToolMenuDebug

protected void updateToolMenuDebug()

updateToolMenuDebug

public void updateToolMenuDebug(boolean dbg,
                                boolean unkpred,
                                boolean trce,
                                boolean brk,
                                boolean in_query)
Description copied from class: gJLogApplicationBase
This function updates the debug portion of the tool menu for all registered windows.

Overrides:
updateToolMenuDebug in class gJLogApplicationBase
Parameters:
dbg - true is the debugging is on.
unkpred - true if prolog throws an error on unknown predicates. false if if unknown predicates are false.
trce - true is trace all goals.
brk - true if break after each step.
in_query - true if a query is presently underway.

updateToolMenuQuery

protected void updateToolMenuQuery()

updateToolMenuQuery

public void updateToolMenuQuery(boolean in_query,
                                boolean paused)
Overrides:
updateToolMenuQuery in class gJLogApplicationBase

updateToolMenuReset

public void updateToolMenuReset(boolean state)

updateToolMenuConsultAll

public void updateToolMenuConsultAll(boolean state)
Overrides:
updateToolMenuConsultAll in class gJLogApplicationBase

getToolMenuID

protected int getToolMenuID()
Description copied from class: gJLogApplicationBase
Returns the index of the tool menu in the menu bar.

Overrides:
getToolMenuID in class gJLogApplicationBase
Returns:
index number of tool menu in menu bar.

getWindowMenuID

protected int getWindowMenuID()
Description copied from class: gJLogApplicationBase
Returns the index of the window menu in the menu bar.

Overrides:
getWindowMenuID in class gJLogApplicationBase
Returns:
index number of window menu in menu bar.

open

protected void open(java.lang.String fileName)

close

protected boolean close()

closeAll

protected static boolean closeAll()

quit

protected static boolean quit()

getConsultWindow

protected gConsultWindow getConsultWindow(java.lang.String fp)

consultAll

protected static void consultAll()

consultNext

protected static void consultNext()

resetdb

public static void resetdb()