Package avail.stacks.comment.signature

Types

open class CommentSignature(val name: String, val module: String)

The defining characteristic of a comment as it pertains to the implementation it describes.

class GlobalCommentSignature( val name: String, val module: String, val globalType: String) : CommentSignature

GLOBAL Comment Signature

class MethodCommentSignature( val name: String, val module: String, orderedInputTypes: MutableList<String>, returnType: String) : CommentSignature

The defining characteristic of a method comment as it pertains to the implementation it describes.

class SemanticRestrictionCommentSignature( val name: String, val module: String, orderedInputTypes: MutableList<String>) : CommentSignature

The defining characteristic of a semantic restriction comment as it pertains to the implementation it describes.