abstract class PlaceholderDelimiter extends Delimiter
special delimiters that use non-trivial implementations of expand
These are only useful for presentation, not for parsing.
- Source
- NotationComponents.scala
- Alphabetic
- By Inheritance
- PlaceholderDelimiter
- Delimiter
- Marker
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new PlaceholderDelimiter()
Abstract Value Members
-
abstract
def
expand(name: 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
- Delimiter
Concrete 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
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
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()
-
def
hashCode(): Int
- 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
- 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()