Interface Transfer<State>

Represents an interface for dataflow transfer functions.

interface Transfer<State> {
transfer(inState: State, bb: BasicBlock, stmt: AstStatement): State;
}

Type Parameters

State

Index

Methods

Methods

transfer

transfer(inState, bb, stmt): State
Transforms the input state based on the analysis of a CFG node.

This function updates the state of dataflow analysis as it processes each basic block (e.g., statements, expressions) in a control flow graph, reflecting changes due to program actions.
Parameters
- inState: State
  The dataflow state prior to the execution of node.
- bb: BasicBlock
  The CFG construct being analyzed.
- stmt: AstStatement
  The statement defined within the node.
Returns State
The updated dataflow state post node execution.
- Defined in src/internals/transfer.ts:20