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)