Package | Description |
---|---|
edu.umd.cs.findbugs.ba.jsr305 |
Support for analyzing code containing JSR-305 type qualifier annotations.
|
Modifier and Type | Method | Description |
---|---|---|
java.util.Set<SourceSinkInfo> |
TypeQualifierDataflowAnalysis.getSourceSinkInfoSet(Location location) |
Get the set of SourceSinkInfo objects representing sources/sinks
at a given Location.
|
java.util.Set<SourceSinkInfo> |
TypeQualifierValueSet.getWhereAlways(ValueNumber vn) |
|
java.util.Set<SourceSinkInfo> |
TypeQualifierValueSet.getWhereNever(ValueNumber vn) |
Modifier and Type | Method | Description |
---|---|---|
static boolean |
FlowValue.backwardsValueConflictsWithSource(FlowValue backwardsFlowValue,
SourceSinkInfo source,
TypeQualifierValue typeQualifierValue) |
Determine whether given backwards FlowValue
conflicts with given source.
|
int |
SourceSinkInfo.compareTo(SourceSinkInfo o) |
|
void |
TypeQualifierValueSet.modelSourceSink(SourceSinkInfo sourceSinkInfo) |
|
protected void |
TypeQualifierDataflowAnalysis.registerSourceSink(SourceSinkInfo sourceSinkInfo) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.