ubc.cs.JLog.Applet
Class gTracePanel

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

public class gTracePanel
extends java.awt.Panel

See Also:
Serialized Form

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

TRACELABEL

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

TRACEUPDATE

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

HIDEBUTTON

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

SHOWBUTTON

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

SETTRACE

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

UNSETTRACE

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

SETBREAK

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

UNSETBREAK

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

CLEARTRACE

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

CLEARBREAK

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

predlist

protected java.awt.List predlist

predlabel

protected java.awt.Label predlabel

hideshow

protected java.awt.Button hideshow

update

protected java.awt.Button update

settrace

protected java.awt.Button settrace

setbreak

protected java.awt.Button setbreak

cleartrace

protected java.awt.Button cleartrace

clearbreak

protected java.awt.Button clearbreak

prolog

protected jPrologServices prolog

user_predicates

protected java.util.Vector user_predicates

builtin_predicates

protected java.util.Vector builtin_predicates

traceitem_hash

protected java.util.Hashtable traceitem_hash
Constructor Detail

gTracePanel

public gTracePanel(jPrologServices ps)
Method Detail

getTraceInfo

public gTracePanel.gTraceItem getTraceInfo(iNameArity na)

setTrace

public void setTrace()

setBreakpoint

public void setBreakpoint()

clearTrace

public void clearTrace()

clearBreakpoint

public void clearBreakpoint()

toggleHideShow

public void toggleHideShow()

updateSelectedState

public void updateSelectedState()

enableDebugging

public void enableDebugging()

disableDebugging

public void disableDebugging()

updatePredicates

public void updatePredicates()

internal_updatePredicateList

protected void internal_updatePredicateList(iNameArity keepselected)

internal_updatePredicateListItem

protected void internal_updatePredicateListItem(gTracePanel.gTraceItem ti)

internal_sortCompareGreaterThan

protected boolean internal_sortCompareGreaterThan(iNameArity na1,
                                                  iNameArity na2)

internal_sortInsertNameArity

protected void internal_sortInsertNameArity(java.util.Vector v,
                                            iNameArity na)

internal_getSelectedTraceItem

protected gTracePanel.gTraceItem internal_getSelectedTraceItem()

internal_getTraceItem

protected gTracePanel.gTraceItem internal_getTraceItem(int i)

internal_getTraceIndex

protected int internal_getTraceIndex(gTracePanel.gTraceItem ti)

internal_getNameArityTraceItem

protected gTracePanel.gTraceItem internal_getNameArityTraceItem(iNameArity na)

internal_getNameArityIndex

protected int internal_getNameArityIndex(iNameArity na)

internal_getNameArityString

protected java.lang.String internal_getNameArityString(iNameArity na)