public class ToolBar extends JPanel
JPanel.AccessibleJPanel
JComponent.AccessibleJComponent
Container.AccessibleAWTContainer
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
Modifier and Type | Field and Description |
---|---|
protected FileIDE |
fileIDE |
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
Constructor and Description |
---|
ToolBar(alice.tuprologx.ide.IDE ide,
JFrame parent) |
Modifier and Type | Method and Description |
---|---|
void |
addPropertyChangeListener(PropertyChangeListener listener) |
void |
configure() |
protected void |
enableTheoryCommands(boolean flag)
Enable or disable theory-related buttons.
|
Prolog |
getEngine()
Get the Prolog engine referenced by the toolbar.
|
FileIDE |
getFileIDE() |
alice.tuprologx.ide.IOFileOperations |
getFileManager()
Get the file manager used by the toolbar.
|
LibraryManager |
getLibraryManager()
Get the library manager
|
static String |
getPath() |
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 |
setEngine(Prolog engine)
Set the Prolog engine referenced by the toolbar.
|
void |
setFileIDE(FileIDE fileIDE) |
void |
setFileManager(alice.tuprologx.ide.IOFileOperations fileManager)
Set the file manager referenced by the toolbar for use in Input/Output tasks.
|
void |
setFileManagerType(String type) |
void |
setLibraryManager(LibraryManager libraryManager)
Set the library manager
|
void |
setPrologConfig(PrologConfigFrame configFrame)
Set the tuProlog config frame
|
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.
|
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
protected FileIDE fileIDE
public ToolBar(alice.tuprologx.ide.IDE ide, JFrame parent)
public Prolog getEngine()
public void setEngine(Prolog engine)
engine
- an alice.tuprolog.Prolog
engine.public LibraryManager getLibraryManager()
public void setLibraryManager(LibraryManager libraryManager)
libraryManager
- a libraryManager to associate to the libraryDialogpublic void setPrologConfig(PrologConfigFrame configFrame)
libraryManager
- a libraryManager to associate to the libraryDialogpublic String getStatusMessage()
java.lang.String
message.java.lang.String
message.public void setStatusMessage(String message)
message
- The message describing the new status of the toolbar.public void addPropertyChangeListener(PropertyChangeListener listener)
addPropertyChangeListener
in class Container
public void removePropertyChangeListener(PropertyChangeListener listener)
removePropertyChangeListener
in class Component
public void setFileManager(alice.tuprologx.ide.IOFileOperations fileManager)
fileManager
- The file manager we want the toolbar to use.public void setFileManagerType(String type)
public alice.tuprologx.ide.IOFileOperations getFileManager()
protected void enableTheoryCommands(boolean flag)
flag
- true if the buttons have to be enabled, false otherwise.public void newTheory()
public void loadTheory()
public void saveTheory()
public void saveTheoryAs()
public void openLibraryManager()
public void viewDebugInformation()
public void configure()
public void viewAboutInformation()
public void setFileIDE(FileIDE fileIDE)
public FileIDE getFileIDE()
public static String getPath()