avail/avail.stacks.module/StacksExtendsModule

StacksExtendsModule

class StacksExtendsModule : StacksImportModule

A grouping of all implementationGroups originating from the names section of this module that this is being extended by another module.

Author

Richard Arriaga

Constructors

StacksExtendsModule

fun StacksExtendsModule( moduleImportName: String, commentGroups: MutableMap<A_String, CommentGroup>, moduleNameToExtendsList: MutableMap<String, StacksExtendsModule>, methodLeafNameToModuleName: MutableMap<A_String, MutableMap<String, CommentGroup>>, moduleNameToUsesList: MutableMap<String, StacksUsesModule>, usesMethodLeafNameToModuleName: MutableMap<A_String, MutableMap<String, CommentGroup>>)

Construct a new StacksExtendsModule.

StacksExtendsModule

fun StacksExtendsModule(module: CommentsModule)

Construct a new StacksExtendsModule from a CommentsModule.

Functions

addClassImplementationGroup

open override fun addClassImplementationGroup(key: A_String, classCommentGroup: CommentGroup)

addGlobalImplementationGroup

open override fun addGlobalImplementationGroup(key: A_String, globalCommentGroup: CommentGroup)

addGrammaticalImplementation

open override fun addGrammaticalImplementation(key: A_String, implementation: GrammaticalRestrictionComment)

addMacroImplementation

open override fun addMacroImplementation(key: A_String, implementation: MacroComment)

addMethodImplementation

open override fun addMethodImplementation(key: A_String, implementation: MethodComment)

addSemanticImplementation

open override fun addSemanticImplementation(key: A_String, implementation: SemanticRestrictionComment)

flattenImplementationGroups

fun flattenImplementationGroups(): Pair<MutableMap<String, Pair<String, CommentGroup>>, MutableMap<String, String>>

Flatten out moduleNameToExtendsList map so that all modules in tree are in one flat map keyed by the qualified method name to the implementation. Pair this with a map of method name to html link.

getExtendsModule

fun getExtendsModule(moduleNameToSearch: String): StacksExtendsModule?

qualifiedImplementationNameToImplementation

fun qualifiedImplementationNameToImplementation(): Pair<MutableMap<String, Pair<String, CommentGroup>>, MutableMap<String, String>>

Create a new map from implementationGroups with new keys using the method qualified name

renameImplementation

open override fun renameImplementation( key: A_String, newName: A_String, newlyDefinedModule: CommentsModule, newFileName: StacksFilename, deleteOriginal: Boolean)

Rename an implementation in this Module.

toString