Uses of Class
edu.umd.cs.findbugs.ba.jsr305.ForwardTypeQualifierDataflow
Packages that use ForwardTypeQualifierDataflow
Package
Description
Support for analyzing code containing JSR-305 type qualifier annotations.
-
Uses of ForwardTypeQualifierDataflow in edu.umd.cs.findbugs.ba.jsr305
Subclasses with type arguments of type ForwardTypeQualifierDataflow in edu.umd.cs.findbugs.ba.jsr305Modifier and TypeClassDescriptionclassFactory for producing ForwardTypeQualifierDataflow objects for various kinds of type qualifiers.Fields in edu.umd.cs.findbugs.ba.jsr305 declared as ForwardTypeQualifierDataflowModifier and TypeFieldDescriptionprivate ForwardTypeQualifierDataflowBackwardTypeQualifierDataflowAnalysis.forwardTypeQualifierDataflowMethods in edu.umd.cs.findbugs.ba.jsr305 that return ForwardTypeQualifierDataflowModifier and TypeMethodDescriptionprotected ForwardTypeQualifierDataflowForwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue) Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ForwardTypeQualifierDataflowModifier and TypeMethodDescriptionprotected voidForwardTypeQualifierDataflowFactory.populateDatabase(ForwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) voidBackwardTypeQualifierDataflowAnalysis.setForwardTypeQualifierDataflow(ForwardTypeQualifierDataflow forwardTypeQualifierDataflow) -
Uses of ForwardTypeQualifierDataflow in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type ForwardTypeQualifierDataflowModifier and TypeMethodDescriptionprivate voidCheckTypeQualifiers.checkDataflow(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow) private voidCheckTypeQualifiers.checkValueSources(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)