com.veromodo.tempo.sem.desc
Enum Descriptor.Kind

java.lang.Object
  extended by java.lang.Enum<Descriptor.Kind>
      extended by com.veromodo.tempo.sem.desc.Descriptor.Kind
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<Descriptor.Kind>
Enclosing class:
Descriptor

public static enum Descriptor.Kind
extends java.lang.Enum<Descriptor.Kind>

The Kind enumeration is useful for defining sets of different types of descriptors These sets are used when collecting descriptors out of the environment's scope and when defining semantic rules The Kind enumeration is not required for distinguishing between different types of descriptors because there is always a 1-to-1 relationship between the instantiatable descriptor classes and the Kind enumeration

Author:
Carleton

Enum Constant Summary
ACTION_FORMAL
           
AUTOMATON_COMPONENT
           
AUTOMATON_COMPONENT_MAP
           
AUTOMATON_FORMAL
           
AUTOMATON_INSTANCE
           
BASIC_AUTOMATON
           
BOUND
           
CHOOSE
           
COMPONENT_FORMAL
           
COMPOSITE_AUTOMATON
           
ENUM_VALUE
           
FUNCTION
           
FUNCTION_FORMAL
           
HIDDEN_LOCAL
           
INFIX_OPERATOR
           
INPUT_SIGNATURE
           
INPUT_TRANSITION
           
INTERNAL_SIGNATURE
           
INTERNAL_TRANSITION
           
LET_FUNCTION
           
LOCAL
           
LOOP
           
MIXFIX_OPERATOR
           
OUTPUT_SIGNATURE
           
OUTPUT_TRANSITION
           
PLACE_HOLDER
           
PREFIX_OPERATOR
           
PROOF_ACTUAL
           
SCHEDULE_STATE
           
STATE
           
SUFFIX_OPERATOR
           
SUM_TAG
           
TASK_FOR
           
TASK_LOCAL
           
TRAJECTORY
           
TUPLE_FIELD
           
TYPE
           
UNQUANTIFIED_ACTUAL
           
VOCABULARY
           
 
Method Summary
static Descriptor.Kind valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static Descriptor.Kind[] values()
          Returns an array containing the constants of this enum type, in the order they're declared.
 
Methods inherited from class java.lang.Enum
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Enum Constant Detail

AUTOMATON_FORMAL

public static final Descriptor.Kind AUTOMATON_FORMAL

ACTION_FORMAL

public static final Descriptor.Kind ACTION_FORMAL

STATE

public static final Descriptor.Kind STATE

LOCAL

public static final Descriptor.Kind LOCAL

CHOOSE

public static final Descriptor.Kind CHOOSE

LOOP

public static final Descriptor.Kind LOOP

BOUND

public static final Descriptor.Kind BOUND

COMPONENT_FORMAL

public static final Descriptor.Kind COMPONENT_FORMAL

SCHEDULE_STATE

public static final Descriptor.Kind SCHEDULE_STATE

PROOF_ACTUAL

public static final Descriptor.Kind PROOF_ACTUAL

FUNCTION_FORMAL

public static final Descriptor.Kind FUNCTION_FORMAL

FUNCTION

public static final Descriptor.Kind FUNCTION

LET_FUNCTION

public static final Descriptor.Kind LET_FUNCTION

TYPE

public static final Descriptor.Kind TYPE

ENUM_VALUE

public static final Descriptor.Kind ENUM_VALUE

TUPLE_FIELD

public static final Descriptor.Kind TUPLE_FIELD

SUM_TAG

public static final Descriptor.Kind SUM_TAG

VOCABULARY

public static final Descriptor.Kind VOCABULARY

BASIC_AUTOMATON

public static final Descriptor.Kind BASIC_AUTOMATON

COMPOSITE_AUTOMATON

public static final Descriptor.Kind COMPOSITE_AUTOMATON

AUTOMATON_INSTANCE

public static final Descriptor.Kind AUTOMATON_INSTANCE

AUTOMATON_COMPONENT

public static final Descriptor.Kind AUTOMATON_COMPONENT

AUTOMATON_COMPONENT_MAP

public static final Descriptor.Kind AUTOMATON_COMPONENT_MAP

INPUT_SIGNATURE

public static final Descriptor.Kind INPUT_SIGNATURE

OUTPUT_SIGNATURE

public static final Descriptor.Kind OUTPUT_SIGNATURE

INTERNAL_SIGNATURE

public static final Descriptor.Kind INTERNAL_SIGNATURE

INPUT_TRANSITION

public static final Descriptor.Kind INPUT_TRANSITION

OUTPUT_TRANSITION

public static final Descriptor.Kind OUTPUT_TRANSITION

INTERNAL_TRANSITION

public static final Descriptor.Kind INTERNAL_TRANSITION

TRAJECTORY

public static final Descriptor.Kind TRAJECTORY

TASK_LOCAL

public static final Descriptor.Kind TASK_LOCAL

TASK_FOR

public static final Descriptor.Kind TASK_FOR

MIXFIX_OPERATOR

public static final Descriptor.Kind MIXFIX_OPERATOR

PREFIX_OPERATOR

public static final Descriptor.Kind PREFIX_OPERATOR

INFIX_OPERATOR

public static final Descriptor.Kind INFIX_OPERATOR

SUFFIX_OPERATOR

public static final Descriptor.Kind SUFFIX_OPERATOR

HIDDEN_LOCAL

public static final Descriptor.Kind HIDDEN_LOCAL

UNQUANTIFIED_ACTUAL

public static final Descriptor.Kind UNQUANTIFIED_ACTUAL

PLACE_HOLDER

public static final Descriptor.Kind PLACE_HOLDER
Method Detail

values

public static final Descriptor.Kind[] values()
Returns an array containing the constants of this enum type, in the order they're declared. This method may be used to iterate over the constants as follows:
for(Descriptor.Kind c : Descriptor.Kind.values())
        System.out.println(c);

Returns:
an array containing the constants of this enum type, in the order they're declared

valueOf

public static Descriptor.Kind 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