CombinedDomain class
Combined domain pairing interval and nullability analysis.
Tracks both the numeric range and null status of variables.
- Implemented types
Constructors
- CombinedDomain(IntervalDomain interval, NullabilityDomain nullability)
-
const
Properties
- bottom → CombinedDomain
-
Returns the bottom element (⊥).
no setteroverride
- hashCode → int
-
The hash code for this object.
no setteroverride
- interval → IntervalDomain
-
final
- isBottom → bool
-
Checks if this is the bottom element.
no setteroverride
- isTop → bool
-
Checks if this is the top element.
no setteroverride
- nullability → NullabilityDomain
-
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- top → CombinedDomain
-
Returns the top element (⊤).
no setteroverride
Methods
-
isSubsetOf(
CombinedDomain other) → bool -
Checks if this value is less than or equal to another (⊑).
override
-
join(
CombinedDomain other) → CombinedDomain -
Join operation (⊔): least upper bound of two abstract values.
override
-
meet(
CombinedDomain other) → CombinedDomain -
Meet operation (⊓): greatest lower bound of two abstract values.
override
-
narrow(
CombinedDomain other) → CombinedDomain -
Narrowing operation (△): refines over-approximation after widening.
override
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
override
-
widen(
CombinedDomain other) → CombinedDomain -
Widening operation (∇): ensures termination in fixpoint iteration.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
override
Constants
- bottomValue → const CombinedDomain
- topValue → const CombinedDomain