class ActiveNotation extends ActiveParsingRule
An ActiveNotation is a notation whose firstDelimToken has been scanned An ActiveNotation maintains state about the found and still-expected markers
- Source
- ActiveNotation.scala
- Alphabetic
- By Inheritance
- ActiveNotation
- ActiveParsingRule
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
ActiveNotation(scanner: Scanner, rules: List[ParsingRule], backtrackInfo: ScannerBacktrackInfo)
- scanner
back-pointer to the owning scanner
- rules
the parsing rules must be non-empty; if not a singleton, all TextNotations must TextNotation.agree
- backtrackInfo
information for restoring the state before activating this notation
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
applicable(currentToken: Token, futureTokens: String): Applicability
- currentToken
the currently scanned token
- futureTokens
a string containing those succeeding Tokens that could be merged into the current Token this is used to parse multi-symbol delimiters, where only the first symbol is in currentToken
- returns
true if the notation can be applied at this point i.e., currentToken is (one of the) delimiter(s) expected next and numCurrentTokens matches the currently expected arguments
- Definition Classes
- ActiveNotation → ActiveParsingRule
-
def
apply(currentIndex: Int): Boolean
precondition: this.applicable(scanner.currentToken) terminate the current argument(s) and match the current token to the next expected delimiter
precondition: this.applicable(scanner.currentToken) terminate the current argument(s) and match the current token to the next expected delimiter
- currentIndex
the index of currentToken
- returns
true iff the notation is fully applied, i.e., no further arguments or delimiters can be matched
- Definition Classes
- ActiveNotation → ActiveParsingRule
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
val
backtrackInfo: ScannerBacktrackInfo
- Definition Classes
- ActiveNotation → ActiveParsingRule
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
closable: Applicability
- returns
true if the notation can close i.e., the current arguments can be the last arguments of the notation with no further delimiter expected
- Definition Classes
- ActiveNotation → ActiveParsingRule
-
def
close: Unit
precondition: this.closable terminate the current argument(s)
precondition: this.closable terminate the current argument(s)
- Definition Classes
- ActiveNotation → ActiveParsingRule
-
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] )
-
def
fromTo: (Int, Int)
- returns
start (inclusive) and end (exclusive) of this notation only well-defined if the notation is closed
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getFound: List[Found]
all found tokens
-
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()
-
val
rules: List[ParsingRule]
- Definition Classes
- ActiveNotation → ActiveParsingRule
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def toShortString: String
-
def
toString(): String
- Definition Classes
- ActiveNotation → 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()