net.sourceforge.czt.util

Enum Section

java.lang.Object

java.lang.Enum<Section>

net.sourceforge.czt.util.Section

All Implemented Interfaces:

Serializable, Comparable<Section>

public enum Section
extends Enum<Section>

Common section names.

Author:

Petra Malik, Leo Freitas

Enum Constant Summary

Enum Constants

Enum Constant and Description
ANONYMOUS The name given to an anonymous specification when rule 12.2.2.1 (defined in the ISO Standard for Z) is applied.
CIRCUS_PRELUDE Circus toolkits
CIRCUS_TOOLKIT
CIRCUSCONF_PRELUDE Circus Time toolkits
CIRCUSCONF_TOOLKIT
CIRCUSTIME_PRELUDE Circus Time toolkits
CIRCUSTIME_TOOLKIT
DC_TOOLKIT VCG toolkits
EXPANSION_RULES Rule toolkits
FSB_TOOLKIT
FUNCTION_TOOLKIT
FUZZ_TOOLKIT Extra toolkit names for Z
NORMALIZATION_RULES
NUMBER_TOOLKIT
ORACLE_TOOLKIT Z Pattern toolkits
OZ_TOOLKIT OZ toolkits
PREDICATE_NORMALIZATION_RULES
PRELUDE Z prelude and mathematical toolkits.
PREPROCESS ZLive
REF_TOOLKIT
RELATION_TOOLKIT
SEQUENCE_TOOLKIT
SET_TOOLKIT
SIMPLIFICATION_RULES
STANDARD_TOOLKIT
UNFOLD
WHITESPACE
WIZARD
ZEVES_BAG_TOOLKIT
ZEVES_PRELUDE ZEves toolkits
ZEVES_TOOLKIT
ZPATT_TOOLKIT

Method Summary

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

ANONYMOUS

public static final Section ANONYMOUS

The name given to an anonymous specification when rule 12.2.2.1 (defined in the ISO Standard for Z) is applied.

PRELUDE

public static final Section PRELUDE

Z prelude and mathematical toolkits.

STANDARD_TOOLKIT

public static final Section STANDARD_TOOLKIT

NUMBER_TOOLKIT

public static final Section NUMBER_TOOLKIT

FUNCTION_TOOLKIT

public static final Section FUNCTION_TOOLKIT

RELATION_TOOLKIT

public static final Section RELATION_TOOLKIT

SEQUENCE_TOOLKIT

public static final Section SEQUENCE_TOOLKIT

SET_TOOLKIT

public static final Section SET_TOOLKIT

FUZZ_TOOLKIT

public static final Section FUZZ_TOOLKIT

Extra toolkit names for Z

WHITESPACE

public static final Section WHITESPACE

ORACLE_TOOLKIT

public static final Section ORACLE_TOOLKIT

Z Pattern toolkits

ZPATT_TOOLKIT

public static final Section ZPATT_TOOLKIT

ZEVES_PRELUDE

public static final Section ZEVES_PRELUDE

ZEves toolkits

ZEVES_TOOLKIT

public static final Section ZEVES_TOOLKIT

ZEVES_BAG_TOOLKIT

public static final Section ZEVES_BAG_TOOLKIT

OZ_TOOLKIT

public static final Section OZ_TOOLKIT

OZ toolkits

WIZARD

public static final Section WIZARD

CIRCUS_PRELUDE

public static final Section CIRCUS_PRELUDE

Circus toolkits

CIRCUS_TOOLKIT

public static final Section CIRCUS_TOOLKIT

CIRCUSTIME_PRELUDE

public static final Section CIRCUSTIME_PRELUDE

Circus Time toolkits

CIRCUSTIME_TOOLKIT

public static final Section CIRCUSTIME_TOOLKIT

CIRCUSCONF_PRELUDE

public static final Section CIRCUSCONF_PRELUDE

Circus Time toolkits

CIRCUSCONF_TOOLKIT

public static final Section CIRCUSCONF_TOOLKIT

DC_TOOLKIT

public static final Section DC_TOOLKIT

VCG toolkits

FSB_TOOLKIT

public static final Section FSB_TOOLKIT

REF_TOOLKIT

public static final Section REF_TOOLKIT

EXPANSION_RULES

public static final Section EXPANSION_RULES

Rule toolkits

NORMALIZATION_RULES

public static final Section NORMALIZATION_RULES

PREDICATE_NORMALIZATION_RULES

public static final Section PREDICATE_NORMALIZATION_RULES

SIMPLIFICATION_RULES

public static final Section SIMPLIFICATION_RULES

UNFOLD

public static final Section UNFOLD

PREPROCESS

public static final Section PREPROCESS

ZLive

Method Detail

values

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

Returns:

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

valueOf

public static Section 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

getName

public String getName()

getDialect

public String getDialect()

standardSections

public static Set<String> standardSections()

standardSections

public static Set<String> standardSections(String dialect)