edu.mit.csail.sdg.alloy4compiler.parser
Class CompSym

java.lang.Object
  edu.mit.csail.sdg.alloy4compiler.parser.CompSym

public class CompSym
extends java.lang.Object

CUP generated class containing symbol constants.

Field Summary

static int	ABSTRACT
static int	ALL
static int	ALL2
static int	AMPERSAND
static int	AND
static int	ANY_ARROW_LONE
static int	ANY_ARROW_ONE
static int	ANY_ARROW_SOME
static int	ARROW
static int	AS
static int	ASSERT
static int	AT
static int	BAR
static int	BUT
static int	CARET
static int	CHECK
static int	COLON
static int	COMMA
static int	DISJ
static int	DOMAIN
static int	DOT
static int	ELSE
static int	ENUM
static int	EOF
static int	EQUALS
static int	error
static int	EXACTLY
static int	EXH
static int	EXPECT
static int	EXTENDS
static int	FACT
static int	FOR
static int	FUN
static int	GT
static int	GTE
static int	HASH
static int	ID
static int	IDEN
static int	IFF
static int	IMPLIES
static int	IN
static int	INT
static int	INTADD
static int	INTDIV
static int	INTMAX
static int	INTMIN
static int	INTMUL
static int	INTNEXT
static int	INTREM
static int	INTSUB
static int	LBRACE
static int	LBRACKET
static int	LET
static int	LONE
static int	LONE_ARROW_ANY
static int	LONE_ARROW_LONE
static int	LONE_ARROW_ONE
static int	LONE_ARROW_SOME
static int	LONE2
static int	LPAREN
static int	LT
static int	LTE
static int	MINUS
static int	MODULE
static int	NO
static int	NO2
static int	NONE
static int	NOT
static int	NOTEQUALS
static int	NOTGT
static int	NOTGTE
static int	NOTIN
static int	NOTLT
static int	NOTLTE
static int	NUMBER
static int	ONE
static int	ONE_ARROW_ANY
static int	ONE_ARROW_LONE
static int	ONE_ARROW_ONE
static int	ONE_ARROW_SOME
static int	ONE2
static int	OPEN
static int	OR
static int	PART
static int	PLUS
static int	PLUSPLUS
static int	PRED
static int	PRIVATE
static int	RANGE
static int	RBRACE
static int	RBRACKET
static int	RPAREN
static int	RUN
static int	SEQ
static int	SET
static int	SHA
static int	SHL
static int	SHR
static int	SIG
static int	SIGINT
static int	SLASH
static int	SOME
static int	SOME_ARROW_ANY
static int	SOME_ARROW_LONE
static int	SOME_ARROW_ONE
static int	SOME_ARROW_SOME
static int	SOME2
static int	STAR
static int	STR
static int	STRING
static int	SUM
static int	SUM2
static int	THIS
static int	TILDE
static int	TOTALORDER
static int	UNIV

Constructor Summary

CompSym()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

AT

public static final int AT

See Also:

Constant Field Values

AS

public static final int AS

See Also:

Constant Field Values

ANY_ARROW_SOME

public static final int ANY_ARROW_SOME

See Also:

Constant Field Values

GT

public static final int GT

See Also:

Constant Field Values

ARROW

public static final int ARROW

See Also:

Constant Field Values

NOTLTE

public static final int NOTLTE

See Also:

Constant Field Values

INTSUB

public static final int INTSUB

See Also:

Constant Field Values

ONE_ARROW_ANY

public static final int ONE_ARROW_ANY

See Also:

Constant Field Values

ONE2

public static final int ONE2

See Also:

Constant Field Values

ENUM

public static final int ENUM

See Also:

Constant Field Values

IDEN

public static final int IDEN

See Also:

Constant Field Values

SIG

public static final int SIG

See Also:

Constant Field Values

EXH

public static final int EXH

See Also:

Constant Field Values

INTMIN

public static final int INTMIN

See Also:

Constant Field Values

COMMA

public static final int COMMA

See Also:

Constant Field Values

SUM

public static final int SUM

See Also:

Constant Field Values

RBRACE

public static final int RBRACE

See Also:

Constant Field Values

RPAREN

public static final int RPAREN

See Also:

Constant Field Values

LONE_ARROW_LONE

public static final int LONE_ARROW_LONE

See Also:

Constant Field Values

RUN

public static final int RUN

See Also:

Constant Field Values

NOTGTE

public static final int NOTGTE

See Also:

Constant Field Values

ALL

public static final int ALL

See Also:

Constant Field Values

LT

public static final int LT

See Also:

Constant Field Values

INTMUL

public static final int INTMUL

See Also:

Constant Field Values

LBRACE

public static final int LBRACE

See Also:

Constant Field Values

SOME_ARROW_ANY

public static final int SOME_ARROW_ANY

See Also:

Constant Field Values

LPAREN

public static final int LPAREN

See Also:

Constant Field Values

SHR

public static final int SHR

See Also:

Constant Field Values

NOT

public static final int NOT

See Also:

Constant Field Values

TILDE

public static final int TILDE

See Also:

Constant Field Values

PART

public static final int PART

See Also:

Constant Field Values

SHL

public static final int SHL

See Also:

Constant Field Values

NOTEQUALS

public static final int NOTEQUALS

See Also:

Constant Field Values

STR

public static final int STR

See Also:

Constant Field Values

SHA

public static final int SHA

See Also:

Constant Field Values

LONE_ARROW_ONE

public static final int LONE_ARROW_ONE

See Also:

Constant Field Values

SOME_ARROW_LONE

public static final int SOME_ARROW_LONE

See Also:

Constant Field Values

INTADD

public static final int INTADD

See Also:

Constant Field Values

INTDIV

public static final int INTDIV

See Also:

Constant Field Values

INTMAX

public static final int INTMAX

See Also:

Constant Field Values

NUMBER

public static final int NUMBER

See Also:

Constant Field Values

ABSTRACT

public static final int ABSTRACT

See Also:

Constant Field Values

INTNEXT

public static final int INTNEXT

See Also:

Constant Field Values

SLASH

public static final int SLASH

See Also:

Constant Field Values

NO2

public static final int NO2

See Also:

Constant Field Values

TOTALORDER

public static final int TOTALORDER

See Also:

Constant Field Values

ONE_ARROW_LONE

public static final int ONE_ARROW_LONE

See Also:

Constant Field Values

NOTIN

public static final int NOTIN

See Also:

Constant Field Values

UNIV

public static final int UNIV

See Also:

Constant Field Values

PLUS

public static final int PLUS

See Also:

Constant Field Values

FACT

public static final int FACT

See Also:

Constant Field Values

LONE

public static final int LONE

See Also:

Constant Field Values

ONE

public static final int ONE

See Also:

Constant Field Values

MODULE

public static final int MODULE

See Also:

Constant Field Values

EXTENDS

public static final int EXTENDS

See Also:

Constant Field Values

DOMAIN

public static final int DOMAIN

See Also:

Constant Field Values

EXACTLY

public static final int EXACTLY

See Also:

Constant Field Values

NONE

public static final int NONE

See Also:

Constant Field Values

SOME2

public static final int SOME2

See Also:

Constant Field Values

FOR

public static final int FOR

See Also:

Constant Field Values

STAR

public static final int STAR

See Also:

Constant Field Values

LONE_ARROW_SOME

public static final int LONE_ARROW_SOME

See Also:

Constant Field Values

ELSE

public static final int ELSE

See Also:

Constant Field Values

FUN

public static final int FUN

See Also:

Constant Field Values

DOT

public static final int DOT

See Also:

Constant Field Values

AMPERSAND

public static final int AMPERSAND

See Also:

Constant Field Values

INT

public static final int INT

See Also:

Constant Field Values

LTE

public static final int LTE

See Also:

Constant Field Values

SIGINT

public static final int SIGINT

See Also:

Constant Field Values

DISJ

public static final int DISJ

See Also:

Constant Field Values

EOF

public static final int EOF

See Also:

Constant Field Values

THIS

public static final int THIS

See Also:

Constant Field Values

INTREM

public static final int INTREM

See Also:

Constant Field Values

ANY_ARROW_LONE

public static final int ANY_ARROW_LONE

See Also:

Constant Field Values

BUT

public static final int BUT

See Also:

Constant Field Values

LONE_ARROW_ANY

public static final int LONE_ARROW_ANY

See Also:

Constant Field Values

ALL2

public static final int ALL2

See Also:

Constant Field Values

MINUS

public static final int MINUS

See Also:

Constant Field Values

SOME_ARROW_SOME

public static final int SOME_ARROW_SOME

See Also:

Constant Field Values

SUM2

public static final int SUM2

See Also:

Constant Field Values

IN

public static final int IN

See Also:

Constant Field Values

OR

public static final int OR

See Also:

Constant Field Values

SET

public static final int SET

See Also:

Constant Field Values

error

public static final int error

See Also:

Constant Field Values

NOTGT

public static final int NOTGT

See Also:

Constant Field Values

SEQ

public static final int SEQ

See Also:

Constant Field Values

GTE

public static final int GTE

See Also:

Constant Field Values

ID

public static final int ID

See Also:

Constant Field Values

ONE_ARROW_SOME

public static final int ONE_ARROW_SOME

See Also:

Constant Field Values

ONE_ARROW_ONE

public static final int ONE_ARROW_ONE

See Also:

Constant Field Values

COLON

public static final int COLON

See Also:

Constant Field Values

CHECK

public static final int CHECK

See Also:

Constant Field Values

ASSERT

public static final int ASSERT

See Also:

Constant Field Values

SOME

public static final int SOME

See Also:

Constant Field Values

LONE2

public static final int LONE2

See Also:

Constant Field Values

RBRACKET

public static final int RBRACKET

See Also:

Constant Field Values

CARET

public static final int CARET

See Also:

Constant Field Values

EXPECT

public static final int EXPECT

See Also:

Constant Field Values

PLUSPLUS

public static final int PLUSPLUS

See Also:

Constant Field Values

STRING

public static final int STRING

See Also:

Constant Field Values

RANGE

public static final int RANGE

See Also:

Constant Field Values

NO

public static final int NO

See Also:

Constant Field Values

SOME_ARROW_ONE

public static final int SOME_ARROW_ONE

See Also:

Constant Field Values

AND

public static final int AND

See Also:

Constant Field Values

ANY_ARROW_ONE

public static final int ANY_ARROW_ONE

See Also:

Constant Field Values

PRIVATE

public static final int PRIVATE

See Also:

Constant Field Values

OPEN

public static final int OPEN

See Also:

Constant Field Values

BAR

public static final int BAR

See Also:

Constant Field Values

NOTLT

public static final int NOTLT

See Also:

Constant Field Values

IMPLIES

public static final int IMPLIES

See Also:

Constant Field Values

LBRACKET

public static final int LBRACKET

See Also:

Constant Field Values

PRED

public static final int PRED

See Also:

Constant Field Values

LET

public static final int LET

See Also:

Constant Field Values

IFF

public static final int IFF

See Also:

Constant Field Values

EQUALS

public static final int EQUALS

See Also:

Constant Field Values

HASH

public static final int HASH

See Also:

Constant Field Values

Constructor Detail

CompSym

public CompSym()