case class LabelArg(number: Int, info: LabelInfo, properties: CommonMarkerProperties = noProps) extends Arg with Product with Serializable
OML arguments, possibly with required type/definiens
- Source
- NotationComponents.scala
- Alphabetic
- By Inheritance
- LabelArg
- Serializable
- Serializable
- Product
- Equals
- Arg
- ArgumentMarker
- ArgumentComponent
- ArityComponent
- Marker
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new LabelArg(number: Int, info: LabelInfo, properties: CommonMarkerProperties = noProps)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
*(remap: (Int) ⇒ Int): Arg
renumbers the markers, used for arity flattening of sequences
renumbers the markers, used for arity flattening of sequences
- Definition Classes
- Arg
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
addLocalNotationInfo(lni: LocalNotationInfo): ArgumentMarker
a copy of this marker with the field properties.localNotations set
a copy of this marker with the field properties.localNotations set
- Definition Classes
- ArgumentMarker
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
atomicDescendants: List[Marker]
for markers that contain nested markers, this should be overridden to return all leafs of the syntax tree
for markers that contain nested markers, this should be overridden to return all leafs of the syntax tree
- Definition Classes
- Marker
- def by(s: String): LabelSeqArg
-
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] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- val info: LabelInfo
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isSequence: Boolean
- Definition Classes
- ArityComponent
-
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()
-
val
number: Int
- Definition Classes
- LabelArg → ArgumentMarker → ArityComponent
-
def
precedence: Option[Precedence]
- Definition Classes
- ArgumentMarker → ArityComponent
-
val
properties: CommonMarkerProperties
- Definition Classes
- LabelArg → ArgumentMarker
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def toString: 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()