|
FindBugs™ 1.3.4 | |||||||||
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're declared. |
static boolean |
valuesConflict(FlowValue forward,
FlowValue backward)
Determine whether given flow values conflict. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
finalize, 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 final 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 namepublic 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.4 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |