Module sema 

Structs

AnalysisContext

This maintains the state for semantic analysis of a single Module.

ConstEvalVisitor

This visitor evaluates all constant expressions and folds them to literals.

SyntaxError

The high-level error type for all semantic analysis errors.

VerifyInvokeTargets

This visitor visits every exec, call, syscall, and procref, and ensures that the invocation target for that call is resolvable to the extent possible within the current module’s context.

Enums

SemanticAnalysisError

Represents an error that occurs during semantic analysis

Functions

analyze

Constructs and validates a Module, given the forms constituting the module body.