dk.brics.tajs.lattice

Enum PropertyReference.Kind

java.lang.Object

java.lang.Enum<PropertyReference.Kind>

dk.brics.tajs.lattice.PropertyReference.Kind

All Implemented Interfaces:

Serializable, Comparable<PropertyReference.Kind>

Enclosing class:

PropertyReference

public static enum PropertyReference.Kind
extends Enum<PropertyReference.Kind>

Kind of property being referenced.

Enum Constant Summary

Enum Constants

Enum Constant and Description
DEFAULT_ARRAY
DEFAULT_NONARRAY
INTERNAL_PROTOTYPE
INTERNAL_SCOPE
INTERNAL_VALUE
ORDINARY

Method Summary

Methods

Modifier and Type	Method and Description
static PropertyReference.Kind	valueOf(String name) Returns the enum constant of this type with the specified name.
static PropertyReference.Kind[]	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

DEFAULT_ARRAY

public static final PropertyReference.Kind DEFAULT_ARRAY

DEFAULT_NONARRAY

public static final PropertyReference.Kind DEFAULT_NONARRAY

INTERNAL_PROTOTYPE

public static final PropertyReference.Kind INTERNAL_PROTOTYPE

INTERNAL_SCOPE

public static final PropertyReference.Kind INTERNAL_SCOPE

INTERNAL_VALUE

public static final PropertyReference.Kind INTERNAL_VALUE

ORDINARY

public static final PropertyReference.Kind ORDINARY

Method Detail

valueOf

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

values

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

Returns:

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