decision.isValueNull());
decision.getNullnessValue());
	public void edgeTransfer(Edge edge, DefinitelyNullSet fact) throws DataflowAnalysisException {		if (!fact.isValid()) {			return;		}				if (edge.getSource().isEmpty()) {			return;		}				Condition condition = getCondition(edge.getSource());		if (condition == null) {			return;		}		Decision decision = condition.getDecision(edge);		if (!decision.isFeasible()) {			fact.setTop();			return;		}						// We gain information about a value on this edge.		changeNullnessOfValue(				condition.getValueNumber(),				condition.getLocation(),				fact,				decision.isValueNull());	}