Serialized Form

Package edu.harvard.seas.pl.abcdatalog.ast.validation

Exception Class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException

class DatalogValidationException extends Exception implements Serializable

Package edu.harvard.seas.pl.abcdatalog.gui

Class edu.harvard.seas.pl.abcdatalog.gui.DatalogGui

class DatalogGui extends JFrame implements Serializable

Serialized Fields

changedSinceLastSave

boolean changedSinceLastSave

engine

DatalogEngine engine

fileChooser

JFileChooser fileChooser

fontSizeDelta

int fontSizeDelta

program

TextEditor program

programLoaded

boolean programLoaded

query

JTextField query

queryAction

Action queryAction

results

JTextArea results

undoManager

UndoManager undoManager

warning

JTextPane warning

Class edu.harvard.seas.pl.abcdatalog.gui.TextEditor

class TextEditor extends JTextArea implements Serializable

Package edu.harvard.seas.pl.abcdatalog.parser

Exception Class edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException

class DatalogParseException extends Exception implements Serializable