alice.tuprologx.ide

Class ThinletTheoryEditor

java.lang.Object

java.awt.Component

java.awt.Container

alice.util.thinlet.Thinlet

alice.tuprologx.ide.ThinletTheoryEditor

All Implemented Interfaces:

ImageObserver, MenuContainer, PropertyChangeListener, Serializable, Runnable, EventListener

public class ThinletTheoryEditor
extends Thinlet
implements PropertyChangeListener

A set of commands and facilities for components implementing an edit area. Bundled with an appropriate edit area, it forms the tuProlog editor in the current tuprologx.ide package.

Author:

Giulio Piancastelli

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
ThinletTheoryEditor()

Method Summary

Methods

Modifier and Type	Method and Description
void	addPropertyChangeListener(PropertyChangeListener listener)
protected void	enableTheoryCommands(boolean flag) Enable or disable theory-related buttons.
Prolog	getEngine() Get the Prolog engine referenced by the editor.
void	getEngineTheory() Get the theory currently contained in the tuProlog engine referenced by the editor and display it in the edit area.
String	getStatusMessage() Get the editor status as a java.lang.String message.
void	propertyChange(PropertyChangeEvent event)
void	redo() Redo last action in the Edit Area.
void	removePropertyChangeListener(PropertyChangeListener listener)
void	setEditArea(alice.tuprologx.ide.TheoryEditArea editArea) Set the edit area used by the editor to manipulate the text of Prolog theories.
void	setEngine(Prolog engine) Set the Prolog engine referenced by the editor.
void	setEngineTheory() Set the theory of the tuProlog engine referenced by the editor to the theory currently contained in the edit area.
void	setStatusMessage(String message) Set the editor status.
void	undo() Undo last action in the Edit Area.

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

ThinletTheoryEditor

public ThinletTheoryEditor()

Method Detail

getEngine

public Prolog getEngine()

Get the Prolog engine referenced by the editor.

Returns:

The Prolog engine referenced by the editor.

setEngine

public void setEngine(Prolog engine)

Set the Prolog engine referenced by the editor.

Parameters:

engine - an alice.tuprolog.Prolog engine.

setStatusMessage

public void setStatusMessage(String message)

Set the editor status.

Parameters:

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

getStatusMessage

public String getStatusMessage()

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

Returns:

the current status of the editor 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

setEditArea

public void setEditArea(alice.tuprologx.ide.TheoryEditArea editArea)

Set the edit area used by the editor to manipulate the text of Prolog theories.

Parameters:

editArea - The edit area we want the editor to use.

setEngineTheory

public void setEngineTheory()

Set the theory of the tuProlog engine referenced by the editor to the theory currently contained in the edit area.

getEngineTheory

public void getEngineTheory()

Get the theory currently contained in the tuProlog engine referenced by the editor and display it in the edit area.

undo

public void undo()

Undo last action in the Edit Area.

redo

public void redo()

Redo last action in the Edit Area.

propertyChange

public void propertyChange(PropertyChangeEvent event)

Specified by:

propertyChange in interface PropertyChangeListener

enableTheoryCommands

protected void enableTheoryCommands(boolean flag)

Enable or disable theory-related buttons.

Parameters:

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