ubc.cs.JLog.Applet
Class gConsultPanel

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

public class gConsultPanel
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 consult
           
protected static java.lang.String CONSULT
           
protected  java.awt.Label errlabel
           
protected static java.lang.String ERRLABEL
           
protected  java.awt.TextArea errors
           
protected static int ERRROWS
           
protected  java.awt.Button find
           
protected static java.lang.String FIND
           
protected  java.awt.TextField find_field
           
protected  int find_pos
           
protected  java.lang.String find_str
           
protected  java.awt.Button gotoline
           
protected static java.lang.String GOTOLINE
           
protected  java.awt.TextField gotoline_field
           
protected  jPrologServices prolog
           
protected static java.lang.String RESET
           
protected  java.awt.Button resetdb
           
protected  java.awt.TextArea source
           
protected  java.awt.Label srclabel
           
protected static java.lang.String SRCLABEL
           
 
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
gConsultPanel(jPrologServices ps, java.lang.String default_source_text, boolean show_buttons)
           
 
Method Summary
 void consult()
           
protected  void disable_buttons()
           
 void find()
           
 boolean findNextSource()
           
 boolean findSource(java.lang.String substr)
           
 int getCurrentSourceLine()
           
 java.io.PrintWriter getErrorsStream()
           
 java.lang.String getFindString()
           
 iPrologServiceText getSource()
           
 java.awt.TextArea getSourceTextArea()
           
 void goLine()
           
 void pre_consult()
           
protected  void reset_buttons()
           
 void resetdb()
           
 void setCurrentSourceLine(int line)
           
 
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

RESET

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

CONSULT

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

FIND

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

GOTOLINE

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

ERRLABEL

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

SRCLABEL

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

ERRROWS

protected static final int ERRROWS
See Also:
Constant Field Values

source

protected java.awt.TextArea source

errors

protected java.awt.TextArea errors

find_field

protected java.awt.TextField find_field

gotoline_field

protected java.awt.TextField gotoline_field

resetdb

protected java.awt.Button resetdb

consult

protected java.awt.Button consult

find

protected java.awt.Button find

gotoline

protected java.awt.Button gotoline

srclabel

protected java.awt.Label srclabel

errlabel

protected java.awt.Label errlabel

prolog

protected jPrologServices prolog

find_str

protected java.lang.String find_str

find_pos

protected int find_pos
Constructor Detail

gConsultPanel

public gConsultPanel(jPrologServices ps,
                     java.lang.String default_source_text,
                     boolean show_buttons)
Method Detail

getSource

public iPrologServiceText getSource()

getSourceTextArea

public java.awt.TextArea getSourceTextArea()

getCurrentSourceLine

public int getCurrentSourceLine()

setCurrentSourceLine

public void setCurrentSourceLine(int line)

getFindString

public java.lang.String getFindString()

findSource

public boolean findSource(java.lang.String substr)

findNextSource

public boolean findNextSource()

getErrorsStream

public java.io.PrintWriter getErrorsStream()

resetdb

public void resetdb()

pre_consult

public void pre_consult()

consult

public void consult()

find

public void find()

goLine

public void goLine()

reset_buttons

protected void reset_buttons()

disable_buttons

protected void disable_buttons()