Package | Description |
---|---|
edu.umd.cs.findbugs.ba.jsr305 |
Support for analyzing code containing JSR-305 type qualifier annotations.
|
Modifier and Type | Method and 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<? extends SourceSinkInfo> |
TypeQualifierValueSet.getWhere(ValueNumber vn) |
java.util.Set<? extends SourceSinkInfo> |
TypeQualifierValueSet.getWhereAlways(ValueNumber vn) |
java.util.Set<? extends SourceSinkInfo> |
TypeQualifierValueSet.getWhereNever(ValueNumber vn) |
Modifier and Type | Method and Description |
---|---|
static boolean |
FlowValue.backwardsValueConflictsWithSource(FlowValue backwardsFlowValue,
SourceSinkInfo source,
TypeQualifierValue typeQualifierValue,
boolean isIdentity)
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.