Atomically get and set this module's manifest entries. The input and output may be an integer indicating a record in the repository, a pojo containing a List of ModuleManifestEntry, or nil.

getAndSetTupleOfBlockPhrases

fun A_Module.getAndSetTupleOfBlockPhrases(newValue: AvailObject): AvailObject

Extract the module's tuple of block phrases that it accumulated during compilation. Also set the field to nil.

hasAncestor

fun A_Module.hasAncestor(potentialAncestor: A_Module): Boolean

Determine if the given module is equal to or an ancestor of the receiver.

introduceNewName

fun A_Module.introduceNewName(trueName: A_Atom)

Introduce a new atom into this module.

manifestEntries

fun A_Module.manifestEntries(): List<ModuleManifestEntry>

Atomically get and set this module's manifest entries. The input and output may be an integer indicating a record in the repository, a pojo containing an Array of ModuleManifestEntry, or nil.

moduleAddDefinition

fun A_Module.moduleAddDefinition(definition: A_Definition)

Add a definition to this module.

moduleAddGrammaticalRestriction

fun A_Module.moduleAddGrammaticalRestriction(grammaticalRestriction: A_GrammaticalRestriction)

Add a grammatical restriction to this module.

moduleAddMacro

fun A_Module.moduleAddMacro(macro: A_Macro)

Add an A_Macro to this module.

moduleAddSemanticRestriction

fun A_Module.moduleAddSemanticRestriction(semanticRestriction: A_SemanticRestriction)

Add a semantic restriction to this module.

moduleAddStyler

fun A_Module.moduleAddStyler(styler: A_Styler)

Add the given styler to the module's A_Set.

originatingPhraseAtIndex

fun A_Module.originatingPhraseAtIndex(index: Int): A_Phrase

Look up a one-based index in this module's tuple of block phrases. If the tuple is nil, first fetch it from the repository and overwrite the field.

recordBlockPhrase

fun A_Module.recordBlockPhrase(blockPhrase: A_Phrase): Int

Record a block phrase in this module, answering the unique one-based Avail integer index at which it can later be retrieved.

removeFrom

fun A_Module.removeFrom(loader: AvailLoader, afterRemoval: () -> Unit)

Dispatch to the descriptor.

resolveForward

fun A_Module.resolveForward(forwardDefinition: A_BasicObject)

Dispatch to the descriptor.

serializedObjects

fun A_Module.serializedObjects(serializedObjects: A_Tuple)

Deserialization has completed, and this is the A_Tuple of objects that were deserialized. This tuple can be used for pumping serializers and deserializers of subsequent modules, as well as the separate repository record for block phrases, stacks comments, and any styling, navigation, or indexing information stored separately from the body record of the module.

trueNamesForStringName

fun A_Module.trueNamesForStringName(stringName: A_String): A_Set

Dispatch to the descriptor.

Properties

allAncestors

val A_Module.allAncestors: A_Set

Return the set of all ancestor modules of this module. Exclude this module from the set.

constantBindings

val A_Module.constantBindings: A_Map

Dispatch to the descriptor.

entryPoints

val A_Module.entryPoints: A_Map

Dispatch to the descriptor.

exportedNames

val A_Module.exportedNames: A_Set

Answer the set of all names exported by this module.

importedNames

val A_Module.importedNames: A_Map

Dispatch to the descriptor.

methodDefinitions

val A_Module.methodDefinitions: A_Set

The A_Definitions defined by this module.

moduleName

val A_Module.moduleName: A_String

Answer the name of this module.

moduleNameNative

val A_Module.moduleNameNative: String

Answer the name of this module as a native Kotlin String.

moduleState

var A_Module.moduleState: ModuleDescriptor.State

Read the current state of the module, which indicates whether the module is loading, unloading, or in a stable state.

newNames

val A_Module.newNames: A_Map

Answer a map from strings to atoms. These atoms prevent or at least clarify name conflicts. These names are those introduced by the module's "Names" section or P_PublishName.

privateNames

val A_Module.privateNames: A_Map

Dispatch to the descriptor.

shortModuleNameNative

val A_Module.shortModuleNameNative: String

Produce an A_String describing the module. Leave off the module path.

stylers

val A_Module.stylers: A_Set

The A_Set of A_Stylers defined by this module.

variableBindings

val A_Module.variableBindings: A_Map

Dispatch to the descriptor.