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)