Serialized Form

Package jdrew.oo.gui

Class jdrew.oo.gui.BottomUpGUI extends javax.swing.JFrame implements Serializable

Serialized Fields

fr

ForwardReasoner fr

logger

Logger logger

formatBG

javax.swing.ButtonGroup formatBG

jLabel1

javax.swing.JLabel jLabel1

jScrollPane1

javax.swing.JScrollPane jScrollPane1

jScrollPane2

javax.swing.JScrollPane jScrollPane2

jScrollPane3

javax.swing.JScrollPane jScrollPane3

jTabbedPane1

javax.swing.JTabbedPane jTabbedPane1

jrbPOSL

javax.swing.JRadioButton jrbPOSL

jrbRML

javax.swing.JRadioButton jrbRML

kbtab

javax.swing.JPanel kbtab

kbtext

javax.swing.JTextArea kbtext

outputtext

javax.swing.JTextArea outputtext

outtab

javax.swing.JPanel outtab

parseKBBtn

javax.swing.JButton parseKBBtn

parseTypeBtn

javax.swing.JButton parseTypeBtn

runBtn

javax.swing.JButton runBtn

showdbgBtn

javax.swing.JButton showdbgBtn

typedeftab

javax.swing.JPanel typedeftab

typetext

javax.swing.JTextArea typetext

dbgcon

DebugConsole dbgcon

Class jdrew.oo.gui.DebugConsole extends javax.swing.JFrame implements Serializable

Serialized Fields

jScrollPane1

javax.swing.JScrollPane jScrollPane1

textPane

javax.swing.JTextPane textPane

Class jdrew.oo.gui.TextPaneAppender extends AppenderSkeleton implements Serializable

Class jdrew.oo.gui.TopDownGUI extends javax.swing.JFrame implements Serializable

Serialized Fields

br

BackwardReasoner br

solit

java.util.Iterator solit

logger

Logger logger

buttonGroup1

javax.swing.ButtonGroup buttonGroup1

jLabel1

javax.swing.JLabel jLabel1

jLabel2

javax.swing.JLabel jLabel2

jLabel3

javax.swing.JLabel jLabel3

jLabel4

javax.swing.JLabel jLabel4

jLabel5

javax.swing.JLabel jLabel5

jScrollPane1

javax.swing.JScrollPane jScrollPane1

jScrollPane2

javax.swing.JScrollPane jScrollPane2

jScrollPane3

javax.swing.JScrollPane jScrollPane3

jScrollPane4

javax.swing.JScrollPane jScrollPane4

jScrollPane5

javax.swing.JScrollPane jScrollPane5

jTabbedPane1

javax.swing.JTabbedPane jTabbedPane1

jrbPOSL

javax.swing.JRadioButton jrbPOSL

jrbRML

javax.swing.JRadioButton jrbRML

kbtab

javax.swing.JPanel kbtab

kbtext

javax.swing.JTextArea kbtext

nextBtn

javax.swing.JButton nextBtn

parseKBBtn

javax.swing.JButton parseKBBtn

parseTypeBtn

javax.swing.JButton parseTypeBtn

qtab

javax.swing.JPanel qtab

queryBtn

javax.swing.JButton queryBtn

querytext

javax.swing.JTextArea querytext

showDbgBtn

javax.swing.JButton showDbgBtn

solTree

javax.swing.JTree solTree

tdtab

javax.swing.JPanel tdtab

typedeftext

javax.swing.JTextArea typedeftext

varBindTbl

javax.swing.JTable varBindTbl

dtcr

javax.swing.tree.DefaultTreeCellRenderer dtcr

dbgcon

DebugConsole dbgcon

Package jdrew.oo.util

Class jdrew.oo.util.EngineException extends java.lang.RuntimeException implements Serializable

Class jdrew.oo.util.ParseException extends java.lang.Exception implements Serializable