proof.parse
Class sym

java.lang.Object
  |
  +--proof.parse.sym

public class sym

extends java.lang.Object

CUP generated class containing symbol constants.

Field Summary

static int	ARROW
static int	BACKSLASH
static int	BANG
static int	BOX
static int	COLON
static int	DOT
static int	DOTSPACE
static int	EOF
static int	EQUALS
static int	error
static int	ID
static int	LCURLY
static int	LPAREN
static int	NUMBER
static int	PLUS
static int	POUND
static int	RCURLY
static int	RPAREN
static int	SEMI
static int	STRING
static int	TIMES
static int	USE

Constructor Summary

sym()

Methods inherited from class java.lang.Object

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

Field Detail

TIMES

public static final int TIMES

PLUS

public static final int PLUS

RPAREN

public static final int RPAREN

SEMI

public static final int SEMI

POUND

public static final int POUND

RCURLY

public static final int RCURLY

LPAREN

public static final int LPAREN

COLON

public static final int COLON

ID

public static final int ID

LCURLY

public static final int LCURLY

STRING

public static final int STRING

EQUALS

public static final int EQUALS

BOX

public static final int BOX

EOF

public static final int EOF

NUMBER

public static final int NUMBER

BACKSLASH

public static final int BACKSLASH

ARROW

public static final int ARROW

error

public static final int error

DOT

public static final int DOT

USE

public static final int USE

BANG

public static final int BANG

DOTSPACE

public static final int DOTSPACE

Constructor Detail

sym

public sym()