ubc.cs.JLog.Applet
Class gDebugPanel

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

public class gDebugPanel
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 static java.lang.String A_UNKNOWNPRED
           
protected static java.lang.String BREAK
           
protected  java.awt.Checkbox breakall
           
protected static java.lang.String BREAKALL
           
protected  java.awt.Button clear
           
protected static java.lang.String CLEAR
           
protected  java.awt.Checkbox debug
           
protected static java.lang.String DEBUG
           
protected  gButtonTab goals
           
protected  gStackPanel goals_stack
           
protected static java.lang.String GOALS_TAB
           
protected  java.awt.TextArea info
           
protected  gCardPanel lists
           
protected  gButtonTabMenu menu
           
protected  jPrologServices prolog
           
protected  gButtonTab proved
           
protected  gStackPanel proved_stack
           
protected static java.lang.String PROVED_TAB
           
protected  jDebugProver prover
           
protected  jGoal prover_currentnextgoal
           
protected  jGoal prover_stopgoal
           
protected static java.lang.String RUN
           
protected  int run_state
           
protected  java.awt.Button runpro
           
protected static int STATE_RUN
           
protected static int STATE_STEPIN
           
protected static int STATE_STEPOVER
           
protected static int STATE_STOP
           
protected  java.awt.Button stepin
           
protected static java.lang.String STEPIN
           
protected  java.awt.Button stepover
           
protected static java.lang.String STEPOVER
           
protected  java.awt.Button stop
           
protected  gButtonTab trace
           
protected  gTracePanel trace_list
           
protected static java.lang.String TRACE_TAB
           
protected  java.awt.Checkbox traceall
           
protected static java.lang.String TRACEALL
           
protected  java.awt.Checkbox unkpred
           
 
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
gDebugPanel(jPrologServices ps, boolean show_buttons)
           
 
Method Summary
 void clear()
           
 void debug(boolean state)
           
 void debugFailGoal(jDebugFailGoalEvent de)
           
 void debugProvedGoals(jDebugProvedGoalsEvent de)
           
 void debugProveGoal(jDebugProveGoalEvent de)
           
 void debugProverStarted(jDebugProverStartedEvent de)
           
 void debugRetryGoal(jDebugRetryGoalEvent de)
           
 void debugTryGoal(jDebugTryGoalEvent de)
           
 boolean getBreakState()
           
 boolean getTraceState()
           
 void queryTerminated()
           
 void runprogram()
           
 void setBreakState(boolean state)
           
 void setRunState(int state)
           
 void setTraceState(boolean state)
           
 void stepin()
           
 void stepover()
           
 void stop()
           
 void syncCheckboxes()
           
protected  java.util.Vector traceableDebugItems(java.util.Vector v)
           
protected  boolean traceGoal(gTracePanel.gTraceItem ti)
           
protected  boolean traceGoal(jGoal g)
           
 
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

TRACE_TAB

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

PROVED_TAB

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

GOALS_TAB

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

DEBUG

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

A_UNKNOWNPRED

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

BREAKALL

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

TRACEALL

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

RUN

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

STEPIN

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

STEPOVER

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

BREAK

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

CLEAR

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

lists

protected gCardPanel lists

menu

protected gButtonTabMenu menu

info

protected java.awt.TextArea info

debug

protected java.awt.Checkbox debug

unkpred

protected java.awt.Checkbox unkpred

breakall

protected java.awt.Checkbox breakall

traceall

protected java.awt.Checkbox traceall

runpro

protected java.awt.Button runpro

stepin

protected java.awt.Button stepin

stepover

protected java.awt.Button stepover

stop

protected java.awt.Button stop

clear

protected java.awt.Button clear

trace

protected gButtonTab trace

proved

protected gButtonTab proved

goals

protected gButtonTab goals

proved_stack

protected gStackPanel proved_stack

goals_stack

protected gStackPanel goals_stack

trace_list

protected gTracePanel trace_list

prolog

protected jPrologServices prolog

prover

protected jDebugProver prover

run_state

protected int run_state

prover_currentnextgoal

protected jGoal prover_currentnextgoal

prover_stopgoal

protected jGoal prover_stopgoal

STATE_STOP

protected static final int STATE_STOP
See Also:
Constant Field Values

STATE_RUN

protected static final int STATE_RUN
See Also:
Constant Field Values

STATE_STEPIN

protected static final int STATE_STEPIN
See Also:
Constant Field Values

STATE_STEPOVER

protected static final int STATE_STEPOVER
See Also:
Constant Field Values
Constructor Detail

gDebugPanel

public gDebugPanel(jPrologServices ps,
                   boolean show_buttons)
Method Detail

syncCheckboxes

public void syncCheckboxes()

runprogram

public void runprogram()

stepin

public void stepin()

stepover

public void stepover()

stop

public void stop()

clear

public void clear()

setBreakState

public void setBreakState(boolean state)

setTraceState

public void setTraceState(boolean state)

getBreakState

public boolean getBreakState()

getTraceState

public boolean getTraceState()

setRunState

public void setRunState(int state)

queryTerminated

public void queryTerminated()

debug

public void debug(boolean state)

debugProverStarted

public void debugProverStarted(jDebugProverStartedEvent de)

debugTryGoal

public void debugTryGoal(jDebugTryGoalEvent de)

debugProveGoal

public void debugProveGoal(jDebugProveGoalEvent de)

debugProvedGoals

public void debugProvedGoals(jDebugProvedGoalsEvent de)

debugRetryGoal

public void debugRetryGoal(jDebugRetryGoalEvent de)

debugFailGoal

public void debugFailGoal(jDebugFailGoalEvent de)

traceGoal

protected boolean traceGoal(gTracePanel.gTraceItem ti)

traceGoal

protected boolean traceGoal(jGoal g)

traceableDebugItems

protected java.util.Vector traceableDebugItems(java.util.Vector v)