Packages

case class TextNotation(fixity: Fixity, precedence: Precedence, meta: Option[MPath], scope: NotationScope = NotationScope.default) extends HasMetaData with Product with Serializable

A TextNotation is a Notation that can be used for parsing objects in text syntax

fixity

the mixfix notation

precedence

the precedence, notations with lower precedence are tried first, thus grab larger subterms

meta

the meta-theory of this notation if different from the current meta-theory

scope

a typed Var must be preceded by a Delim because Var.key does not trigger the notation not all markers may be Arg because such notations cannot be parsed if the only marker is SeqArg, it must hold that OMA(name, List(x)) = x because sequences of length 1 are parsed as themselves

Source
Notation.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TextNotation
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. HasMetaData
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TextNotation(fixity: Fixity, precedence: Precedence, meta: Option[MPath], scope: NotationScope = NotationScope.default)

    fixity

    the mixfix notation

    precedence

    the precedence, notations with lower precedence are tried first, thus grab larger subterms

    meta

    the meta-theory of this notation if different from the current meta-theory

    scope

    a typed Var must be preceded by a Delim because Var.key does not trigger the notation not all markers may be Arg because such notations cannot be parsed if the only marker is SeqArg, it must hold that OMA(name, List(x)) = x because sequences of length 1 are parsed as themselves

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. lazy val arity: Arity

    returns

    the arity of this notation

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def canHandle(subs: Int, vars: Int, args: Int, att: Boolean): Boolean

    returns

    true if this arity can present ComplexTerm(name, subs, vars, args) and has an attribution if necessary

  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. val fixity: Fixity
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. def getMetaDataNode: NodeSeq
    Definition Classes
    HasMetaData
  13. def hasDelimiter: Boolean

    true if there is definitely a delimiter (i.e., not just a sequence separator)

  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. def isLeftOpen: Boolean

    there are argumetns before the first delimiter

  16. def isRightOpen: Boolean

    there are argumetns after the last delimiter

  17. lazy val markers: List[Marker]

    returns

    the list of markers used for parsing/presenting with this notations

  18. val meta: Option[MPath]
  19. val metadata: MetaData
    Definition Classes
    HasMetaData
  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  22. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. def openArgs(fromRight: Boolean): Int

    number of arguments before the first delimiter

  24. lazy val parsingMarkers: List[Marker]

    returns

    the list of markers that should be used for parsing

  25. val precedence: Precedence
  26. lazy val presentationMarkers: List[Marker]
  27. val scope: NotationScope
  28. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  29. def toNode: Elem
  30. def toString(): String
    Definition Classes
    TextNotation → AnyRef → Any
  31. def toText: String
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from HasMetaData

Inherited from AnyRef

Inherited from Any

Ungrouped