|
||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<AliasStatus>
dk.brics.string.intermediate.operations.AliasStatus
public enum AliasStatus
Describes the known aliasing status between two variables. Represents the elements of the lattice:
MAYBE
/ \NOT
DEFINITELY
\ /BOTTOM
Enum Constant Summary | |
---|---|
BOTTOM
Bottom element. |
|
DEFINITELY
The two variables are definitely aliased. |
|
MAYBE
The two variables may or may not be aliased. |
|
NOT
The two variables are definitely not aliased. |
Method Summary | |
---|---|
AliasStatus |
greatestLowerBound(AliasStatus other)
|
boolean |
isDefinitelyOrBottom()
Returns true if this is DEFINITELY or BOTTOM . |
AliasStatus |
leastUpperBound(AliasStatus other)
|
boolean |
mightBeAlias()
Returns true if this is DEFINITELY or MAYBE . |
static AliasStatus |
valueOf(String name)
Returns the enum constant of this type with the specified name. |
static AliasStatus[] |
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 |
---|
public static final AliasStatus BOTTOM
public static final AliasStatus DEFINITELY
public static final AliasStatus MAYBE
public static final AliasStatus NOT
Method Detail |
---|
public AliasStatus greatestLowerBound(AliasStatus other)
public boolean isDefinitelyOrBottom()
DEFINITELY
or BOTTOM
.
public AliasStatus leastUpperBound(AliasStatus other)
public boolean mightBeAlias()
DEFINITELY
or MAYBE
.
public static AliasStatus valueOf(String name)
name
- the name of the enum constant to be returned.
IllegalArgumentException
- if this enum type has no constant
with the specified name
NullPointerException
- if the argument is nullpublic static AliasStatus[] values()
for (AliasStatus c : AliasStatus.values()) System.out.println(c);
|
||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |