case class SymbolName() extends PlaceholderDelimiter with Product with Serializable
expands to the name of the symbol or an alias (whichever is the shortest)
useful for repetitive notations that differ only in the name
- Source
- NotationComponents.scala
- Alphabetic
- By Inheritance
- SymbolName
- Serializable
- Serializable
- Product
- Equals
- PlaceholderDelimiter
- Delimiter
- Marker
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new SymbolName()
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
-
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
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
expand(path: ContentPath, alias: List[LocalName]): Delim
the value of a delimiter may depend on the name of the operator that owns the notation expand eliminates such dependencies
the value of a delimiter may depend on the name of the operator that owns the notation expand eliminates such dependencies
- Definition Classes
- SymbolName → Delimiter
-
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()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
text: String
empty to make them useless for parsing unless expanded
empty to make them useless for parsing unless expanded
- Definition Classes
- PlaceholderDelimiter → Delimiter
-
def
toString: String
- Definition Classes
- SymbolName → Marker → AnyRef → Any
-
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()