Package | Description |
---|---|
edu.umd.cs.findbugs.ba.jsr305 |
Support for analyzing code containing JSR-305 type qualifier annotations.
|
Modifier and Type | Method and Description |
---|---|
static FlowValue |
FlowValue.flowValueFromWhen(javax.annotation.meta.When when)
Convert a When value to a FlowValue value.
|
FlowValue |
TypeQualifierValueSet.getValue(ValueNumber vn) |
static FlowValue |
FlowValue.meet(FlowValue a,
FlowValue b) |
static FlowValue |
FlowValue.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static FlowValue[] |
FlowValue.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
FlowValue.backwardsValueConflictsWithSource(FlowValue backwardsFlowValue,
SourceSinkInfo source,
TypeQualifierValue typeQualifierValue,
boolean isIdentity)
Determine whether given backwards FlowValue conflicts with given source.
|
static FlowValue |
FlowValue.meet(FlowValue a,
FlowValue b) |
java.lang.String |
TypeQualifierValueSet.valueNumberToString(ValueNumber vn,
FlowValue value) |
static boolean |
FlowValue.valuesConflict(boolean strictChecking,
FlowValue forward,
FlowValue backward)
Determine whether given flow values conflict.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.