public class ConsoleDialog extends JPanel implements OutputListener, ReadListener, InformationToDisplayListener, PropertyChangeListener, MouseListener, ChangeListener, ExceptionListener
JPanel.AccessibleJPanel
JComponent.AccessibleJComponent
Container.AccessibleAWTContainer
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
Constructor and Description |
---|
ConsoleDialog(Console consoleManager) |
Modifier and Type | Method and Description |
---|---|
protected void |
acceptSolution() |
void |
addPropertyChangeListener(PropertyChangeListener listener) |
protected void |
clear() |
void |
clearResults() |
protected void |
enableSolutionCommands(boolean flag) |
protected void |
enableStopButton(boolean flag) |
protected void |
enableTheoryCommands(boolean flag) |
protected void |
exportCSV() |
protected void |
getNextSolution() |
String |
getStatusMessage() |
void |
mouseClicked(MouseEvent event) |
void |
mouseEntered(MouseEvent event) |
void |
mouseExited(MouseEvent event) |
void |
mousePressed(MouseEvent event) |
void |
mouseReleased(MouseEvent event) |
void |
onException(ExceptionEvent event) |
void |
onInformation(InformationToDisplayEvent event) |
void |
onOutput(OutputEvent event) |
void |
propertyChange(PropertyChangeEvent event) |
void |
readCalled(ReadEvent event)
Implemented the method readCalled because the consoleDialog is
a ReadListener.
|
void |
removePropertyChangeListener(PropertyChangeListener listener) |
void |
setExceptionEnabled(boolean enable) |
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 |
setFontDimension(int dimension) |
void |
setInputDialog(InputDialog input)
Method to insert an InputDialog inside the ConsoleDialog
|
void |
setStatusMessage(String message) |
void |
stateChanged(ChangeEvent arg0)
this method enable bExport JButton if the user sees a not empty table
else disable it
|
protected void |
stopEngine() |
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
public ConsoleDialog(Console consoleManager)
public void setInputDialog(InputDialog input)
public void setFileManager(alice.tuprologx.ide.IOFileOperations fileManager)
fileManager
- The file manager we want the toolbar to use.public void setFileManagerType(String type)
protected void enableStopButton(boolean flag)
protected void enableSolutionCommands(boolean flag)
protected void enableTheoryCommands(boolean flag)
protected void getNextSolution()
protected void acceptSolution()
protected void stopEngine()
protected void clear()
protected void exportCSV()
public void setStatusMessage(String message)
public String getStatusMessage()
public void addPropertyChangeListener(PropertyChangeListener listener)
addPropertyChangeListener
in class Container
public void removePropertyChangeListener(PropertyChangeListener listener)
removePropertyChangeListener
in class Component
public void onOutput(OutputEvent event)
onOutput
in interface OutputListener
public void readCalled(ReadEvent event)
readCalled
in interface ReadListener
public void onException(ExceptionEvent event)
onException
in interface ExceptionListener
public void onInformation(InformationToDisplayEvent event)
onInformation
in interface InformationToDisplayListener
public void setFontDimension(int dimension)
public void propertyChange(PropertyChangeEvent event)
propertyChange
in interface PropertyChangeListener
public void clearResults()
public void mouseClicked(MouseEvent event)
mouseClicked
in interface MouseListener
public void mouseEntered(MouseEvent event)
mouseEntered
in interface MouseListener
public void mouseExited(MouseEvent event)
mouseExited
in interface MouseListener
public void mousePressed(MouseEvent event)
mousePressed
in interface MouseListener
public void mouseReleased(MouseEvent event)
mouseReleased
in interface MouseListener
public void stateChanged(ChangeEvent arg0)
stateChanged
in interface ChangeListener
public void setExceptionEnabled(boolean enable)