Loaded
class LoadedModule(val name: ResolvedModuleName, sourceDigest: ByteArray, module: A_Module, version: ModuleVersion, compilation: ModuleCompilation)
A LoadedModule holds state about what the builder knows about a currently loaded Avail module.
Author
Mark van Gulik
Parameters
name
The name of the module.
source
The module source's cryptographic digest.
module
The actual A_Module loaded in the AvailRuntime.
version
The version of the module source.
compilation
Information about the specific ModuleCompilation that is loaded.
Constructors
Link copied to clipboard
constructor(name: ResolvedModuleName, sourceDigest: ByteArray, module: A_Module, version: ModuleVersion, compilation: ModuleCompilation)
Construct a new LoadedModule to represent information about an Avail module that has been loaded.
Properties
Link copied to clipboard
Answer the entry points defined by this loaded module. Since the header structure does not depend on syntax declared in other modules, the entry points are a property of the ModuleVersion. That's the entity associated with particular module source code.
Link copied to clipboard
The resolved name of this module.