Class AbstractWorklistSolver<State>Abstract

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

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

Type Parameters

  • State

Hierarchy (view full)

Implements

Constructors

constructor

Properties

cfg cu kind lattice transfer

Methods

findFixpoint isJoinSemilattice isMeetSemilattice solve updateState

Constructors

constructor

Properties

Protected Readonlycfg

cfg: CFG

Protected Readonlycu

cu: CompilationUnit

Protected Readonlykind

kind: AnalysisKind

Protected Readonlylattice

lattice: Semilattice<State>

Protectedtransfer

transfer: Transfer<State>

Methods

findFixpoint

ProtectedisJoinSemilattice

ProtectedisMeetSemilattice

solve

Protected AbstractupdateState

  • 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.

Settings

Member Visibility

On This Page

Constructors
Properties
Methods