Package | Description |
---|---|
edu.umd.cs.findbugs.ba.jsr305 |
Support for analyzing code containing JSR-305 type qualifier annotations.
|
Modifier and Type | Method | Description |
---|---|---|
TypeQualifierValueSet |
TypeQualifierDataflowAnalysis.createFact() |
Modifier and Type | Method | Description |
---|---|---|
void |
TypeQualifierDataflowAnalysis.copy(TypeQualifierValueSet source,
TypeQualifierValueSet dest) |
|
void |
BackwardTypeQualifierDataflowAnalysis.edgeTransfer(Edge edge,
TypeQualifierValueSet fact) |
|
void |
TypeQualifierDataflowAnalysis.edgeTransfer(Edge edge,
TypeQualifierValueSet fact) |
|
void |
TypeQualifierDataflowAnalysis.initEntryFact(TypeQualifierValueSet result) |
|
boolean |
TypeQualifierDataflowAnalysis.isFactValid(TypeQualifierValueSet fact) |
|
boolean |
TypeQualifierDataflowAnalysis.isTop(TypeQualifierValueSet fact) |
|
void |
TypeQualifierDataflowAnalysis.makeFactTop(TypeQualifierValueSet fact) |
|
void |
TypeQualifierValueSet.makeSameAs(TypeQualifierValueSet source) |
|
void |
TypeQualifierDataflowAnalysis.meetInto(TypeQualifierValueSet fact,
Edge edge,
TypeQualifierValueSet result) |
|
void |
TypeQualifierValueSet.mergeWith(TypeQualifierValueSet fact) |
|
protected void |
BackwardTypeQualifierDataflowAnalysis.propagateAcrossPhiNode(TypeQualifierValueSet fact,
ValueNumber sourceVN,
ValueNumber targetVN) |
|
protected void |
ForwardTypeQualifierDataflowAnalysis.propagateAcrossPhiNode(TypeQualifierValueSet fact,
ValueNumber sourceVN,
ValueNumber targetVN) |
|
protected abstract void |
TypeQualifierDataflowAnalysis.propagateAcrossPhiNode(TypeQualifierValueSet fact,
ValueNumber sourceVN,
ValueNumber targetVN) |
|
boolean |
TypeQualifierDataflowAnalysis.same(TypeQualifierValueSet fact1,
TypeQualifierValueSet fact2) |
|
void |
BackwardTypeQualifierDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
TypeQualifierValueSet fact) |
|
void |
TypeQualifierDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
TypeQualifierValueSet fact) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.