NotationDecl

case class NotationDecl(name: String, extID: ExternalID) extends MarkupDecl

a notation declaration

a notation declaration

trait Serializable
trait Product
trait Equals
class Decl
class Object
trait Matchable
class Any

Value members

Concrete methods

override def buildString(sb: StringBuilder): StringBuilder
Definition Classes

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
override def toString(): String
Definition Classes
MarkupDecl -> Any
Inherited from
MarkupDecl