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