term.parser.package

ParserOldTRS

object ParserOldTRS extends RegexParsers with Parser

A parser from a subset of the old trs format to an equational system.

Linear Supertypes
Parser, RegexParsers, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ParserOldTRS
  2. Parser
  3. RegexParsers
  4. Parsers
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Type Members

  1. type Elem = Char

    Definition Classes
    RegexParsers → Parsers
  2. type Input = Reader[Elem]

    Definition Classes
    Parsers

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  6. def OnceParser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

    Definition Classes
    Parsers
  7. def Parser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T]

    Definition Classes
    Parsers
  8. def accept [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers
  9. def accept [ES] (es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers
  10. implicit def accept (e: Elem): Parser[Elem]

    Attributes
    implicit
    Definition Classes
    Parsers
  11. def acceptIf (p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

    Definition Classes
    Parsers
  12. def acceptMatch [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers
  13. def acceptSeq [ES] (es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers
  14. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  15. def chainl1 [T, U] (first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    Definition Classes
    Parsers
  16. def chainl1 [T] (p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    Definition Classes
    Parsers
  17. def chainr1 [T, U] (p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    Definition Classes
    Parsers
  18. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  19. def commit [T] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers
  20. def elem (e: Elem): Parser[Elem]

    Definition Classes
    Parsers
  21. def elem (kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

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

    Attributes
    final
    Definition Classes
    AnyRef
  23. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  24. def err (msg: String): Parser[Nothing]

    Definition Classes
    Parsers
  25. def failure (msg: String): Parser[Nothing]

    Definition Classes
    Parsers
  26. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  27. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any
  28. def guard [T] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers
  29. def handleWhiteSpace (source: CharSequence, offset: Int): Int

    Attributes
    protected
    Definition Classes
    RegexParsers
  30. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  31. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  32. var lastNoSuccess : NoSuccess

    Definition Classes
    Parsers
  33. implicit def literal (s: String): Parser[String]

    Attributes
    implicit
    Definition Classes
    RegexParsers
  34. def log [T] (p: ⇒ Parser[T])(name: String): Parser[T]

    Definition Classes
    Parsers
  35. def mkList [T] : (~[T, List[T]]) ⇒ List[T]

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

    Attributes
    final
    Definition Classes
    AnyRef
  37. def not [T] (p: ⇒ Parser[T]): Parser[Unit]

    Definition Classes
    Parsers
  38. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  39. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  40. def opt [T] (p: ⇒ Parser[T]): Parser[Option[T]]

    Definition Classes
    Parsers
  41. def parse (file: String): ES

    Returns the equational system parsed from file.

    Returns the equational system parsed from file.

    Definition Classes
    ParserOldTRSParser
  42. def parse [T] (p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers
  43. def parse [T] (p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers
  44. def parse [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers
  45. def parseAll [T] (p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers
  46. def parseAll [T] (p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers
  47. def parseAll [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers
  48. def parseInline (s: String): ES

    Returns the equational system parsed from the string s.

  49. def phrase [T] (p: Parser[T]): Parser[T]

    Definition Classes
    RegexParsers → Parsers
  50. def positioned [T <: Positional] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    RegexParsers → Parsers
  51. implicit def regex (r: Regex): Parser[String]

    Attributes
    implicit
    Definition Classes
    RegexParsers
  52. def rep [T] (p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  53. def rep1 [T] (first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

  54. def rep1 [T] (p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  55. def rep1sep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers
  56. def repN [T] (num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  57. def repsep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers
  58. def skipWhitespace : Boolean

    Definition Classes
    RegexParsers
  59. def success [T] (v: T): Parser[T]

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

    Attributes
    final
    Definition Classes
    AnyRef
  61. def toOldString (rs: TRS): String

    Returns a string representing the term rewrite system rs in the old trs format.

  62. def toString (): String

    Definition Classes
    AnyRef → Any
  63. var variables : List[V]

    The list of variables used in this system.

  64. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  67. val whiteSpace : Regex

    Attributes
    protected
    Definition Classes
    RegexParsers

Inherited from Parser

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any