widen method

  1. @override
NullabilityDomain widen(
  1. NullabilityDomain other
)
override

Widening operation (∇): ensures termination in fixpoint iteration.

Implementation

@override
NullabilityDomain widen(NullabilityDomain other) {
  // Nullability domain is finite, so widening is just join
  return join(other);
}