ubc.cs.JLog.Applet
Class gStackPanel

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Panel
              extended by ubc.cs.JLog.Applet.gStackPanel
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible
Direct Known Subclasses:
gProverStackPanel

public class gStackPanel
extends java.awt.Panel

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class java.awt.Panel
java.awt.Panel.AccessibleAWTPanel
 
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  iDebugGoalStack debugstack
           
protected  java.util.Vector debugstack_vector
           
protected  java.awt.Button display
           
protected static java.lang.String DISPLAY
           
protected  java.awt.TextArea displayarea
           
protected  jPrologServices prolog
           
protected  java.awt.Label stacklabel
           
protected static java.lang.String STACKLABEL
           
protected  java.awt.List stacklist
           
protected  boolean use_proved_stack
           
 
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
gStackPanel(java.lang.String name, java.awt.TextArea darea, jPrologServices ps, boolean ups)
           
 
Method Summary
 void debugProverStarted(jDebugProverGoalStackEvent de)
           
 void displayGoal(int n)
           
 void enablePanel(boolean state)
           
 int getGoalIndex(jGoal g)
           
protected  void internal_displayGoal(java.lang.Object o)
           
protected  java.lang.String internal_getDisplayString(int i, jGoal g)
           
protected  jGoal internal_getGoal(java.lang.Object o)
           
protected  java.lang.String internal_getNameArityString(int index, iNameArity na)
           
protected  void internal_updateStackList(int top)
           
 void queryTerminated()
           
 void update()
           
 void updateStackVector()
           
 
Methods inherited from class java.awt.Panel
addNotify, getAccessibleContext
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getInsets, getLayout, getListeners, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, paramString, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, removeNotify, setComponentZOrder, setFocusCycleRoot, 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, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getToolkit, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, 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, setCursor, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setName, setPreferredSize, setSize, setSize, setVisible, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

STACKLABEL

protected static final java.lang.String STACKLABEL
See Also:
Constant Field Values

DISPLAY

protected static final java.lang.String DISPLAY
See Also:
Constant Field Values

stacklist

protected java.awt.List stacklist

stacklabel

protected java.awt.Label stacklabel

display

protected java.awt.Button display

displayarea

protected java.awt.TextArea displayarea

prolog

protected jPrologServices prolog

debugstack

protected iDebugGoalStack debugstack

debugstack_vector

protected java.util.Vector debugstack_vector

use_proved_stack

protected boolean use_proved_stack
Constructor Detail

gStackPanel

public gStackPanel(java.lang.String name,
                   java.awt.TextArea darea,
                   jPrologServices ps,
                   boolean ups)
Method Detail

debugProverStarted

public void debugProverStarted(jDebugProverGoalStackEvent de)

queryTerminated

public void queryTerminated()

enablePanel

public void enablePanel(boolean state)

update

public void update()

displayGoal

public void displayGoal(int n)

updateStackVector

public void updateStackVector()

internal_updateStackList

protected void internal_updateStackList(int top)

internal_getNameArityString

protected java.lang.String internal_getNameArityString(int index,
                                                       iNameArity na)

internal_getGoal

protected jGoal internal_getGoal(java.lang.Object o)

internal_displayGoal

protected void internal_displayGoal(java.lang.Object o)

internal_getDisplayString

protected java.lang.String internal_getDisplayString(int i,
                                                     jGoal g)

getGoalIndex

public int getGoalIndex(jGoal g)