Module move_model::model

Provides a model for a set of Move modules (and scripts, which are handled like modules). The model allows to access many different aspects of the Move code: all declared functions and types, their associated bytecode, their source location, their source text, and the specification fragments.

The environment is nested into a hierarchy:

• A GlobalEnv which gives access to all modules plus other information on global level, and is the owner of all related data.
• A ModuleEnv which is a reference to the data of some module in the environment.
• A StructEnv which is a reference to the data of some struct in a module.
• A FunctionEnv which is a reference to the data of some function in a module.

Structs

• AbilityConstraint
• AbilitySet
  A set of Abilitys
• EnvDisplay
  Struct a helper type for implementing fmt::Display depending on GlobalEnv
• ExpInfo
  Expression Environment
• FieldData
  Field Environment
• FieldEnv
• FieldId
  Identifier for a field of a structure, relative to struct.
• FunId
  Identifier for a Move function, relative to module.
• FunctionData
• FunctionEnv
• GlobalEnv
  Global Environment
• GlobalId
  A global id. Instances of this type represent unique identifiers relative to GlobalEnv.
• Loc
  Locations
• LocDisplay
  Formatting
• ModuleData
  Module Environment
• ModuleEnv
  Represents a module environment.
• ModuleId
  Identifier for a module.
• NamedConstantData
  Named Constant Environment
• NamedConstantEnv
• NamedConstantId
  Identifier for a named constant, relative to module.
• NodeId
  Identifier for a node in the AST, relative to a module. This is used to associate attributes with the node, like source location and type.
• Parameter
  Represents a parameter.
• QualifiedId
  Some identifier qualified by a module.
• QualifiedInstId
  Some identifier qualified by a module and a type instantiation.
• SchemaId
  Identifier for a schema.
• SpecFunId
  Identifier for a specification function, relative to module.
• SpecVarId
  Identifier for a specification variable, relative to module.
• StructData
  Struct Environment
• StructEnv
• StructId
  Identifier for a structure/resource, relative to module.
• TypeParameter
  Function Environment

Enums

• FunctionVisibility
  Visibility restricts the accessibility of the associated entity.
• VerificationScope
  Verification Scope

Constants

• SCRIPT_BYTECODE_FUN_NAME
  Names used in the bytecode/AST to represent the main function of a script
• SCRIPT_MODULE_NAME
  Constants

Traits

• GetNameString

Type Definitions

• MoveIrLoc
  Alias for the Loc variant of MoveIR. This uses a &static str instead of FileId for the file name.
• RawIndex
  Identifiers