AnalysisResult<D extends AbstractDomain<D> > class
Result of abstract interpretation analysis.
Constructors
-
AnalysisResult({required Map<
int, AbstractState< entryStates, required Map<D> >int, AbstractState< exitStates, required int iterations, required bool wideningApplied, bool narrowingApplied = false, int narrowingIterations = 0})D> >
Properties
-
entryStates
→ Map<
int, AbstractState< D> > -
Abstract state at the entry of each block.
final
-
exitStates
→ Map<
int, AbstractState< D> > -
Abstract state at the exit of each block.
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- iterations → int
-
Number of iterations to reach fixpoint.
final
- narrowingApplied → bool
-
Whether narrowing was applied after widening.
final
- narrowingIterations → int
-
Number of narrowing iterations performed.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- wideningApplied → bool
-
Whether widening was applied.
final
Methods
-
getValueAtEntry(
int blockId, String variable) → D? - Gets the abstract value of a variable at block entry.
-
getValueAtExit(
int blockId, String variable) → D? - Gets the abstract value of a variable at block exit.
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited