|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<FlowValue>
edu.umd.cs.findbugs.ba.jsr305.FlowValue
public enum FlowValue
Flow value type for type qualifier dataflow analysis.
Enum Constant Summary | |
---|---|
ALWAYS
|
|
NEVER
|
|
TOP
|
|
UNKNOWN
|
Method Summary | |
---|---|
static boolean |
backwardsValueConflictsWithSource(FlowValue backwardsFlowValue,
SourceSinkInfo source,
TypeQualifierValue typeQualifierValue)
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(FlowValue forward,
FlowValue backward)
Determine whether given flow values conflict. |
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 FlowValue TOP
public static final FlowValue ALWAYS
public static final FlowValue NEVER
public static final FlowValue UNKNOWN
Method Detail |
---|
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 name
java.lang.NullPointerException
- if the argument is nullpublic boolean isYes()
public boolean isUncertain()
public boolean isNo()
public static final FlowValue meet(FlowValue a, FlowValue b)
public static boolean valuesConflict(FlowValue forward, FlowValue backward)
forward
- a forwards flow valuebackward
- a backwards flow value
public static FlowValue flowValueFromWhen(javax.annotation.meta.When when)
when
- a When value
public static boolean backwardsValueConflictsWithSource(FlowValue backwardsFlowValue, SourceSinkInfo source, TypeQualifierValue typeQualifierValue)
backwardsFlowValue
- a backwards FlowValuesource
- SourceSinkInfo object representing a source
reached by the backwards flow valuetypeQualifierValue
- TypeQualifierValue being checked
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |