Uses of Class
edu.umd.cs.findbugs.ba.jsr305.FlowValue
-
Packages that use FlowValue Package Description edu.umd.cs.findbugs.ba.jsr305 Support for analyzing code containing JSR-305 type qualifier annotations.edu.umd.cs.findbugs.detect -
-
Uses of FlowValue in edu.umd.cs.findbugs.ba.jsr305
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as FlowValue Modifier and Type Field Description private static FlowValue[][]
FlowValue. mergeMatrix
Fields in edu.umd.cs.findbugs.ba.jsr305 with type parameters of type FlowValue Modifier and Type Field Description private java.util.Map<ValueNumber,FlowValue>
TypeQualifierValueSet. valueMap
Methods in edu.umd.cs.findbugs.ba.jsr305 that return FlowValue Modifier and Type Method 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.Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type FlowValue Modifier and Type Method 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)
private void
TypeQualifierValueSet. setValue(ValueNumber vn, FlowValue flowValue)
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. -
Uses of FlowValue in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type FlowValue Modifier and Type Method Description private void
CheckTypeQualifiers. emitDataflowWarning(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void
CheckTypeQualifiers. emitSourceWarning(java.lang.String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)
-