public void setPossiblyNullParam(int param, NonNullSpecification specification) { if (DEBUG_NULLARG) System.out.println(" ==> @PossiblyNull");
public void setCheckForNullParam(int param, NonNullSpecification specification) { if (DEBUG_NULLARG) System.out.println(" ==> @CheckForNull");
	public void getViolationList(			int numParams,			final BitSet nullArgSet,			final List<NonNullParamViolation> violationList,			final BitSet violatedParamSet) {				SpecificationBuilder builder = new SpecificationBuilder() {			public boolean checkParam(int param) {				if (!argIsNull(param)) {					if (DEBUG_NULLARG) System.out.println(" ==> not null");					return false;				}				return true;			}						public void setNonNullParam(int param, NonNullSpecification specification) {				if (DEBUG_NULLARG) System.out.println(" ==> @NonNull violation!");				violationList.add(new NonNullParamViolation(specification.getClassAndMethod(), param));				violatedParamSet.set(param);			}						public void setPossiblyNullParam(int param, NonNullSpecification specification) {				if (DEBUG_NULLARG) System.out.println(" ==> @PossiblyNull");			}						private boolean argIsNull(int param) {				return nullArgSet.get(param);			}		};		checkSpecifications(numParams, builder);	}