|
|||||||||
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.gTracePanel
public class gTracePanel
Nested Class Summary | |
---|---|
class |
gTracePanel.gTraceItem
|
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 java.util.Vector |
builtin_predicates
|
protected java.awt.Button |
clearbreak
|
protected static java.lang.String |
CLEARBREAK
|
protected java.awt.Button |
cleartrace
|
protected static java.lang.String |
CLEARTRACE
|
protected static java.lang.String |
HIDEBUTTON
|
protected java.awt.Button |
hideshow
|
protected java.awt.Label |
predlabel
|
protected java.awt.List |
predlist
|
protected jPrologServices |
prolog
|
protected java.awt.Button |
setbreak
|
protected static java.lang.String |
SETBREAK
|
protected java.awt.Button |
settrace
|
protected static java.lang.String |
SETTRACE
|
protected static java.lang.String |
SHOWBUTTON
|
protected java.util.Hashtable |
traceitem_hash
|
protected static java.lang.String |
TRACELABEL
|
protected static java.lang.String |
TRACEUPDATE
|
protected static java.lang.String |
UNSETBREAK
|
protected static java.lang.String |
UNSETTRACE
|
protected java.awt.Button |
update
|
protected java.util.Vector |
user_predicates
|
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 | |
---|---|
gTracePanel(jPrologServices ps)
|
Method Summary | |
---|---|
void |
clearBreakpoint()
|
void |
clearTrace()
|
void |
disableDebugging()
|
void |
enableDebugging()
|
gTracePanel.gTraceItem |
getTraceInfo(iNameArity na)
|
protected int |
internal_getNameArityIndex(iNameArity na)
|
protected java.lang.String |
internal_getNameArityString(iNameArity na)
|
protected gTracePanel.gTraceItem |
internal_getNameArityTraceItem(iNameArity na)
|
protected gTracePanel.gTraceItem |
internal_getSelectedTraceItem()
|
protected int |
internal_getTraceIndex(gTracePanel.gTraceItem ti)
|
protected gTracePanel.gTraceItem |
internal_getTraceItem(int i)
|
protected boolean |
internal_sortCompareGreaterThan(iNameArity na1,
iNameArity na2)
|
protected void |
internal_sortInsertNameArity(java.util.Vector v,
iNameArity na)
|
protected void |
internal_updatePredicateList(iNameArity keepselected)
|
protected void |
internal_updatePredicateListItem(gTracePanel.gTraceItem ti)
|
void |
setBreakpoint()
|
void |
setTrace()
|
void |
toggleHideShow()
|
void |
updatePredicates()
|
void |
updateSelectedState()
|
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 TRACELABEL
protected static final java.lang.String TRACEUPDATE
protected static final java.lang.String HIDEBUTTON
protected static final java.lang.String SHOWBUTTON
protected static final java.lang.String SETTRACE
protected static final java.lang.String UNSETTRACE
protected static final java.lang.String SETBREAK
protected static final java.lang.String UNSETBREAK
protected static final java.lang.String CLEARTRACE
protected static final java.lang.String CLEARBREAK
protected java.awt.List predlist
protected java.awt.Label predlabel
protected java.awt.Button hideshow
protected java.awt.Button update
protected java.awt.Button settrace
protected java.awt.Button setbreak
protected java.awt.Button cleartrace
protected java.awt.Button clearbreak
protected jPrologServices prolog
protected java.util.Vector user_predicates
protected java.util.Vector builtin_predicates
protected java.util.Hashtable traceitem_hash
Constructor Detail |
---|
public gTracePanel(jPrologServices ps)
Method Detail |
---|
public gTracePanel.gTraceItem getTraceInfo(iNameArity na)
public void setTrace()
public void setBreakpoint()
public void clearTrace()
public void clearBreakpoint()
public void toggleHideShow()
public void updateSelectedState()
public void enableDebugging()
public void disableDebugging()
public void updatePredicates()
protected void internal_updatePredicateList(iNameArity keepselected)
protected void internal_updatePredicateListItem(gTracePanel.gTraceItem ti)
protected boolean internal_sortCompareGreaterThan(iNameArity na1, iNameArity na2)
protected void internal_sortInsertNameArity(java.util.Vector v, iNameArity na)
protected gTracePanel.gTraceItem internal_getSelectedTraceItem()
protected gTracePanel.gTraceItem internal_getTraceItem(int i)
protected int internal_getTraceIndex(gTracePanel.gTraceItem ti)
protected gTracePanel.gTraceItem internal_getNameArityTraceItem(iNameArity na)
protected int internal_getNameArityIndex(iNameArity na)
protected java.lang.String internal_getNameArityString(iNameArity na)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |