class QuotationLexer extends StringInterpolationLexer
- Alphabetic
- By Inheritance
- QuotationLexer
- StringInterpolationLexer
- LexerExtension
- Rule
- SemanticObject
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
QuotationLexer(quoteType: GlobalName, quoteTerm: GlobalName)
- quoteType
the type of literals given by quoted terms
- quoteTerm
the constructor that takes a term literal and a substitution for its interpolation points
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
-
def
apply(s: String, index: Int, fp: SourcePosition): Option[StringInterpolationToken]
- s
the string to lex
- returns
the lexed Token, if applicable lexer extensions are called at every position of the input and therefore must fail very quickly if they are not applicable Make sure to call StringSlice(s,i) instead of s.substring(i) for efficiency.
- Definition Classes
- StringInterpolationLexer → LexerExtension
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
begin: String
- Definition Classes
- StringInterpolationLexer
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
end: String
- Definition Classes
- StringInterpolationLexer
-
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()
-
def
init: Unit
errors in Java initializers are hard to debug; therefore, objects should put initialization code here, which will be called by MMT empty by default, may throw errors
errors in Java initializers are hard to debug; therefore, objects should put initialization code here, which will be called by MMT empty by default, may throw errors
- Definition Classes
- SemanticObject
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
makeTerm(token: StringInterpolationToken, eti: ExternalTokenParsingInput): OMA
builds a term from the interpolated string pre: parts begins and ends with StringPart, part types alternate
builds a term from the interpolated string pre: parts begins and ends with StringPart, part types alternate
- Definition Classes
- QuotationLexer → StringInterpolationLexer
-
val
mmt: Bracket
- Definition Classes
- StringInterpolationLexer
-
lazy val
mpath: MPath
the MMT URI of this object, derived from its Scala name: scala://package?name
the MMT URI of this object, derived from its Scala name: scala://package?name
- Definition Classes
- SemanticObject
-
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
priority: Int
lexer with longer triggers have higher priority
lexer with longer triggers have higher priority
- Definition Classes
- LexerExtension → Rule
-
def
providedRules: List[Rule]
normally the singleton list of this rule; but rules may bundle additional rules as well
normally the singleton list of this rule; but rules may bundle additional rules as well
- Definition Classes
- Rule
-
def
shadowedRules: List[Rule]
normally the empty list; but rules may list rules here that should be removed from the context this can be used to override imported rules
normally the empty list; but rules may list rules here that should be removed from the context this can be used to override imported rules
- Definition Classes
- Rule
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- Rule → AnyRef → Any
-
def
trigger: Some[String]
if given, only applies to tokens that start with trigger
if given, only applies to tokens that start with trigger
- Definition Classes
- StringInterpolationLexer → LexerExtension
-
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()