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
- Alphabetic
- By Inheritance
- TextNotation
- Serializable
- Serializable
- Product
- Equals
- HasMetaData
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
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
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
lazy val
arity: Arity
- returns
the arity of this notation
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
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
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- val fixity: Fixity
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getMetaDataNode: NodeSeq
- Definition Classes
- HasMetaData
-
def
hasDelimiter: Boolean
true if there is definitely a delimiter (i.e., not just a sequence separator)
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isLeftOpen: Boolean
there are argumetns before the first delimiter
-
def
isRightOpen: Boolean
there are argumetns after the last delimiter
-
lazy val
markers: List[Marker]
- returns
the list of markers used for parsing/presenting with this notations
- val meta: Option[MPath]
-
val
metadata: MetaData
- Definition Classes
- HasMetaData
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
openArgs(fromRight: Boolean): Int
number of arguments before the first delimiter
-
lazy val
parsingMarkers: List[Marker]
- returns
the list of markers that should be used for parsing
- val precedence: Precedence
- lazy val presentationMarkers: List[Marker]
- val scope: NotationScope
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def toNode: Elem
-
def
toString(): String
- Definition Classes
- TextNotation → AnyRef → Any
- def toText: String
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()