Packages

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
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ActiveNotation
  2. ActiveParsingRule
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. 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

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. 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
    ActiveNotationActiveParsingRule
  5. 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
    ActiveNotationActiveParsingRule
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. val backtrackInfo: ScannerBacktrackInfo
    Definition Classes
    ActiveNotationActiveParsingRule
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  9. 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
    ActiveNotationActiveParsingRule
  10. def close: Unit

    precondition: this.closable terminate the current argument(s)

    precondition: this.closable terminate the current argument(s)

    Definition Classes
    ActiveNotationActiveParsingRule
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. def fromTo: (Int, Int)

    returns

    start (inclusive) and end (exclusive) of this notation only well-defined if the notation is closed

  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def getFound: List[Found]

    all found tokens

  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  22. val rules: List[ParsingRule]
    Definition Classes
    ActiveNotationActiveParsingRule
  23. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  24. def toShortString: String
  25. def toString(): String
    Definition Classes
    ActiveNotation → AnyRef → Any
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from ActiveParsingRule

Inherited from AnyRef

Inherited from Any

Ungrouped