java.lang.Object
java.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
alice.tuprolog.ide.GUIConsole
- All Implemented Interfaces:
- javax.accessibility.Accessible, java.util.EventListener, java.awt.image.ImageObserver, java.awt.MenuContainer, alice.tuprolog.OutputListener, javax.swing.RootPaneContainer, java.io.Serializable, alice.tuprolog.SpyListener, alice.tuprolog.StateListener, javax.swing.WindowConstants
- public class GUIConsole
- extends javax.swing.JFrame
- implements java.io.Serializable, alice.tuprolog.OutputListener, alice.tuprolog.SpyListener, alice.tuprolog.StateListener
- Version:
| Nested classes inherited from class javax.swing.JFrame |
javax.swing.JFrame.AccessibleJFrame |
| Nested classes inherited from class java.awt.Frame |
java.awt.Frame.AccessibleAWTFrame |
| Nested classes inherited from class java.awt.Window |
java.awt.Window.AccessibleAWTWindow |
| Nested classes inherited from class java.awt.Container |
java.awt.Container.AccessibleAWTContainer |
| Nested classes inherited from class java.awt.Component |
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
| Fields inherited from class java.awt.Frame |
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR |
| Fields inherited from class java.awt.Window |
|
| Fields inherited from class java.awt.Container |
|
| Methods inherited from class javax.swing.JFrame |
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getPreferredSize, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processKeyEvent, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update |
| Methods inherited from class java.awt.Frame |
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated |
| Methods inherited from class java.awt.Window |
addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getGraphicsConfiguration, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, show, toBack, toFront |
| Methods inherited from class java.awt.Container |
add, add, add, add, add, addContainerListener, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, 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, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle |
engine
public alice.tuprolog.Prolog engine
info
alice.tuprolog.SolveInfo info
spyAreaForm
SpyArea spyAreaForm
editTheoryForm
EditTheory editTheoryForm
engineName
java.lang.String engineName
port
int port
portString
java.lang.String portString
hostName
java.lang.String hostName
theoryFileName
java.lang.String theoryFileName
incipit
static final java.lang.String incipit
- See Also:
- Constant Field Values
history
java.util.ArrayList history
historyIndex
int historyIndex
outputPanel
private javax.swing.JPanel outputPanel
outputAreaScroll
private javax.swing.JScrollPane outputAreaScroll
outputArea
private javax.swing.JTextArea outputArea
solvePanel
private javax.swing.JPanel solvePanel
solutionPanel
private javax.swing.JPanel solutionPanel
solveLabel
private javax.swing.JLabel solveLabel
inputGoal
private javax.swing.JTextField inputGoal
jPanel5
private javax.swing.JPanel jPanel5
bindingPanel
private javax.swing.JPanel bindingPanel
jLabel2
private javax.swing.JLabel jLabel2
jPanel3
private javax.swing.JPanel jPanel3
bNext
private javax.swing.JButton bNext
bYes
private javax.swing.JButton bYes
jScrollPane2
private javax.swing.JScrollPane jScrollPane2
outputBindings
private javax.swing.JTextArea outputBindings
goalPanel
private javax.swing.JPanel goalPanel
jLabel3
private javax.swing.JLabel jLabel3
jPanel4
private javax.swing.JPanel jPanel4
jScrollPane3
private javax.swing.JScrollPane jScrollPane3
outputSolution
private javax.swing.JTextArea outputSolution
statePanel
private javax.swing.JPanel statePanel
theoryPanel
private javax.swing.JPanel theoryPanel
bClear
private javax.swing.JButton bClear
bConsult
private javax.swing.JButton bConsult
bSave
private javax.swing.JButton bSave
bEdit
private javax.swing.JButton bEdit
bSaveAs
private javax.swing.JButton bSaveAs
jPanel2
private javax.swing.JPanel jPanel2
bSpy
private javax.swing.JButton bSpy
outputState
private javax.swing.JTextField outputState
GUIConsole
public GUIConsole(java.lang.String[] args)
enableTheoryCmds
public void enableTheoryCmds(boolean flag)
enableSolutionCmds
public void enableSolutionCmds(boolean flag)
enableGoalCmds
public void enableGoalCmds(boolean flag)
initComponents
private void initComponents()
- This method is called from within the constructor to
initialize the form.
WARNING: Do NOT modify this code. The content of this method is
always regenerated by the FormEditor.
inputGoalKeyReleased
private void inputGoalKeyReleased(java.awt.event.KeyEvent evt)
bUpActionPerformed
private void bUpActionPerformed(java.awt.event.ActionEvent evt)
bDownActionPerformed
private void bDownActionPerformed(java.awt.event.ActionEvent evt)
bSaveAsActionPerformed
private void bSaveAsActionPerformed(java.awt.event.ActionEvent evt)
bClearActionPerformed
private void bClearActionPerformed(java.awt.event.ActionEvent evt)
bSolveActionPerformed
private void bSolveActionPerformed(java.awt.event.ActionEvent evt)
bEditActionPerformed
private void bEditActionPerformed(java.awt.event.ActionEvent evt)
bSpyActionPerformed
private void bSpyActionPerformed(java.awt.event.ActionEvent evt)
bNextActionPerformed
private void bNextActionPerformed(java.awt.event.ActionEvent evt)
bYesActionPerformed
private void bYesActionPerformed(java.awt.event.ActionEvent evt)
bSaveActionPerformed
private void bSaveActionPerformed(java.awt.event.ActionEvent evt)
bConsultActionPerformed
private void bConsultActionPerformed(java.awt.event.ActionEvent evt)
inputGoalActionPerformed
private void inputGoalActionPerformed(java.awt.event.ActionEvent evt)
updateSlot
private void updateSlot(java.lang.String goal,
java.lang.String sol,
java.lang.String sub)
outputStateActionPerformed
private void outputStateActionPerformed(java.awt.event.ActionEvent evt)
exitForm
private void exitForm(java.awt.event.WindowEvent evt)
- Exit the Application
onOutput
public void onOutput(alice.tuprolog.OutputEvent ev)
- Specified by:
onOutput in interface alice.tuprolog.OutputListener
onSpy
public void onSpy(alice.tuprolog.SpyEvent ev)
- Specified by:
onSpy in interface alice.tuprolog.SpyListener
onState
public void onState(alice.tuprolog.StateEvent ev)
- Specified by:
onState in interface alice.tuprolog.StateListener
main
public static void main(java.lang.String[] args)
getStateArea
javax.swing.JTextField getStateArea()
JAVADOC | 
SOURCE | 
DOWNLOAD | NESTED | FIELD | CONSTR | METHOD