Uses of Enum Class
edu.umd.cs.findbugs.ba.jsr305.FlowValue
Packages that use FlowValue
Package
Description
Support for analyzing code containing JSR-305 type qualifier annotations.
-
Uses of FlowValue in edu.umd.cs.findbugs.ba.jsr305
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as FlowValueFields in edu.umd.cs.findbugs.ba.jsr305 with type parameters of type FlowValueModifier and TypeFieldDescriptionprivate final Map
<ValueNumber, FlowValue> TypeQualifierValueSet.valueMap
Methods in edu.umd.cs.findbugs.ba.jsr305 that return FlowValueModifier and TypeMethodDescriptionstatic FlowValue
FlowValue.flowValueFromWhen
(javax.annotation.meta.When when) Convert a When value to a FlowValue value.TypeQualifierValueSet.getValue
(ValueNumber vn) static final FlowValue
static FlowValue
Returns the enum constant of this class with the specified name.static FlowValue[]
FlowValue.values()
Returns an array containing the constants of this enum class, in the order they are declared.Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type FlowValueModifier and TypeMethodDescriptionstatic boolean
FlowValue.backwardsValueConflictsWithSource
(FlowValue backwardsFlowValue, SourceSinkInfo source, TypeQualifierValue typeQualifierValue, boolean isIdentity) Determine whether given backwards FlowValue conflicts with given source.static final FlowValue
private void
TypeQualifierValueSet.setValue
(ValueNumber vn, FlowValue flowValue) 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 FlowValueModifier and TypeMethodDescriptionprivate 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
(String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)