avail/avail.stacks.tags/StacksRestrictsTag

StacksRestrictsTag

class StacksRestrictsTag(paramMetaType: QuotedStacksToken, description: StacksDescription) : StacksTag

The "@restricts" tag in an Avail comment that represents the meta type of an Avail method's parameter's type as used in a semantic restriction.

Author

Richard Arriaga

Constructors

StacksRestrictsTag

constructor(paramMetaType: QuotedStacksToken, description: StacksDescription)

Functions

fun description(): StacksDescription

fun paramMetaType(): QuotedStacksToken

open override fun toJSON(linkingFileMap: LinkingFileMap, hashID: Int, errorLog: StacksErrorLog, position: Int, jsonWriter: JSONWriter)

Create JSON content from implementation.