join method

  1. @override
CombinedDomain join(
  1. CombinedDomain other
)
override

Join operation (⊔): least upper bound of two abstract values.

Implementation

@override
CombinedDomain join(CombinedDomain other) {
  return CombinedDomain(
    interval.join(other.interval),
    nullability.join(other.nullability),
  );
}