bugInstance.addSourceLine(classContext, method, doomedLocations.first()).describe("SOURCE_LINE_NULL_VALUE");
for (Location loc : doomedLocations) bugInstance.addSourceLine(classContext, method, loc).describe("SOURCE_LINE_NULL_VALUE");
	public void foundGuaranteedNullDeref(			@NonNull Set<Location> assignedNullLocationSet,			@NonNull Set<Location> derefLocationSet,			SortedSet<Location> doomedLocations,			ValueNumber refValue, boolean alwaysOnExceptionPath, boolean npeIfStatementCovered) {		if (DEBUG) {			System.out.println("Found guaranteed null deref in " + method.getName());			for(Location loc : doomedLocations)				System.out.println("Doomed at " + loc);		}				String bugType = alwaysOnExceptionPath			? "NP_GUARANTEED_DEREF_ON_EXCEPTION_PATH"			: "NP_GUARANTEED_DEREF";		int priority = alwaysOnExceptionPath ? NORMAL_PRIORITY : HIGH_PRIORITY;		if (!npeIfStatementCovered) priority++;				// Create BugInstance		BugInstance bugInstance = new BugInstance(this, bugType, priority)			.addClassAndMethod(classContext.getJavaClass(), method);				// Add Locations in the set of locations at least one of which		// is guaranteed to be dereferenced		TreeSet<Location> sortedDerefLocationSet = new TreeSet<Location>(derefLocationSet);		for (Location loc : sortedDerefLocationSet) {			bugInstance.addSourceLine(classContext, method, loc).describe("SOURCE_LINE_DEREF");		}		if (!doomedLocations.isEmpty()) {			bugInstance.addSourceLine(classContext, method, doomedLocations.first()).describe("SOURCE_LINE_NULL_VALUE");		}		else {			// Add Locations where the value was observed to become null			TreeSet<Location> sortedAssignedNullLocationSet = new TreeSet<Location>(assignedNullLocationSet);			for (Location loc : sortedAssignedNullLocationSet) {				bugInstance.addSourceLine(classContext, method, loc).describe("SOURCE_LINE_NULL_VALUE");			}		}		// Report it		bugReporter.reportBug(bugInstance);	}