nts.interf.base
Enum EModifier

java.lang.Object
  extended by java.lang.Enum<EModifier>
      extended by nts.interf.base.EModifier
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<EModifier>

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

Declaration modifier.


Enum Constant Summary
IN
          input of a subsystem
LOGICAL
          logical variable declared in a quantifier scope
NO
          no modifier
OUT
          output of a subsystem
PARAM
          global-level or subsystem parameter
TID
          thread ID
 
Method Summary
static EModifier valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static EModifier[] 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

NO

public static final EModifier NO
no modifier


PARAM

public static final EModifier PARAM
global-level or subsystem parameter


IN

public static final EModifier IN
input of a subsystem


OUT

public static final EModifier OUT
output of a subsystem


TID

public static final EModifier TID
thread ID


LOGICAL

public static final EModifier LOGICAL
logical variable declared in a quantifier scope

Method Detail

values

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

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

valueOf

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