gestIT
Enum TmpOperator

java.lang.Object
  extended by java.lang.Enum<TmpOperator>
      extended by gestIT.TmpOperator
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<TmpOperator>

public enum TmpOperator
extends java.lang.Enum<TmpOperator>

Enumerator class for building block operators

Author:
nicola

Enum Constant Summary
Choice
           
Disabling
           
Enabling
           
ImmediateChoice
           
None
           
OrderIndependence
           
Parallel
           
SynchronizedParallel
           
 
Method Summary
static TmpOperator valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static TmpOperator[] values()
          Returns an array containing the constants of this enum type, in the order they are 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

ImmediateChoice

public static final TmpOperator ImmediateChoice

Choice

public static final TmpOperator Choice

Enabling

public static final TmpOperator Enabling

SynchronizedParallel

public static final TmpOperator SynchronizedParallel

Parallel

public static final TmpOperator Parallel

Disabling

public static final TmpOperator Disabling

OrderIndependence

public static final TmpOperator OrderIndependence

None

public static final TmpOperator None
Method Detail

values

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

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

valueOf

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