Transforms an AST into a CompilationUnit object.
Determines kind of the basic block while creating statements.
Recursively processes an array of AST statements to generate nodes and edges for a Cfg.
The array of AstStatement objects.
An optional array of basic blocks to which new nodes will be added.
An optional array of Edge objects to which new edges will be added.
An optional indices representing from which control flow enters the current sequence of statements.
A tuple containing the arrays of BasicBlock and Edge objects representing the Cfg derived from the statements.
Staticmake
Represents a stateful object which is responsible for constructing the IR of a Tact project.
It creates a one-statement-per-basic-block CFG.