alice.tuprologx.ide

Class ThinletConsole

java.lang.Object

java.awt.Component

java.awt.Container

alice.util.thinlet.Thinlet

alice.tuprologx.ide.ThinletConsole

All Implemented Interfaces:

OutputListener, QueryListener, ImageObserver, MenuContainer, Serializable, Runnable, EventListener

public class ThinletConsole
extends Thinlet
implements OutputListener, QueryListener

A complete console for the tuProlog engine, featuring an input field for submitting queries, and two areas for displaying solutions to a goal and output text due to particular predicates (e.g. write/1).

Author:

Giulio Piancastelli, Simone Pellegrini

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

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

Constructors

Constructor and Description
ThinletConsole(alice.tuprologx.ide.IDE ide)

Method Summary

Methods

Modifier and Type	Method and Description
void	acceptSolution() Accept the found solution to the current goal, showing it on the console and closing all the possible open alternatives.
void	addPropertyChangeListener(PropertyChangeListener listener)
void	clearOutput()
void	enableClearOutput()
protected void	enableSolutionCommands(boolean flag) Enable or disable solution-related buttons.
protected void	enableSolveCommands(boolean flag) Enable or disable the possibility of asking for goals to be solved.
protected void	enableStopButton(boolean flag)
protected String	getGoal() Get the goal entered in the input field.
void	getNextSolution() Try to solve the next open alternative for the current goal.
String	getStatusMessage() Get the console status as a java.lang.String message.
void	newQueryResultAvailable(QueryEvent event)
void	onOutput(OutputEvent event)
void	removePropertyChangeListener(PropertyChangeListener listener)
void	setEngine(Prolog engine) Set the Prolog engine referenced by the console.
void	setInputField(alice.tuprologx.ide.InputField inputField) Set the input field used by the console to retrieve queries.
void	setStatusMessage(String message) Set the console status.
protected void	showSolution(String solution) Show a solution to the current goal in the apposite solution area.
void	solve() Get the goal in the query field, feed a Prolog engine with it, and display the solution provided.
void	stopEngine()

Methods inherited from class alice.util.thinlet.Thinlet

add, add, add, characters, create, destroy, endElement, find, find, getBoolean, getChoice, getClass, getCount, getCount, getDesktop, getDOMAttribute, getDOMCount, getDOMNode, getDOMText, getIcon, getIcon, getIcon, getInteger, getItem, getItem, getItems, getItems, getParent, getPreferredSize, getProperty, getSelectedIndex, getSelectedItem, getSelectedItems, getString, isFocusTraversable, paint, parse, parse, parse, parse, parseDOM, parseXML, processEvent, putProperty, remove, removeAll, removeAll, requestFocus, run, setBoolean, setChoice, setColors, setFont, setIcon, setInteger, setMethod, setString, startElement, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addNotify, 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, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, isValidateRoot, layout, list, list, locate, minimumSize, paintComponents, paramString, preferredSize, print, printComponents, processContainerEvent, remove, remove, removeAll, removeContainerListener, removeNotify, setComponentZOrder, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, 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, getAccessibleContext, 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, 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, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, revalidate, 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

Constructor Detail

ThinletConsole

public ThinletConsole(alice.tuprologx.ide.IDE ide)

Method Detail

solve

public void solve()

Get the goal in the query field, feed a Prolog engine with it, and display the solution provided.

setEngine

public void setEngine(Prolog engine)

Set the Prolog engine referenced by the console.

Parameters:

engine - an alice.tuprolog.Prolog engine.

setInputField

public void setInputField(alice.tuprologx.ide.InputField inputField)

Set the input field used by the console to retrieve queries.

Parameters:

inputField - the input field we want the console to use.

setStatusMessage

public void setStatusMessage(String message)

Set the console status.

Parameters:

message - The message describing the new status of the console.

getStatusMessage

public String getStatusMessage()

Get the console status as a java.lang.String message.

Returns:

the current status of the console as a java.lang.String message.

addPropertyChangeListener

public void addPropertyChangeListener(PropertyChangeListener listener)

Overrides:

addPropertyChangeListener in class Container

removePropertyChangeListener

public void removePropertyChangeListener(PropertyChangeListener listener)

Overrides:

removePropertyChangeListener in class Component

getGoal

protected String getGoal()

Get the goal entered in the input field.

Returns:

The goal entered in the input field.

showSolution

protected void showSolution(String solution)

Show a solution to the current goal in the apposite solution area.

Parameters:

solution - The solution to be shown.

enableSolutionCommands

protected void enableSolutionCommands(boolean flag)

Enable or disable solution-related buttons.

Parameters:

flag - true if the buttons have to be enabled, false otherwise.

enableStopButton

protected void enableStopButton(boolean flag)

enableSolveCommands

protected void enableSolveCommands(boolean flag)

Enable or disable the possibility of asking for goals to be solved.

Parameters:

flag - true if the query device has to be enabled, false otherwise.

getNextSolution

public void getNextSolution()

Try to solve the next open alternative for the current goal.

acceptSolution

public void acceptSolution()

Accept the found solution to the current goal, showing it on the console and closing all the possible open alternatives.

stopEngine

public void stopEngine()

onOutput

public void onOutput(OutputEvent event)

Specified by:

onOutput in interface OutputListener

newQueryResultAvailable

public void newQueryResultAvailable(QueryEvent event)

Specified by:

newQueryResultAvailable in interface QueryListener

enableClearOutput

public void enableClearOutput()

clearOutput

public void clearOutput()