edu.umd.cs.findbugs.ba.npe
public class NonNullContractCollector extends Object implements JavaClassAndMethodChooser
TODO: this code could be generalized for other kinds of parameter annotations
Nested Class Summary | |
---|---|
interface | NonNullContractCollector.SpecificationBuilder |
Constructor Summary | |
---|---|
NonNullContractCollector(ParameterNullnessPropertyDatabase nonNullParamDatabase, ParameterNullnessPropertyDatabase possiblyNullParamDatabase) |
Method Summary | |
---|---|
void | checkSpecifications(int numParams, NonNullContractCollector.SpecificationBuilder builder) |
boolean | choose(JavaClassAndMethod classAndMethod) |
void | findContractForCallSite(InvokeInstruction invokeInstruction, ConstantPoolGen cpg) |
void | findContractForMethod(JavaClassAndMethod classAndMethod) |
void | getAnnotationSets(int numParams, BitSet nonNullParamSet, BitSet possiblyNullParamSet) |
void | getViolationList(int numParams, BitSet nullArgSet, List<NonNullParamViolation> violationList, BitSet violatedParamSet) |