BugInstance warning = new BugInstance("NP_NONNULL_RETURN_VIOLATION", tos.isDefinitelyNull() ?
BugInstance warning = new BugInstance(method.getName().equals("clone") ? "NP_CLONE_COULD_RETURN_NULL" : "NP_NONNULL_RETURN_VIOLATION", tos.isDefinitelyNull() ?
	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();									BugInstance warning = new BugInstance("NP_NONNULL_RETURN_VIOLATION", tos.isDefinitelyNull() ?					HIGH_PRIORITY : NORMAL_PRIORITY)				.addClassAndMethod(methodGen, sourceFile)				.addSourceLine(classContext, methodGen, sourceFile, location.getHandle());						bugReporter.reportBug(warning);		}	}