.addSourceLine(classContext, methodGen, sourceFile, location.getHandle()) .addMethod(nonNullReturn.getJavaClass(), nonNullReturn.getMethod()).describe("METHOD_DECLARED_NONNULL");  JavaClassAndMethod visitedMethod = new JavaClassAndMethod(classContext.getJavaClass(), method); if (visitedMethod.equals(nonNullReturn)) {   propertySet.addProperty(NonNullReturnProperty.EXACT_METHOD); }  int priority = propertySet.computePriority(NORMAL_PRIORITY); if (FindBugsAnalysisFeatures.isRelaxedMode()) { WarningPropertyUtil.addPropertiesForLocation(propertySet, classContext, method, location); propertySet.decorateBugInstance(warning); }
.addSourceLine(classContext, methodGen, sourceFile, location.getHandle());
	private void examineReturnInstruction(Location location) throws DataflowAnalysisException, CFGBuilderException {		if (DEBUG_NULLRETURN) {			System.out.println("Checking null return at " + location);		}				IsNullValueDataflow invDataflow = classContext.getIsNullValueDataflow(method);		IsNullValueFrame frame = invDataflow.getFactAtLocation(location);		if (!frame.isValid())			return;		IsNullValue tos = frame.getTopValue();		if (tos.mightBeNull()) {			MethodGen methodGen = classContext.getMethodGen(method);			String sourceFile = classContext.getJavaClass().getSourceFileName();						WarningPropertySet propertySet = new WarningPropertySet();						BugInstance warning = new BugInstance("NP_NONNULL_RETURN_VIOLATION", NORMAL_PRIORITY)				.addClassAndMethod(methodGen, sourceFile)				.addSourceLine(classContext, methodGen, sourceFile, location.getHandle())				.addMethod(nonNullReturn.getJavaClass(), nonNullReturn.getMethod()).describe("METHOD_DECLARED_NONNULL");			JavaClassAndMethod visitedMethod = new JavaClassAndMethod(classContext.getJavaClass(), method);			if (visitedMethod.equals(nonNullReturn)) {				// It's sort of blatant to declare a method @NonNull,				// and then return null from it :-)				propertySet.addProperty(NonNullReturnProperty.EXACT_METHOD);			}						int priority = propertySet.computePriority(NORMAL_PRIORITY);			if (FindBugsAnalysisFeatures.isRelaxedMode()) {				WarningPropertyUtil.addPropertiesForLocation(propertySet, classContext, method, location);				propertySet.decorateBugInstance(warning);			}						bugReporter.reportBug(warning);		}	}