Module invocations
Source - enm
- BranchChanges
- Describes the changes to the set of references at a single branch target, as well as changes to
the environment.
- CompiledInvocation
- The result from a compilation of a single invocation statement.
- CompiledInvocationBuilder
- Helper for building compiled invocations.
- ProgramInfo
- Information in the program level required for compiling an invocation.
- ApTrackingChange
- Describes a simple change in the ap tracking itself.
- InvocationError
- check_references_on_stack
- Checks that the list of references is contiguous on the stack and ends at ap - 1.
This is the requirement for function call and return statements.
- compile_invocation
- Given a Sierra invocation statement and concrete libfunc, creates a compiled casm representation
of the Sierra statement.
- get_non_fallthrough_statement_id
- Fetches the non-fallthrough jump target of the invocation, assuming this invocation is a
conditional jump.