sjm.examples.logic
Class LogikusIde

java.lang.Object
  |
  +--sjm.examples.logic.LogikusIde

public class LogikusIde

extends java.lang.Object

This class provides an interactive development environment for Logikus.

This class contains just the Swing components, and delegates responsibility for the interaction of these components to a LogikusMediator object.

Field Summary

protected javax.swing.JButton	clearProgramButton
protected javax.swing.JButton	clearResultsButton
protected javax.swing.JButton	haltButton
protected LogikusMediator	mediator
protected javax.swing.JTextArea	programArea
protected javax.swing.JButton	proveNextButton
protected javax.swing.JButton	proveRestButton
protected javax.swing.JTextArea	queryArea
protected javax.swing.JTextArea	resultsArea

Constructor Summary

LogikusIde()

Method Summary

protected javax.swing.Box	buttonBox()
protected javax.swing.JPanel	clearButtonPanel()
protected javax.swing.JButton	clearProgramButton()
protected javax.swing.JButton	clearResultsButton()
protected javax.swing.JButton	haltButton()
static void	main(java.lang.String[] args) Launch a Logikus interactive development environment.
protected javax.swing.JPanel	mainPanel()
protected LogikusMediator	mediator()
protected javax.swing.JTextArea	programArea()
protected javax.swing.JPanel	proveButtonPanel()
protected javax.swing.JButton	proveNextButton()
protected javax.swing.JButton	proveRestButton()
protected javax.swing.JTextArea	queryArea()
protected javax.swing.JTextArea	resultsArea()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

mediator

protected LogikusMediator mediator

programArea

protected javax.swing.JTextArea programArea

resultsArea

protected javax.swing.JTextArea resultsArea

queryArea

protected javax.swing.JTextArea queryArea

proveNextButton

protected javax.swing.JButton proveNextButton

proveRestButton

protected javax.swing.JButton proveRestButton

haltButton

protected javax.swing.JButton haltButton

clearProgramButton

protected javax.swing.JButton clearProgramButton

clearResultsButton

protected javax.swing.JButton clearResultsButton

Constructor Detail

LogikusIde

public LogikusIde()

Method Detail

buttonBox

protected javax.swing.Box buttonBox()

clearButtonPanel

protected javax.swing.JPanel clearButtonPanel()

clearProgramButton

protected javax.swing.JButton clearProgramButton()

clearResultsButton

protected javax.swing.JButton clearResultsButton()

haltButton

protected javax.swing.JButton haltButton()

main

public static void main(java.lang.String[] args)

Launch a Logikus interactive development environment.

mainPanel

protected javax.swing.JPanel mainPanel()

mediator

protected LogikusMediator mediator()

programArea

protected javax.swing.JTextArea programArea()

proveButtonPanel

protected javax.swing.JPanel proveButtonPanel()

proveNextButton

protected javax.swing.JButton proveNextButton()

proveRestButton

protected javax.swing.JButton proveRestButton()

queryArea

protected javax.swing.JTextArea queryArea()

resultsArea

protected javax.swing.JTextArea resultsArea()