net.sourceforge.czt.z.util

Enum ConcreteSyntaxSymbol

java.lang.Object

java.lang.Enum<ConcreteSyntaxSymbol>

net.sourceforge.czt.z.util.ConcreteSyntaxSymbol

All Implemented Interfaces:

Serializable, Comparable<ConcreteSyntaxSymbol>

public enum ConcreteSyntaxSymbol
extends Enum<ConcreteSyntaxSymbol>

An enumeration of concrete syntax symbols. These are based on the concrete syntax productions in the Z standard, plus a few extra symbols for the CZT extensions, such as unparsed paragraphs and various lists and pairs etc.

The ConcreteSyntaxSymbolVisitor in this package can be used to classify most kinds of AST nodes as one of these symbols.

Author:

Petra Malik

Enum Constant Summary

Enum Constants

Enum Constant and Description
ALL_EXPR
ALL_PRED
AND_EXPR
AND_PRED
ANONYMOUS_SPEC
APPL_EXPR
AX_PARA
BIND_EXPR
BIND_SEL_EXPR
BRANCH
BRANCH_LIST
CHAIN_AND_PRED
CHAR_DEF_EXPR
CHAR_SET_COMP_EXPR
COMP_EXPR
COND_EXPR
CONJ_PARA
CONST_DECL
DECL
DECL_LIST
DECOR_EXPR
DEF_PARA
DIRECTIVE
EXI_EXPR
EXI_PRED
EXIONE_EXPR
EXIONE_PRED
EXPR
EXPR_LIST
EXPR_PRED
FALSE_PRED
FREE_PARA
FREETYPE
FREETYPE_LIST
FUN_APPL_EXPR
GENAX_PARA
GENCONJ_PARA
GENDEF_PARA
GENOP_APPL_EXPR
GENREF_EXPR
GENSCH_PARA
GIVEN_PARA
HIDE_EXPR
IFF_EXPR
IFF_PRED
IMPL_EXPR
IMPL_PRED
INCL_DECL
LAMBDA_EXPR
LATEX_MARKUP_PARA
LET_EXPR
LIST
MU_EXPR
NAME
NAME_LIST
NAME_NAME_PAIR
NAME_SECT_TYPE_TRIPLE
NAME_TYPE_PAIR
NARR_PARA
NARR_SECT
NEG_EXPR
NEG_PRED
NL_AND_PRED
NUM_EXPR
NUMERAL
OPDEF_PARA
OPTEMP_PARA
OR_EXPR
OR_PRED
PARA
PARA_LIST
PAREN_EXPR
PAREN_PRED
PARENT
PIPE_EXPR
POWER_EXPR
PRE_EXPR
PRED
PROD_EXPR
PROJ_EXPR
REF_EXPR
REL_PRED
RENAME_EXPR
RENAME_LIST
SCH_EXPR
SCH_PARA
SCH_TEXT
SECT
SECTIONED_SPEC
SEMI_AND_PRED
SET_COMP_EXPR
SET_EXPR
SPEC
STROKE_LIST
THETA_EXPR
TRUE_PRED
TUPLE_EXPR
TUPLE_SEL_EXPR
UNPARSED_PARA
UNPARSED_Z_SECT
VAR_DECL
ZREFINES
ZSTATE

Method Summary

Modifier and Type	Method and Description
static ConcreteSyntaxSymbol	valueOf(String name) Returns the enum constant of this type with the specified name.
static ConcreteSyntaxSymbol[]	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

SPEC

public static final ConcreteSyntaxSymbol SPEC

SECTIONED_SPEC

public static final ConcreteSyntaxSymbol SECTIONED_SPEC

ANONYMOUS_SPEC

public static final ConcreteSyntaxSymbol ANONYMOUS_SPEC

SECT

public static final ConcreteSyntaxSymbol SECT

PARA

public static final ConcreteSyntaxSymbol PARA

GIVEN_PARA

public static final ConcreteSyntaxSymbol GIVEN_PARA

AX_PARA

public static final ConcreteSyntaxSymbol AX_PARA

SCH_PARA

public static final ConcreteSyntaxSymbol SCH_PARA

GENAX_PARA

public static final ConcreteSyntaxSymbol GENAX_PARA

GENSCH_PARA

public static final ConcreteSyntaxSymbol GENSCH_PARA

DEF_PARA

public static final ConcreteSyntaxSymbol DEF_PARA

GENDEF_PARA

public static final ConcreteSyntaxSymbol GENDEF_PARA

OPDEF_PARA

public static final ConcreteSyntaxSymbol OPDEF_PARA

FREE_PARA

public static final ConcreteSyntaxSymbol FREE_PARA

CONJ_PARA

public static final ConcreteSyntaxSymbol CONJ_PARA

GENCONJ_PARA

public static final ConcreteSyntaxSymbol GENCONJ_PARA

OPTEMP_PARA

public static final ConcreteSyntaxSymbol OPTEMP_PARA

FREETYPE

public static final ConcreteSyntaxSymbol FREETYPE

BRANCH

public static final ConcreteSyntaxSymbol BRANCH

PRED

public static final ConcreteSyntaxSymbol PRED

NL_AND_PRED

public static final ConcreteSyntaxSymbol NL_AND_PRED

SEMI_AND_PRED

public static final ConcreteSyntaxSymbol SEMI_AND_PRED

ALL_PRED

public static final ConcreteSyntaxSymbol ALL_PRED

EXI_PRED

public static final ConcreteSyntaxSymbol EXI_PRED

EXIONE_PRED

public static final ConcreteSyntaxSymbol EXIONE_PRED

IFF_PRED

public static final ConcreteSyntaxSymbol IFF_PRED

IMPL_PRED

public static final ConcreteSyntaxSymbol IMPL_PRED

OR_PRED

public static final ConcreteSyntaxSymbol OR_PRED

AND_PRED

public static final ConcreteSyntaxSymbol AND_PRED

NEG_PRED

public static final ConcreteSyntaxSymbol NEG_PRED

REL_PRED

public static final ConcreteSyntaxSymbol REL_PRED

EXPR_PRED

public static final ConcreteSyntaxSymbol EXPR_PRED

TRUE_PRED

public static final ConcreteSyntaxSymbol TRUE_PRED

FALSE_PRED

public static final ConcreteSyntaxSymbol FALSE_PRED

PAREN_PRED

public static final ConcreteSyntaxSymbol PAREN_PRED

EXPR

public static final ConcreteSyntaxSymbol EXPR

ALL_EXPR

public static final ConcreteSyntaxSymbol ALL_EXPR

EXI_EXPR

public static final ConcreteSyntaxSymbol EXI_EXPR

EXIONE_EXPR

public static final ConcreteSyntaxSymbol EXIONE_EXPR

LAMBDA_EXPR

public static final ConcreteSyntaxSymbol LAMBDA_EXPR

MU_EXPR

public static final ConcreteSyntaxSymbol MU_EXPR

LET_EXPR

public static final ConcreteSyntaxSymbol LET_EXPR

IFF_EXPR

public static final ConcreteSyntaxSymbol IFF_EXPR

IMPL_EXPR

public static final ConcreteSyntaxSymbol IMPL_EXPR

OR_EXPR

public static final ConcreteSyntaxSymbol OR_EXPR

AND_EXPR

public static final ConcreteSyntaxSymbol AND_EXPR

NEG_EXPR

public static final ConcreteSyntaxSymbol NEG_EXPR

COND_EXPR

public static final ConcreteSyntaxSymbol COND_EXPR

COMP_EXPR

public static final ConcreteSyntaxSymbol COMP_EXPR

PIPE_EXPR

public static final ConcreteSyntaxSymbol PIPE_EXPR

HIDE_EXPR

public static final ConcreteSyntaxSymbol HIDE_EXPR

PROJ_EXPR

public static final ConcreteSyntaxSymbol PROJ_EXPR

PRE_EXPR

public static final ConcreteSyntaxSymbol PRE_EXPR

PROD_EXPR

public static final ConcreteSyntaxSymbol PROD_EXPR

POWER_EXPR

public static final ConcreteSyntaxSymbol POWER_EXPR

FUN_APPL_EXPR

public static final ConcreteSyntaxSymbol FUN_APPL_EXPR

GENOP_APPL_EXPR

public static final ConcreteSyntaxSymbol GENOP_APPL_EXPR

APPL_EXPR

public static final ConcreteSyntaxSymbol APPL_EXPR

DECOR_EXPR

public static final ConcreteSyntaxSymbol DECOR_EXPR

RENAME_EXPR

public static final ConcreteSyntaxSymbol RENAME_EXPR

BIND_SEL_EXPR

public static final ConcreteSyntaxSymbol BIND_SEL_EXPR

TUPLE_SEL_EXPR

public static final ConcreteSyntaxSymbol TUPLE_SEL_EXPR

THETA_EXPR

public static final ConcreteSyntaxSymbol THETA_EXPR

REF_EXPR

public static final ConcreteSyntaxSymbol REF_EXPR

GENREF_EXPR

public static final ConcreteSyntaxSymbol GENREF_EXPR

NUM_EXPR

public static final ConcreteSyntaxSymbol NUM_EXPR

SET_EXPR

public static final ConcreteSyntaxSymbol SET_EXPR

SET_COMP_EXPR

public static final ConcreteSyntaxSymbol SET_COMP_EXPR

CHAR_SET_COMP_EXPR

public static final ConcreteSyntaxSymbol CHAR_SET_COMP_EXPR

SCH_EXPR

public static final ConcreteSyntaxSymbol SCH_EXPR

BIND_EXPR

public static final ConcreteSyntaxSymbol BIND_EXPR

TUPLE_EXPR

public static final ConcreteSyntaxSymbol TUPLE_EXPR

CHAR_DEF_EXPR

public static final ConcreteSyntaxSymbol CHAR_DEF_EXPR

PAREN_EXPR

public static final ConcreteSyntaxSymbol PAREN_EXPR

SCH_TEXT

public static final ConcreteSyntaxSymbol SCH_TEXT

DECL

public static final ConcreteSyntaxSymbol DECL

CONST_DECL

public static final ConcreteSyntaxSymbol CONST_DECL

VAR_DECL

public static final ConcreteSyntaxSymbol VAR_DECL

INCL_DECL

public static final ConcreteSyntaxSymbol INCL_DECL

NAME

public static final ConcreteSyntaxSymbol NAME

UNPARSED_Z_SECT

public static final ConcreteSyntaxSymbol UNPARSED_Z_SECT

NARR_SECT

public static final ConcreteSyntaxSymbol NARR_SECT

LATEX_MARKUP_PARA

public static final ConcreteSyntaxSymbol LATEX_MARKUP_PARA

NARR_PARA

public static final ConcreteSyntaxSymbol NARR_PARA

UNPARSED_PARA

public static final ConcreteSyntaxSymbol UNPARSED_PARA

CHAIN_AND_PRED

public static final ConcreteSyntaxSymbol CHAIN_AND_PRED

PARENT

public static final ConcreteSyntaxSymbol PARENT

DIRECTIVE

public static final ConcreteSyntaxSymbol DIRECTIVE

NUMERAL

public static final ConcreteSyntaxSymbol NUMERAL

NAME_SECT_TYPE_TRIPLE

public static final ConcreteSyntaxSymbol NAME_SECT_TYPE_TRIPLE

NAME_TYPE_PAIR

public static final ConcreteSyntaxSymbol NAME_TYPE_PAIR

NAME_NAME_PAIR

public static final ConcreteSyntaxSymbol NAME_NAME_PAIR

LIST

public static final ConcreteSyntaxSymbol LIST

BRANCH_LIST

public static final ConcreteSyntaxSymbol BRANCH_LIST

DECL_LIST

public static final ConcreteSyntaxSymbol DECL_LIST

NAME_LIST

public static final ConcreteSyntaxSymbol NAME_LIST

EXPR_LIST

public static final ConcreteSyntaxSymbol EXPR_LIST

FREETYPE_LIST

public static final ConcreteSyntaxSymbol FREETYPE_LIST

PARA_LIST

public static final ConcreteSyntaxSymbol PARA_LIST

RENAME_LIST

public static final ConcreteSyntaxSymbol RENAME_LIST

STROKE_LIST

public static final ConcreteSyntaxSymbol STROKE_LIST

ZREFINES

public static final ConcreteSyntaxSymbol ZREFINES

ZSTATE

public static final ConcreteSyntaxSymbol ZSTATE

Method Detail

values

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

Returns:

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

valueOf

public static ConcreteSyntaxSymbol valueOf(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:

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

NullPointerException - if the argument is null