ubc.cs.JLog.Applet
Class gQueryPanel

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

public class gQueryPanel
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  java.awt.Button clear
           
protected static java.lang.String CLEAR
           
protected static java.lang.String CONTINUE
           
protected  gButtonTabMenuAction debug_action
           
protected  java.awt.Button enter
           
protected  java.awt.Label inlabel
           
protected static java.lang.String INLABEL
           
protected  java.awt.TextField input
           
protected static java.lang.String INPUT
           
protected  java.awt.Label outlabel
           
protected static java.lang.String OUTLABEL
           
protected  java.awt.TextArea output
           
protected  java.awt.Button pause
           
protected static java.lang.String PAUSE
           
protected  jPrologServices prolog
           
protected  java.awt.TextField qinput
           
protected  java.awt.Label qlabel
           
protected static java.lang.String QLABEL
           
protected  java.awt.Button query
           
protected static java.lang.String QUERY
           
protected  java.awt.Button retry
           
protected static java.lang.String RETRY
           
protected  java.awt.Button stop
           
protected static java.lang.String STOP
           
protected  jRetryQueryThread thread
           
 
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
gQueryPanel(jPrologServices ps, java.lang.String default_query_text, boolean show_buttons)
           
 
Method Summary
 void clear()
           
 iPrologServiceText getInput()
           
 java.io.BufferedReader getInputStream()
           
 java.io.PrintWriter getOutputStream()
           
 iPrologServiceText getQinput()
           
 boolean isPaused()
           
 void pause()
           
 void pre_query()
           
 void query()
           
protected  void reset_buttons()
           
 void retry()
           
 void set_thread(jRetryQueryThread t)
           
 void setSelectDebugPanel(gButtonTabMenuAction da)
           
 void stop()
           
 
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

QUERY

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

INPUT

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

RETRY

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

PAUSE

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

CONTINUE

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

STOP

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

CLEAR

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

QLABEL

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

INLABEL

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

OUTLABEL

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

output

protected java.awt.TextArea output

input

protected java.awt.TextField input

qinput

protected java.awt.TextField qinput

query

protected java.awt.Button query

retry

protected java.awt.Button retry

pause

protected java.awt.Button pause

stop

protected java.awt.Button stop

enter

protected java.awt.Button enter

clear

protected java.awt.Button clear

outlabel

protected java.awt.Label outlabel

inlabel

protected java.awt.Label inlabel

qlabel

protected java.awt.Label qlabel

prolog

protected jPrologServices prolog

thread

protected jRetryQueryThread thread

debug_action

protected gButtonTabMenuAction debug_action
Constructor Detail

gQueryPanel

public gQueryPanel(jPrologServices ps,
                   java.lang.String default_query_text,
                   boolean show_buttons)
Method Detail

setSelectDebugPanel

public void setSelectDebugPanel(gButtonTabMenuAction da)

getQinput

public iPrologServiceText getQinput()

getInput

public iPrologServiceText getInput()

getOutputStream

public java.io.PrintWriter getOutputStream()

getInputStream

public java.io.BufferedReader getInputStream()

pre_query

public void pre_query()

set_thread

public void set_thread(jRetryQueryThread t)

query

public void query()

retry

public void retry()

pause

public void pause()

isPaused

public boolean isPaused()

stop

public void stop()

reset_buttons

protected void reset_buttons()

clear

public void clear()