Trait

de.uni_luebeck.isp.compacom

StateParsers

Related Doc: package compacom

Permalink

trait StateParsers extends Parsers

Linear Supertypes
Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StateParsers
  2. Parsers
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Failure(loc: Location, expected: Set[String], found: Token, completions: Set[ICompletion]) extends ParseResult[Nothing] with Product with Serializable

    Permalink
    Definition Classes
    Parsers
  2. abstract class ParseResult[+Result] extends AnyRef

    Permalink
    Definition Classes
    Parsers
  3. trait Parser[+Result] extends AnyRef

    Permalink
    Definition Classes
    Parsers
  4. abstract type State

    Permalink
  5. trait StateParser extends AnyRef

    Permalink
  6. case class Success[Result](loc: Location, result: Result, completions: Set[ICompletion], expectedAfter: Set[String]) extends ParseResult[Result] with Product with Serializable

    Permalink
    Definition Classes
    Parsers
  7. case class Suggestion(fullToken: String, replacementString: String, docString: Option[String]) extends Product with Serializable

    Permalink
    Definition Classes
    Parsers

Abstract Value Members

  1. abstract def startState: State

    Permalink
  2. abstract val tokenizer: Tokenizer

    Permalink
    Definition Classes
    Parsers

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object Suggestion extends Serializable

    Permalink
    Definition Classes
    Parsers
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. val completionTokenDelimiter: String

    Permalink

    Delimiter that is inserted before the completion when a completion creates a completely new token and no other delimiter is already present (and we're not at the beginning of the file).

    Delimiter that is inserted before the completion when a completion creates a completely new token and no other delimiter is already present (and we're not at the beginning of the file).

    The purpose of this is to make '"if", ctrl+space, select "myCond"' complete to "if myCond" rather than "ifmyCond" (in a language where "myCond" would be a valid token after "if").

    If a space is not a suitable token delimiter in your language, override this to something that is.

    Definition Classes
    Parsers
  8. def describeAs[Result](description: String)(parser: Parser[Result]): Parser[Result]

    Permalink

    Set a custom description for the given parser.

    Set a custom description for the given parser. This will show up in "Expected X, but got Y" error messages instead of the token list generated by default.

    Definition Classes
    Parsers
  9. def eof: Parser[Some[EOF.type]]

    Permalink

    Matches at the end of file.

    Matches at the end of file. Using this rule instead of token(EOF) prevents an empty string from being added to the completions list.

    Definition Classes
    Parsers
  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  12. def fail: Parser[Nothing]

    Permalink

    Parser that fails unconditionally.

    Parser that fails unconditionally.

    This is useful as a default when combining a possibly-empty list of parsers with | for example.

    Definition Classes
    Parsers
  13. def fail(expected: String): Parser[Nothing]

    Permalink

    Parser that fails unconditionally.

    Parser that fails unconditionally.

    This is useful as a default when combining a possibly-empty list of parsers with | for example.

    expected

    The message associated with this rule in "X expected, but Y found" error messages.

    Definition Classes
    Parsers
  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  17. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  18. def matchToken[Result](description: String, suggestions: ⇒ Set[Suggestion] = Set())(f: PartialFunction[WithLocation[Token], Result]): Parser[Result]

    Permalink

    This rule matches a token if the given function is defined for that function.

    This rule matches a token if the given function is defined for that function. If so the result is a Success whose value is the return value of the function. Otherwise the rule fails.

    Definition Classes
    Parsers
  19. def matchTokenAlt[Result](description: Set[String], suggestions: ⇒ Set[Suggestion] = Set())(f: PartialFunction[WithLocation[Token], Result]): Parser[Result]

    Permalink

    This rule matches a token if the given function is defined for that function.

    This rule matches a token if the given function is defined for that function. If so the result is a Success whose value is the return value of the function. Otherwise the rule fails.

    Definition Classes
    Parsers
  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  23. def parseAll[Result](p: ⇒ Parser[Result], s: String): ParseResult[Result]

    Permalink
    Definition Classes
    Parsers
  24. def parseAll[Result](p: ⇒ Parser[Result], s: Source): ParseResult[Result]

    Permalink
    Definition Classes
    Parsers
  25. def parseAll[Result](p: ⇒ Parser[Result], s: LookaheadSource): ParseResult[Result]

    Permalink
    Definition Classes
    Parsers
  26. def parseAll[Result](p: ⇒ Parser[Result], TokenIterator: TokenIterator): ParseResult[Result]

    Permalink
    Definition Classes
    Parsers
  27. def rep1sep[T](rep: Parser[T], sep: Parser[Any]): Parser[List[T]]

    Permalink

    Matches one or more occurrences of rep separated by sep and produces a list of the results if successful.

    Matches one or more occurrences of rep separated by sep and produces a list of the results if successful.

    Definition Classes
    Parsers
  28. def repsep[T](rep: Parser[T], sep: Parser[Any]): Parser[List[T]]

    Permalink

    Matches zero or more occurrences of rep separated by sep and produces a list of the results.

    Matches zero or more occurrences of rep separated by sep and produces a list of the results.

    Definition Classes
    Parsers
  29. def success[Result](result: ⇒ Result): Parser[Result] { def parse(input: StateParsers.this.tokenizer.TokenIterator): StateParsers.this.Success[Result] }

    Permalink

    Succeeds unconditionally and without consuming tokens.

    Succeeds unconditionally and without consuming tokens. The resulitng Success object will contain result as its result value.

    Definition Classes
    Parsers
  30. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  31. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  32. implicit def token[T <: Token](tok: T): Parser[WithLocation[T]]

    Permalink

    This rule matches the given token and fails on any other token.

    This rule matches the given token and fails on any other token.

    Definition Classes
    Parsers
  33. def token[T <: Token](tok: T, docString: String): Parser[WithLocation[T]]

    Permalink

    This rule matches the given token and fails on any other token.

    This rule matches the given token and fails on any other token.

    The given docstring will be used as the documentation for the completion produced for this token.

    Definition Classes
    Parsers
  34. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. def when[T](condition: Boolean)(thenParser: ⇒ Parser[T]): Parser[T]

    Permalink

    Only use the given parser when the given condition is met.

    Only use the given parser when the given condition is met. When the condition is not met, this parser fails unconditionally.

    Definition Classes
    Parsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped