Uses of Class
edu.umd.cs.findbugs.ba.jsr305.TypeQualifierValueSet
-
Packages that use TypeQualifierValueSet Package Description edu.umd.cs.findbugs.ba.jsr305 Support for analyzing code containing JSR-305 type qualifier annotations.edu.umd.cs.findbugs.detect -
-
Uses of TypeQualifierValueSet in edu.umd.cs.findbugs.ba.jsr305
Methods in edu.umd.cs.findbugs.ba.jsr305 that return TypeQualifierValueSet Modifier and Type Method Description TypeQualifierValueSet
TypeQualifierDataflowAnalysis. createFact()
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type TypeQualifierValueSet 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)
private void
BackwardTypeQualifierDataflowAnalysis. pruneConflictingValues(TypeQualifierValueSet fact, TypeQualifierValueSet forwardFact)
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)
-
Uses of TypeQualifierValueSet in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type TypeQualifierValueSet Modifier and Type Method Description private void
CheckTypeQualifiers. checkForConflictingValues(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void
CheckTypeQualifiers. checkForEqualityTest(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, Location loc, ValueNumberFrame factAtLocation)
private void
CheckTypeQualifiers. emitDataflowWarning(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void
CheckTypeQualifiers. emitSourceWarning(java.lang.String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)
-