orbital.moon.logic
Interface LogicParserConstants

All Known Implementing Classes:

LogicParser, LogicParserTokenManager

public interface LogicParserConstants

Field Summary

static int	AND
static int	BOX
static int	DECIMAL_LITERAL
static int	DECLARE_FREE
static int	DEFAULT
static int	DIAMOND
static int	DIGIT
static int	DIGIT_OR_ALIKE
static int	DIVIDE
static int	EOF
static int	EOL
static int	EQUAL
static int	EQUIV
static int	EXISTS
static int	EXPONENT
static int	FLOATING_POINT_LITERAL
static int	FORALL
static int	FORMAL_COMMENT
static int	GREATER
static int	GREATER_EQUAL
static int	IDENTIFIER
static int	IMPLY
static int	INTEGER_LITERAL
static int	LAMBDA
static int	LESS
static int	LESS_EQUAL
static int	LETTER
static int	MINUS
static int	MULTI_LINE_COMMENT
static int	NOT
static int	OR
static int	PI
static int	PLUS
static int	PRODUCT
static int	SINGLE_LINE_COMMENT
static int	STRING_LITERAL
static int	TIMES
static java.lang.String[]	tokenImage
static int	UNEQUAL
static int	XOR

Field Detail

EOF

static final int EOF

See Also:

Constant Field Values

EOL

static final int EOL

See Also:

Constant Field Values

SINGLE_LINE_COMMENT

static final int SINGLE_LINE_COMMENT

See Also:

Constant Field Values

FORMAL_COMMENT

static final int FORMAL_COMMENT

See Also:

Constant Field Values

MULTI_LINE_COMMENT

static final int MULTI_LINE_COMMENT

See Also:

Constant Field Values

DECLARE_FREE

static final int DECLARE_FREE

See Also:

Constant Field Values

EXISTS

static final int EXISTS

See Also:

Constant Field Values

FORALL

static final int FORALL

See Also:

Constant Field Values

EQUIV

static final int EQUIV

See Also:

Constant Field Values

IMPLY

static final int IMPLY

See Also:

Constant Field Values

OR

static final int OR

See Also:

Constant Field Values

XOR

static final int XOR

See Also:

Constant Field Values

AND

static final int AND

See Also:

Constant Field Values

NOT

static final int NOT

See Also:

Constant Field Values

BOX

static final int BOX

See Also:

Constant Field Values

DIAMOND

static final int DIAMOND

See Also:

Constant Field Values

EQUAL

static final int EQUAL

See Also:

Constant Field Values

UNEQUAL

static final int UNEQUAL

See Also:

Constant Field Values

LESS

static final int LESS

See Also:

Constant Field Values

GREATER

static final int GREATER

See Also:

Constant Field Values

LESS_EQUAL

static final int LESS_EQUAL

See Also:

Constant Field Values

GREATER_EQUAL

static final int GREATER_EQUAL

See Also:

Constant Field Values

PLUS

static final int PLUS

See Also:

Constant Field Values

MINUS

static final int MINUS

See Also:

Constant Field Values

TIMES

static final int TIMES

See Also:

Constant Field Values

DIVIDE

static final int DIVIDE

See Also:

Constant Field Values

LAMBDA

static final int LAMBDA

See Also:

Constant Field Values

PI

static final int PI

See Also:

Constant Field Values

PRODUCT

static final int PRODUCT

See Also:

Constant Field Values

IDENTIFIER

static final int IDENTIFIER

See Also:

Constant Field Values

LETTER

static final int LETTER

See Also:

Constant Field Values

DIGIT_OR_ALIKE

static final int DIGIT_OR_ALIKE

See Also:

Constant Field Values

INTEGER_LITERAL

static final int INTEGER_LITERAL

See Also:

Constant Field Values

DECIMAL_LITERAL

static final int DECIMAL_LITERAL

See Also:

Constant Field Values

FLOATING_POINT_LITERAL

static final int FLOATING_POINT_LITERAL

See Also:

Constant Field Values

EXPONENT

static final int EXPONENT

See Also:

Constant Field Values

STRING_LITERAL

static final int STRING_LITERAL

See Also:

Constant Field Values

DIGIT

static final int DIGIT

See Also:

Constant Field Values

DEFAULT

static final int DEFAULT

See Also:

Constant Field Values

tokenImage

static final java.lang.String[] tokenImage