net.sourceforge.czt.parser.z
Enum Keyword

java.lang.Object
  java.lang.Enum<Keyword>
      net.sourceforge.czt.parser.z.Keyword

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<Keyword>, Token

public enum Keyword
extends java.lang.Enum<Keyword>
implements Token

Enum Constant Summary

ALL

AND

ANDALSO

ARG

BAR

COLON

COMMA

CONJECTURE

CROSS

DEFEQUAL

DEFFREE

DOT

ELSE

EQUALS

EXI

EXIONE

FALSE

FUNCTION

GENERIC

IF

IFF

IMP

LAMBDA

LEFTASSOC

LET

LISTARG

MEM

MU

NOT

OR

PARENTS

POWER

RELATION

RIGHTASSOC

SECTION

SEMICOLON

SLASH

SPOT

THEN

THETA

TRUE

ZCOMP

ZHIDE

ZPIPE

ZPRE

ZPROJ

Method Summary

java.lang.String	getName()
java.lang.Object	getSpelling()
java.lang.String	spelling()
static Keyword	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Keyword[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

ELSE

public static final Keyword ELSE

FALSE

public static final Keyword FALSE

FUNCTION

public static final Keyword FUNCTION

GENERIC

public static final Keyword GENERIC

IF

public static final Keyword IF

LEFTASSOC

public static final Keyword LEFTASSOC

LET

public static final Keyword LET

POWER

public static final Keyword POWER

PARENTS

public static final Keyword PARENTS

ZPRE

public static final Keyword ZPRE

RELATION

public static final Keyword RELATION

RIGHTASSOC

public static final Keyword RIGHTASSOC

SECTION

public static final Keyword SECTION

THEN

public static final Keyword THEN

TRUE

public static final Keyword TRUE

COLON

public static final Keyword COLON

DEFEQUAL

public static final Keyword DEFEQUAL

COMMA

public static final Keyword COMMA

DEFFREE

public static final Keyword DEFFREE

BAR

public static final Keyword BAR

ANDALSO

public static final Keyword ANDALSO

ZHIDE

public static final Keyword ZHIDE

SLASH

public static final Keyword SLASH

DOT

public static final Keyword DOT

SEMICOLON

public static final Keyword SEMICOLON

ARG

public static final Keyword ARG

LISTARG

public static final Keyword LISTARG

EQUALS

public static final Keyword EQUALS

CONJECTURE

public static final Keyword CONJECTURE

ALL

public static final Keyword ALL

SPOT

public static final Keyword SPOT

EXI

public static final Keyword EXI

EXIONE

public static final Keyword EXIONE

IFF

public static final Keyword IFF

IMP

public static final Keyword IMP

OR

public static final Keyword OR

AND

public static final Keyword AND

NOT

public static final Keyword NOT

MEM

public static final Keyword MEM

ZPROJ

public static final Keyword ZPROJ

CROSS

public static final Keyword CROSS

LAMBDA

public static final Keyword LAMBDA

MU

public static final Keyword MU

THETA

public static final Keyword THETA

ZCOMP

public static final Keyword ZCOMP

ZPIPE

public static final Keyword ZPIPE

Method Detail

values

public static Keyword[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (Keyword c : Keyword.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static Keyword valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

getName

public java.lang.String getName()

Specified by:

getName in interface Token

getSpelling

public java.lang.Object getSpelling()

Specified by:

getSpelling in interface Token

spelling

public java.lang.String spelling()

Specified by:

spelling in interface Token