Uses of Enum
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
Subclasses with type arguments of type FlowValue in edu.umd.cs.findbugs.ba.jsr305Modifier and TypeClassDescriptionenumFlow value type for type qualifier dataflow analysis.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.valueMapMethods in edu.umd.cs.findbugs.ba.jsr305 that return FlowValueModifier and TypeMethodDescriptionstatic FlowValueFlowValue.flowValueFromWhen(javax.annotation.meta.When when) Convert a When value to a FlowValue value.TypeQualifierValueSet.getValue(ValueNumber vn) static final FlowValuestatic FlowValueReturns 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 FlowValueModifier and TypeMethodDescriptionstatic booleanFlowValue.backwardsValueConflictsWithSource(FlowValue backwardsFlowValue, SourceSinkInfo source, TypeQualifierValue typeQualifierValue, boolean isIdentity) Determine whether given backwards FlowValue conflicts with given source.static final FlowValueprivate voidTypeQualifierValueSet.setValue(ValueNumber vn, FlowValue flowValue) TypeQualifierValueSet.valueNumberToString(ValueNumber vn, FlowValue value) static booleanFlowValue.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 voidCheckTypeQualifiers.emitDataflowWarning(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame) private voidCheckTypeQualifiers.emitSourceWarning(String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)