value = IsNullValue.nullOnSimplePathValue();
value = IsNullValue.parameterMarkedAsMightBeNull(methodParameter);
	public void initEntryFact(IsNullValueFrame result) {		if (cachedEntryFact ==  null) {						cachedEntryFact = createFact();			cachedEntryFact.setValid();			int numLocals = methodGen.getMaxLocals();			boolean instanceMethod = !methodGen.isStatic();			XMethod xm = XFactory.createXMethod(methodGen.getClassName(), 					methodGen.getName(), methodGen.getSignature(), methodGen.isStatic());			NullnessAnnotationDatabase db = AnalysisContext.currentAnalysisContext().getNullnessAnnotationDatabase();			int paramShift = instanceMethod ? 1 : 0;			for (int i = 0; i < numLocals; ++i) {				IsNullValue value;								int paramIndex = i - paramShift;								if (instanceMethod && i == 0) {					value = IsNullValue.nonNullValue();				} else if (paramIndex > methodGen.getArgumentTypes().length) {					value = IsNullValue.nonReportingNotNullValue();				} else {					NullnessAnnotation n = db.getResolvedAnnotation(new XMethodParameter(xm, paramIndex), false);					if (n == NullnessAnnotation.CHECK_FOR_NULL)						// Parameter declared @CheckForNull						value = IsNullValue.nullOnSimplePathValue();					else if (n == NullnessAnnotation.NONNULL) 						// Parameter declared @NonNull						// TODO: label this so we don't report defensive programming						value = IsNullValue.nonNullValue();					else 						// Don't know; use default value, normally non-reporting nonnull						value = IsNullValue.nonReportingNotNullValue();				}								cachedEntryFact.setValue(i, value);			}		}		copy(cachedEntryFact, result);	}