|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
ubc.cs.JLog.Applet.gJLogApplicationBase
ubc.cs.JLog.Applet.gJLogApplication
public class gJLogApplication
This is the Applet for the full Prolog in Java environment, complete with user interface.
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 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 |
---|
protected static gAboutDialog about_box
protected static java.awt.Frame query_window
protected static gDebugWindow debug_window
protected static gWindowBase animation_window
protected static gWindowBase help_window
protected static gQueryPanel query
protected static boolean useBuiltinApplicationMenu
protected static boolean query_state
protected static java.util.Enumeration consult_enum
Constructor Detail |
---|
public gJLogApplication()
Method Detail |
---|
public static void main(java.lang.String[] args)
public java.awt.MenuBar createMenuBar(iMenuServiceRequester s)
gJLogApplicationBase
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.
createMenuBar
in class gJLogApplicationBase
s
- The iMenuServiceRequester
that this menu bar is for.
public boolean useMenuItem(java.awt.MenuItem mi)
protected static void showAboutBox()
protected void showQueryWindow()
protected void showDebugWindow()
protected void showAnimationWindow()
protected void showHelpWindow()
public void updateWindowMenu()
gJLogApplicationBase
updateWindowMenu
in class gJLogApplicationBase
protected void updateToolMenuDebug()
public void updateToolMenuDebug(boolean dbg, boolean unkpred, boolean trce, boolean brk, boolean in_query)
gJLogApplicationBase
updateToolMenuDebug
in class gJLogApplicationBase
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.protected void updateToolMenuQuery()
public void updateToolMenuQuery(boolean in_query, boolean paused)
updateToolMenuQuery
in class gJLogApplicationBase
public void updateToolMenuReset(boolean state)
public void updateToolMenuConsultAll(boolean state)
updateToolMenuConsultAll
in class gJLogApplicationBase
protected int getToolMenuID()
gJLogApplicationBase
getToolMenuID
in class gJLogApplicationBase
protected int getWindowMenuID()
gJLogApplicationBase
getWindowMenuID
in class gJLogApplicationBase
protected void open(java.lang.String fileName)
protected boolean close()
protected static boolean closeAll()
protected static boolean quit()
protected gConsultWindow getConsultWindow(java.lang.String fp)
protected static void consultAll()
protected static void consultNext()
public static void resetdb()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |