if (refValue.isReturnValue()) type = "NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE";
	public void foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue) {		WarningPropertySet propertySet = new WarningPropertySet();				boolean onExceptionPath = refValue.isException();		if (onExceptionPath) {			propertySet.addProperty(GeneralWarningProperty.ON_EXCEPTION_PATH);		}				if (refValue.isDefinitelyNull()) {			String type = onExceptionPath ? "NP_ALWAYS_NULL_EXCEPTION" : "NP_ALWAYS_NULL";			int priority = onExceptionPath ? LOW_PRIORITY : HIGH_PRIORITY;			reportNullDeref(propertySet, classContext, method, location, type, priority);		} else if (refValue.isNullOnSomePath()) {			String type = onExceptionPath ? "NP_NULL_ON_SOME_PATH_EXCEPTION" : "NP_NULL_ON_SOME_PATH";			int priority = onExceptionPath ? LOW_PRIORITY : NORMAL_PRIORITY;			if (DEBUG) System.out.println("Reporting null on some path: value=" + refValue);			reportNullDeref(propertySet, classContext, method, location, type, priority);		}	}