alice.tuprologx.ide

Class ThinletToolBar

java.lang.Object

java.awt.Component

java.awt.Container

alice.util.thinlet.Thinlet

alice.tuprologx.ide.ThinletToolBar

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Runnable

public class ThinletToolBar
extends Thinlet

A toolbar for the tuProlog IDE.

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
ThinletToolBar(alice.tuprologx.ide.IDE ide)

Method Summary

Methods

Modifier and Type	Method and Description
void	addPropertyChangeListener(PropertyChangeListener listener)
protected void	enableTheoryCommands(boolean flag) Enable or disable theory-related buttons.
Thinlet	getDebugArea() Get the debug area used by the toolbar.
Prolog	getEngine() Get the Prolog engine referenced by the toolbar.
alice.tuprologx.ide.IOFileOperations	getFileManager() Get the file manager used by the toolbar.
alice.tuprologx.ide.FrameLauncher	getFrameLauncher() Get the frame launcher used by the toolbar.
String	getStatusMessage() Get the toolbar status as a java.lang.String message.
void	loadTheory() Load the engine with a theory previously stored in a file.
void	newTheory() Reset the engine's theory to a new blank theory.
void	openLibraryManager() Opens the Library Manager dialog.
void	removePropertyChangeListener(PropertyChangeListener listener)
void	saveTheory() Save the engine's current theory to a default file.
void	saveTheoryAs() Save the engine's current theory to a file chosen by the user.
void	setDebugArea(Thinlet debugArea) Set the debug area referenced by the toolbar for use in displaying debug informations.
void	setEngine(Prolog engine) Set the Prolog engine referenced by the toolbar.
void	setFileManager(alice.tuprologx.ide.IOFileOperations fileManager) Set the file manager referenced by the toolbar for use in Input/Output tasks.
void	setFrameLauncher(alice.tuprologx.ide.FrameLauncher frameLauncher) Set the frame launcher referenced by the toolbar for use in displaying dialogs and new windows.
void	setLibraryDialog(LibraryDialog libraryDialog) Set the library dialog referenced by the toolbar for use in displaying library management facilities.
void	setStatusMessage(String message) Set the toolbar status.
void	viewAboutInformation() Display an About dialog with information on the system and its crafters.
void	viewDebugInformation() Show an instance of the debug area referenced by the toolbar in order to display debug informations.

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

ThinletToolBar

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

Method Detail

getEngine

public Prolog getEngine()

Get the Prolog engine referenced by the toolbar.

Returns:

The Prolog engine referenced by the toolbar.

setEngine

public void setEngine(Prolog engine)

Set the Prolog engine referenced by the toolbar.

Parameters:

engine - an alice.tuprolog.Prolog engine.

setStatusMessage

public void setStatusMessage(String message)

Set the toolbar status.

Parameters:

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

getStatusMessage

public String getStatusMessage()

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

Returns:

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

setFileManager

public void setFileManager(alice.tuprologx.ide.IOFileOperations fileManager)

Set the file manager referenced by the toolbar for use in Input/Output tasks.

Parameters:

fileManager - The file manager we want the toolbar to use.

getFileManager

public alice.tuprologx.ide.IOFileOperations getFileManager()

Get the file manager used by the toolbar.

Returns:

The file manager used by the toolbar.

setFrameLauncher

public void setFrameLauncher(alice.tuprologx.ide.FrameLauncher frameLauncher)

Set the frame launcher referenced by the toolbar for use in displaying dialogs and new windows.

Parameters:

frameLauncher - The frame launcher we want the toolbar to use.

getFrameLauncher

public alice.tuprologx.ide.FrameLauncher getFrameLauncher()

Get the frame launcher used by the toolbar.

Returns:

The frame launcher used by the toolbar.

enableTheoryCommands

protected void enableTheoryCommands(boolean flag)

Enable or disable theory-related buttons.

Parameters:

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

newTheory

public void newTheory()

Reset the engine's theory to a new blank theory.

loadTheory

public void loadTheory()

Load the engine with a theory previously stored in a file.

saveTheory

public void saveTheory()

Save the engine's current theory to a default file.

saveTheoryAs

public void saveTheoryAs()

Save the engine's current theory to a file chosen by the user.

openLibraryManager

public void openLibraryManager()

Opens the Library Manager dialog.

viewDebugInformation

public void viewDebugInformation()

Show an instance of the debug area referenced by the toolbar in order to display debug informations.

viewAboutInformation

public void viewAboutInformation()

Display an About dialog with information on the system and its crafters.

setDebugArea

public void setDebugArea(Thinlet debugArea)

Set the debug area referenced by the toolbar for use in displaying debug informations.

Parameters:

debugArea - The debug area we want the toolbar to display.

getDebugArea

public Thinlet getDebugArea()

Get the debug area used by the toolbar.

Returns:

The debug area used by the toolbar.

setLibraryDialog

public void setLibraryDialog(LibraryDialog libraryDialog)

Set the library dialog referenced by the toolbar for use in displaying library management facilities.

Parameters:

libraryDialog - The library manager dialog we want the toolbar to display.