if (specification.getPossiblyNullProperty().isNonNull(i)) {  builder.setPossiblyNullParam(i, specification);
if (specification.getCheckForNullProperty().isNonNull(i)) {  builder.setCheckForNullParam(i, specification);
	public void checkSpecifications(int numParams, SpecificationBuilder builder) {		BitSet checkedParams = new BitSet();		for (NonNullSpecification specification : specificationList) {			if (DEBUG_NULLARG) {				System.out.println("Check specification: " + specification);			}					paramLoop:			for (int i = 0; i < numParams; ++i) {				if (DEBUG_NULLARG) {					System.out.print("\tParam " + i);				}								if (checkedParams.get(i)) {					if (DEBUG_NULLARG) System.out.println(" ==> already checked");					continue paramLoop;				}								if (!builder.checkParam(i))					continue paramLoop;								// Param should be checked, and we haven't seen a specification for the parameter yet.				// See if this method defines a specification.				if (specification.getPossiblyNullProperty().isNonNull(i)) {					// Parameter declared @PossiblyNull.					builder.setPossiblyNullParam(i, specification);					checkedParams.set(i);				} else if (specification.getNonNullProperty().isNonNull(i)) {					// Parameter declated @NonNull.					builder.setNonNullParam(i, specification);					checkedParams.set(i);				} else {					if (DEBUG_NULLARG) System.out.println(" ==> no constraint");				}			}		}	}