narrow method

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

Narrowing operation (△): refines over-approximation after widening.

Implementation

@override
NullabilityDomain narrow(NullabilityDomain other) {
  // Narrowing is meet for finite domains
  return meet(other);
}