edu.cmu.cs.crystal.flow
Enum SingletonLatticeElement
java.lang.Object
java.lang.Enum<SingletonLatticeElement>
edu.cmu.cs.crystal.flow.SingletonLatticeElement
- All Implemented Interfaces:
- Serializable, Comparable<SingletonLatticeElement>
public enum SingletonLatticeElement
- extends Enum<SingletonLatticeElement>
This is a degenerate lattice element class with exactly one element in it. The only purpose
for this class is a flow analysis where we want to walk through the flow, but have no
information to store.
- Author:
- Kevin Bierhoff
INSTANCE
public static final SingletonLatticeElement INSTANCE
SINGLETON_OPS
public static ILatticeOperations<SingletonLatticeElement> SINGLETON_OPS
values
public static final SingletonLatticeElement[] 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(SingletonLatticeElement c : SingletonLatticeElement.values())
System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in
the order they're declared
valueOf
public static SingletonLatticeElement 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