AbstractState<D extends AbstractDomain<D>> class

Abstract state mapping variables to their abstract values.

Constructors

AbstractState(D _defaultValue, [Map<String, D>? values])

Properties

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

values → Map<String, D>

no setter

Methods

getForJoin(String variable) → D

Returns the value for a variable during join operations. Returns BOTTOM if the variable is not defined in this state.

join(AbstractState<D> other) → AbstractState<D>

narrow(AbstractState<D> other) → AbstractState<D>

Narrows this state with another to recover precision after widening.

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

override

widen(AbstractState<D> other) → AbstractState<D>

Operators

operator ==(Object other) → bool

The equality operator.

inherited

operator [](String variable) → D

Returns the value for a variable, or TOP if not defined.

operator []=(String variable, D value) → void