applyNullConstraint method

NullabilityDomain applyNullConstraint()

Applies a null constraint.

If we know x == null, then x becomes definitelyNull.

Implementation

NullabilityDomain applyNullConstraint() {
  if (isBottom) return bottomValue;
  if (state == Nullability.definitelyNonNull) {
    return bottomValue; // Contradiction: nonNull == null is false
  }
  return nullValue;
}