net.sourceforge.czt.parser.circus
Enum CircusKeyword

java.lang.Object
  java.lang.Enum<CircusKeyword>
      net.sourceforge.czt.parser.circus.CircusKeyword

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<CircusKeyword>, net.sourceforge.czt.parser.util.Token

public enum CircusKeyword
extends java.lang.Enum<CircusKeyword>
implements net.sourceforge.czt.parser.util.Token

Circus keyword spelling for KeywordScanner These are the keywords for the context senstitive lexis (see Z standard and the context sensitive lexer, as the keyword scanner). Context sensitive lexing happens after the context free scanner transforms DecorWord strings into Keywords. TODO: Rearrange this and CircusToken, trying to follow a logical arrangement of keywords and tokens like what was done in the Z standard.

Author:

Leo Freitas

Enum Constant Summary

CIRCASSERTREF

CIRCASSIGN

CIRCBEGIN

CIRCCHAN

CIRCCHANFROM

CIRCCHANSET

CIRCCHAOS

CIRCDEF
Keywords with new-lines accepted both b/a them *

CIRCDO
Keywords with new-lines accepted "after" them *

CIRCELSE

CIRCEND

CIRCFI

CIRCHIDING

CIRCINDEX

CIRCMU

CIRCNAMESET

CIRCOD
Keywords with new-lines accepted "before" them *

CIRCPROC

CIRCREFINES

CIRCRES

CIRCSEQ

CIRCSIMULATES

CIRCSKIP
Keywords without new-lines accepted (no-fix) *

CIRCSTATE

CIRCSTOP

CIRCTHEN

CIRCVAL

CIRCVAR

CIRCVRES

EXTCHOICE

INTCHOICE

INTERLEAVE

PREFIXCOLON

PREFIXTHEN

REPEXTCHOICE

REPINTCHOICE

REPINTERLEAVE

REPPARALLEL

Method Summary

java.lang.String	getName()
java.lang.Object	getSpelling()
java.lang.String	spelling()
static CircusKeyword	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static CircusKeyword[]	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

CIRCOD

public static final CircusKeyword CIRCOD

Keywords with new-lines accepted "before" them *

CIRCEND

public static final CircusKeyword CIRCEND

CIRCFI

public static final CircusKeyword CIRCFI

CIRCDO

public static final CircusKeyword CIRCDO

Keywords with new-lines accepted "after" them *

CIRCVAR

public static final CircusKeyword CIRCVAR

CIRCVAL

public static final CircusKeyword CIRCVAL

CIRCRES

public static final CircusKeyword CIRCRES

CIRCVRES

public static final CircusKeyword CIRCVRES

CIRCCHAN

public static final CircusKeyword CIRCCHAN

CIRCCHANFROM

public static final CircusKeyword CIRCCHANFROM

CIRCCHANSET

public static final CircusKeyword CIRCCHANSET

CIRCNAMESET

public static final CircusKeyword CIRCNAMESET

CIRCPROC

public static final CircusKeyword CIRCPROC

CIRCASSERTREF

public static final CircusKeyword CIRCASSERTREF

CIRCBEGIN

public static final CircusKeyword CIRCBEGIN

CIRCSTATE

public static final CircusKeyword CIRCSTATE

REPINTERLEAVE

public static final CircusKeyword REPINTERLEAVE

REPPARALLEL

public static final CircusKeyword REPPARALLEL

REPEXTCHOICE

public static final CircusKeyword REPEXTCHOICE

REPINTCHOICE

public static final CircusKeyword REPINTCHOICE

CIRCDEF

public static final CircusKeyword CIRCDEF

Keywords with new-lines accepted both b/a them *

CIRCINDEX

public static final CircusKeyword CIRCINDEX

CIRCTHEN

public static final CircusKeyword CIRCTHEN

CIRCELSE

public static final CircusKeyword CIRCELSE

PREFIXTHEN

public static final CircusKeyword PREFIXTHEN

PREFIXCOLON

public static final CircusKeyword PREFIXCOLON

CIRCSEQ

public static final CircusKeyword CIRCSEQ

INTERLEAVE

public static final CircusKeyword INTERLEAVE

CIRCHIDING

public static final CircusKeyword CIRCHIDING

EXTCHOICE

public static final CircusKeyword EXTCHOICE

INTCHOICE

public static final CircusKeyword INTCHOICE

CIRCASSIGN

public static final CircusKeyword CIRCASSIGN

CIRCREFINES

public static final CircusKeyword CIRCREFINES

CIRCSIMULATES

public static final CircusKeyword CIRCSIMULATES

CIRCMU

public static final CircusKeyword CIRCMU

CIRCSKIP

public static final CircusKeyword CIRCSKIP

Keywords without new-lines accepted (no-fix) *

CIRCSTOP

public static final CircusKeyword CIRCSTOP

CIRCCHAOS

public static final CircusKeyword CIRCCHAOS

Method Detail

values

public static CircusKeyword[] 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 (CircusKeyword c : CircusKeyword.values())
    System.out.println(c);

Returns:

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

valueOf

public static CircusKeyword 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 net.sourceforge.czt.parser.util.Token

getSpelling

public java.lang.Object getSpelling()

Specified by:

getSpelling in interface net.sourceforge.czt.parser.util.Token

spelling

public java.lang.String spelling()

Specified by:

spelling in interface net.sourceforge.czt.parser.util.Token