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