com.veromodo.tempo.sem.type
Enum Type.TypeKind

java.lang.Object
  extended by java.lang.Enum<Type.TypeKind>
      extended by com.veromodo.tempo.sem.type.Type.TypeKind
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<Type.TypeKind>
Enclosing class:
Type

public static enum Type.TypeKind
extends java.lang.Enum<Type.TypeKind>

Defines a set of all the type classes.


Enum Constant Summary
Array
           
AugmentedReal
           
Automaton
           
BasicAutomaton
           
Bool
           
Char
           
CompositeAutomaton
           
Constructor
           
DiscreteReal
           
Enum
           
EnumValue
           
Error
           
Float
           
Fun
           
Functional
           
FunctionalGeneric
           
Generic
           
Id
           
Indexed
           
Instance
           
Int
           
Int32
           
List
           
Map
           
Meta
           
Nat
           
Numeric
           
Parameter
           
Real
           
Sum
           
Tuple
           
Variable
           
Void
           
 
Method Summary
static Type.TypeKind valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static Type.TypeKind[] 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

Numeric

public static final Type.TypeKind Numeric

AugmentedReal

public static final Type.TypeKind AugmentedReal

Real

public static final Type.TypeKind Real

DiscreteReal

public static final Type.TypeKind DiscreteReal

Float

public static final Type.TypeKind Float

Int

public static final Type.TypeKind Int

Int32

public static final Type.TypeKind Int32

Nat

public static final Type.TypeKind Nat

Bool

public static final Type.TypeKind Bool

Indexed

public static final Type.TypeKind Indexed

Array

public static final Type.TypeKind Array

Map

public static final Type.TypeKind Map

Sum

public static final Type.TypeKind Sum

Fun

public static final Type.TypeKind Fun

Generic

public static final Type.TypeKind Generic

Parameter

public static final Type.TypeKind Parameter

Tuple

public static final Type.TypeKind Tuple

Error

public static final Type.TypeKind Error

Id

public static final Type.TypeKind Id

Void

public static final Type.TypeKind Void

Constructor

public static final Type.TypeKind Constructor

Functional

public static final Type.TypeKind Functional

Char

public static final Type.TypeKind Char

Enum

public static final Type.TypeKind Enum

EnumValue

public static final Type.TypeKind EnumValue

Variable

public static final Type.TypeKind Variable

Automaton

public static final Type.TypeKind Automaton

BasicAutomaton

public static final Type.TypeKind BasicAutomaton

CompositeAutomaton

public static final Type.TypeKind CompositeAutomaton

Instance

public static final Type.TypeKind Instance

FunctionalGeneric

public static final Type.TypeKind FunctionalGeneric

List

public static final Type.TypeKind List

Meta

public static final Type.TypeKind Meta
Method Detail

values

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

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

valueOf

public static Type.TypeKind 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