| edu.umd.cs.findbugs.ba.jsr305.FlowValue
FlowValue | public enum FlowValue (Code) | | Flow value type for type qualifier dataflow analysis.
author: David Hovemeyer |
ALWAYS | Enum Constant ALWAYS(Code) | | |
NEVER | Enum Constant NEVER(Code) | | |
UNKNOWN | Enum Constant UNKNOWN(Code) | | |
backwardsValueConflictsWithSource | public static boolean backwardsValueConflictsWithSource(FlowValue backwardsFlowValue, SourceSinkInfo source, TypeQualifierValue typeQualifierValue)(Code) | | Determine whether given backwards FlowValue
conflicts with given source.
Parameters: backwardsFlowValue - a backwards FlowValue Parameters: source - SourceSinkInfo object representing a sourcereached by the backwards flow value Parameters: typeQualifierValue - TypeQualifierValue being checked true if backwards value conflicts with source, false if not |
flowValueFromWhen | public static FlowValue flowValueFromWhen(When when)(Code) | | Convert a When value to a FlowValue value.
Parameters: when - a When value the corresponding FlowValue |
isNo | public boolean isNo()(Code) | | |
isUncertain | public boolean isUncertain()(Code) | | |
isYes | public boolean isYes()(Code) | | |
valuesConflict | public static boolean valuesConflict(FlowValue forward, FlowValue backward)(Code) | | Determine whether given flow values conflict.
Parameters: forward - a forwards flow value Parameters: backward - a backwards flow value Parameters: isStrictQualifier - true if the type qualifier being checked is strict true if values conflict, false otherwise |
|
|