Modifier and Type | Method and Description |
---|---|
static boolean |
backwardsValueConflictsWithSource(FlowValue backwardsFlowValue,
SourceSinkInfo source,
TypeQualifierValue typeQualifierValue,
boolean isIdentity)
Determine whether given backwards FlowValue conflicts with given source.
|
static FlowValue |
flowValueFromWhen(javax.annotation.meta.When when)
Convert a When value to a FlowValue value.
|
boolean |
isNo() |
boolean |
isUncertain() |
boolean |
isYes() |
static FlowValue |
meet(FlowValue a,
FlowValue b) |
static FlowValue |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static FlowValue[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
static boolean |
valuesConflict(boolean strictChecking,
FlowValue forward,
FlowValue backward)
Determine whether given flow values conflict.
|
public static final FlowValue TOP
public static final FlowValue ALWAYS
public static final FlowValue NEVER
public static final FlowValue UNKNOWN
public static FlowValue[] values()
for (FlowValue c : FlowValue.values()) System.out.println(c);
public static FlowValue valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic boolean isYes()
public boolean isUncertain()
public boolean isNo()
public static boolean valuesConflict(boolean strictChecking, FlowValue forward, FlowValue backward)
forward
- a forwards flow valuebackward
- a backwards flow valuepublic static FlowValue flowValueFromWhen(javax.annotation.meta.When when)
when
- a When valuepublic static boolean backwardsValueConflictsWithSource(FlowValue backwardsFlowValue, SourceSinkInfo source, TypeQualifierValue typeQualifierValue, boolean isIdentity)
backwardsFlowValue
- a backwards FlowValuesource
- SourceSinkInfo object representing a source reached by the
backwards flow valuetypeQualifierValue
- TypeQualifierValue being checkedisIdentity
- TODOFindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.