Serialized Form

Class ClauseList implements Serializable

Class ConjectureList implements Serializable

Class EqualList implements Serializable

Class FileFrame implements Serializable

Serialized Fields

file

File file

Associated File.

changed

boolean changed

Indicates if file have changed.

jc

JFileChooser jc

One for all file chooser.

compiler

Compiler compiler

Compiler of the file.

Class FillBoxLayout implements Serializable

Serialized Fields

gbc

GridBagConstraints gbc

Constraint used to place components.

Class FunctionDefinition implements Serializable

Class IdentTable implements Serializable

Class NodeList implements Serializable

Class ParseException implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

String eol

The end of line string for this machine.

Class RuleTable implements Serializable

Serialized Fields

lastRuleUsed

RewriteRule lastRuleUsed

Last rule used.

Class SCList implements Serializable

Class SemanticException implements Serializable

Serialized Fields

msg

String msg

Error message.

Class SortList implements Serializable

Class Substitution implements Serializable

Class SubstitutionStop implements Serializable

Class TextDialog implements Serializable