org.eclipse.palamedes.kif.core.parser
Class KIFSymbols

java.lang.Object
  org.eclipse.palamedes.kif.core.parser.KIFSymbols

public class KIFSymbols
extends java.lang.Object

CUP generated class containing symbol constants.

Field Summary

static int	AND
static int	CLOSE
static int	COMMENT
static int	CONSTANT
static int	EOF
static int	error
static int	IMP
static int	NOT
static int	OPEN
static int	OR
static int	VARIABLE

Constructor Summary

KIFSymbols()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

CONSTANT

public static final int CONSTANT

See Also:

Constant Field Values

AND

public static final int AND

See Also:

Constant Field Values

OPEN

public static final int OPEN

See Also:

Constant Field Values

VARIABLE

public static final int VARIABLE

See Also:

Constant Field Values

EOF

public static final int EOF

See Also:

Constant Field Values

IMP

public static final int IMP

See Also:

Constant Field Values

CLOSE

public static final int CLOSE

See Also:

Constant Field Values

error

public static final int error

See Also:

Constant Field Values

NOT

public static final int NOT

See Also:

Constant Field Values

COMMENT

public static final int COMMENT

See Also:

Constant Field Values

OR

public static final int OR

See Also:

Constant Field Values

Constructor Detail

KIFSymbols

public KIFSymbols()