Class AbstractWorklistSolver<State>`Abstract`

Provides a framework for solving dataflow analysis problems by employing a worklist-based algorithm.

This class encapsulates the CFG, node state transformations, and lattice properties necessary for the computation of fixpoints in dataflow equations.

Type Parameters

State

Hierarchy (view full)

AbstractWorklistSolver
- WorklistSolver
- WideningWorklistSolver

Implements

Solver<State>

Index

Constructors

Properties

cfg cu kind lattice transfer

Methods

findFixpoint isJoinSemilattice isMeetSemilattice solve updateState

Constructors

constructor

new AbstractWorklistSolver<State>(cu, cfg, transfer, lattice, kind): AbstractWorklistSolver<State>
Type Parameters
- State
Parameters
- cu: CompilationUnit
- cfg: Cfg
- transfer: Transfer<State>
  An object that defines the transfer operation for a node and its state.
- lattice: Semilattice<State>
  An instance of a semilattice that defines the necessary operations.
- kind: AnalysisKind
  The kind of analysis ("forward" or "backward").
Returns AbstractWorklistSolver<State>
- Defined in src/internals/solver/worklist.ts:46

Properties

`Protected` `Readonly`cfg

cfg: Cfg

`Protected` `Readonly`cu

cu: CompilationUnit

`Protected` `Readonly`kind

kind: AnalysisKind

`Protected` `Readonly`lattice

lattice: Semilattice<State>

`Protected`transfer

transfer: Transfer<State>

Methods

findFixpoint

findFixpoint(): SolverResults<State>
Finds a fixpoint using the worklist algorithm.

Returns SolverResults<State>
The results of solving the dataflow problem.
- Defined in src/internals/solver/worklist.ts:78

`Protected`isJoinSemilattice

isJoinSemilattice(lattice): lattice is JoinSemilattice<State>
Parameters
- lattice: Semilattice<State>
Returns lattice is JoinSemilattice<State>
- Defined in src/internals/solver/worklist.ts:160

`Protected`isMeetSemilattice

isMeetSemilattice(lattice): lattice is MeetSemilattice<State>
Parameters
- lattice: Semilattice<State>
Returns lattice is MeetSemilattice<State>
- Defined in src/internals/solver/worklist.ts:166

solve

solve(): SolverResults<State>
Returns SolverResults<State>
Implementation of Solver.solve
- Defined in src/internals/solver/worklist.ts:156

`Protected` `Abstract`updateState

updateState(oldState, newState, iterations): State
Abstract method to update the state of a node.
Parameters
- oldState: State
  The previous state of the node.
- newState: State
  The newly computed state of the node.
- iterations: number
  The number of times the node has been processed.
Returns State
The updated state after applying join/meet/widening/narrowing.
- Defined in src/internals/solver/worklist.ts:68