case class NotationDecl(name: String, extID: ExternalID) extends MarkupDecl with Product with Serializable
a notation declaration
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- NotationDecl
- Serializable
- Serializable
- Product
- Equals
- MarkupDecl
- Decl
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new NotationDecl(name: String, extID: ExternalID)
Value Members
-
def
buildString(sb: StringBuilder): StringBuilder
- Definition Classes
- NotationDecl → MarkupDecl
- val extID: ExternalID
- val name: String