Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type TypeQualifierValueSet |
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)
|