public void getViolationList(int numParams, BitSet nullArgSet, List<NonNullParamViolation> violationList, BitSet violatedParamSet) { BitSet checkedParams = new BitSet(); for (NonNullSpecification specification : specificationList) { if (DEBUG_NULLARG) { System.out.println("Check specification: " + specification);
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 getViolationList(int numParams, BitSet nullArgSet, List<NonNullParamViolation> violationList, BitSet violatedParamSet) {		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 (!nullArgSet.get(i)) {					if (DEBUG_NULLARG) System.out.println(" ==> not null");					continue paramLoop;				}								if (checkedParams.get(i)) {					if (DEBUG_NULLARG) System.out.println(" ==> already checked");					continue paramLoop;				}								// Arg is null, 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.					// So it's OK to pass null.					if (DEBUG_NULLARG) System.out.println(" ==> @PossiblyNull");					checkedParams.set(i);				} else if (specification.getNonNullProperty().isNonNull(i)) {					// Parameter declated @NonNull.					// This is a violation.					if (DEBUG_NULLARG) System.out.println(" ==> @NonNull violation!");					violationList.add(new NonNullParamViolation(specification.getClassAndMethod(), i));					violatedParamSet.set(i);					checkedParams.set(i);				} else {					if (DEBUG_NULLARG) System.out.println(" ==> no constraint");				}			}		}	}