Module context

ScopeContext tracks our knowledge of the scope types used in script and validates its consistency.

Structs

• ScopeContext
  The ScopeContext represents what we know about the scopes leading to the Block currently being validated.
• ScopeHistory 🔒
  One previous scope level in a chain of previous scopes.

Enums

• Reason
  This enum records the reason why we think a certain scope has the type it does. It is used for error reporting.
• ScopeEntry 🔒
  ScopeEntry is a description of what we know of a scope’s type and its connection to other scopes.

Constants

• MAX_SCOPE_NAME_LIST 🔒
  When reporting an unknown scope, list alternative scope names if there are not more than this.

Functions

• scope_type_from_name 🔒
  Deduce a scope type from a scope’s name. This leads to better error messages.