private void changeNullnessOfValue(ValueNumber valueNumber, Location location, DefinitelyNullSet fact, boolean isNull) throws DataflowAnalysisException { fact.setValue(valueNumber, isNull); if (isNull) { fact.addAssignedNullLocation(valueNumber.getNumber(), compactLocationNumbering.getNumber(location)); } else { fact.clearAssignNullLocations(valueNumber.getNumber());
private void changeNullnessOfValue(ValueNumber valueNumber, Location location, DefinitelyNullSet fact, NullnessValue nullnessValue) throws DataflowAnalysisException {        fact.setNullnessValue(valueNumber, nullnessValue);  if (fact.getNulllessValue(valueNumber) != nullnessValue) { throw new IllegalStateException();
	private void changeNullnessOfValue(ValueNumber valueNumber, Location location, DefinitelyNullSet fact, boolean isNull) throws DataflowAnalysisException {		fact.setValue(valueNumber, isNull);		if (isNull) {			fact.addAssignedNullLocation(valueNumber.getNumber(), compactLocationNumbering.getNumber(location));		} else {			fact.clearAssignNullLocations(valueNumber.getNumber());		}	}