try { nonNullContractCollector.findContractForMethod(classAndMethod); nonNullContractCollector.getAnnotationSets(methodGen.getMaxLocals(), nonNullParamSet, possiblyNullParamSet); } catch (ClassNotFoundException e) { AnalysisContext.currentAnalysisContext().getLookupFailureCallback().reportMissingClass(e); }
	public void initEntryFact(IsNullValueFrame result) {		if (cachedEntryFact ==  null) {			BitSet nonNullParamSet = new BitSet();			BitSet possiblyNullParamSet = new BitSet();			if (nonNullParamDatabase != null && possiblyNullParamDatabase != null) {				NonNullContractCollector nonNullContractCollector =					new NonNullContractCollector(nonNullParamDatabase, possiblyNullParamDatabase);											}						cachedEntryFact = createFact();			cachedEntryFact.setValid();			int numLocals = methodGen.getMaxLocals();			boolean instanceMethod = !methodGen.isStatic();			for (int i = 0; i < numLocals; ++i) {				cachedEntryFact.setValue(i, (instanceMethod && i == 0) ? IsNullValue.nonNullValue() : paramValue);			}		}		copy(cachedEntryFact, result);	}