org.kiama.example.lambda

TestBase

trait TestBase extends Parser with Generator with Evaluator

Basis for tests using the lambda calculus language. Includes access to the parser, generator and evaluator.

Linear Supertypes
Evaluator, Generator, Parser, ParserUtilities, PackratParsers, RegexParsers, Parsers, AnyRef, Any
Known Subclasses
LambdaTests
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. TestBase
  2. Evaluator
  3. Generator
  4. Parser
  5. ParserUtilities
  6. PackratParsers
  7. RegexParsers
  8. Parsers
  9. AnyRef
  10. Any
Visibility
  1. Public
  2. All

Type Members

  1. type Elem = Char

    Definition Classes
    RegexParsers → Parsers

  2. type Input = Reader[Elem]

    Definition Classes
    Parsers

  3. abstract type _$4

    Definition Classes
    PackratParsers

  4. abstract type _$4

    Definition Classes
    PackratParsers

  5. abstract type _$4

    Definition Classes
    PackratParsers

  6. abstract type _$5

    Definition Classes
    PackratParsers

  7. abstract type _$5

    Definition Classes
    PackratParsers

  8. abstract type _$5

    Definition Classes
    PackratParsers

  9. abstract type _$6

    Definition Classes
    PackratParsers

  10. abstract type _$6

    Definition Classes
    PackratParsers

  11. abstract type _$6

    Definition Classes
    PackratParsers

  12. abstract type _$7

    Definition Classes
    PackratParsers

  13. abstract type _$7

    Definition Classes
    PackratParsers

  14. abstract type _$7

    Definition Classes
    PackratParsers

  15. abstract type _$8

    Definition Classes
    PackratParsers

  16. abstract type _$8

    Definition Classes
    PackratParsers

  17. abstract type _$8

    Definition Classes
    PackratParsers

  18. abstract type _$9

    Definition Classes
    PackratParsers

  19. abstract type _$9

    Definition Classes
    PackratParsers

  20. abstract type _$9

    Definition Classes
    PackratParsers

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    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]

    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 any: PackratParser[Char]

    Definition Classes
    ParserUtilities

  15. implicit def arbExp: Arbitrary[Exp]

    Definition Classes
    Generator

  16. implicit def arbVar: Arbitrary[Var]

    Definition Classes
    Generator

  17. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  18. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    Definition Classes
    Parsers

  19. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    Definition Classes
    Parsers

  20. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    Definition Classes
    Parsers

  21. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  22. def commit[T](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers

  23. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R

    Definition Classes
    ParserUtilities

  24. implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

    Definition Classes
    ParserUtilities

  25. implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

    Definition Classes
    ParserUtilities

  26. implicit def constToTupleFunction5[A, B, C, D, E, R](r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R

    Definition Classes
    ParserUtilities

  27. implicit def constToTupleFunction6[A, B, C, D, E, F, R](r: (A, B, C, D, E, F) ⇒ R): (~[~[~[~[~[A, B], C], D], E], F]) ⇒ R

    Definition Classes
    ParserUtilities

  28. lazy val constrainedInt: PackratParser[Int]

    Definition Classes
    ParserUtilities

  29. def elem(e: Elem): Parser[Elem]

    Definition Classes
    Parsers

  30. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    Definition Classes
    Parsers

  31. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  32. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  33. def err(msg: String): Parser[Nothing]

    Definition Classes
    ParserUtilities → Parsers

  34. lazy val exp: PackratParser[Exp]

    Definition Classes
    Parser

  35. lazy val factor: PackratParser[Exp]

    Definition Classes
    Parser

  36. def failure(msg: String): Parser[Nothing]

    Definition Classes
    ParserUtilities → Parsers

  37. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  38. def fv(t: Exp): Set[Idn]

    Free variables

    Free variables

    Definition Classes
    Evaluator

  39. def genAppExp(sz: Int): Gen[App]

    Definition Classes
    Generator

  40. def genExp(sz: Int): Gen[Exp]

    Definition Classes
    Generator

  41. val genIdn: Gen[String]

    Definition Classes
    Generator

  42. def genLamExp(sz: Int): Gen[Lam]

    Definition Classes
    Generator

  43. val genLeafExp: Gen[Product with Serializable with Exp]

    Definition Classes
    Generator

  44. val genNum: Gen[Num]

    Definition Classes
    Generator

  45. val genVar: Gen[Var]

    Definition Classes
    Generator

  46. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any

  47. def guard[T](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers

  48. def handleWhiteSpace(source: CharSequence, offset: Int): Int

    Attributes
    protected
    Definition Classes
    RegexParsers

  49. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  50. lazy val idn: Regex

    Definition Classes
    Parser

  51. lazy val integer: Parser[Num]

    Definition Classes
    Parser

  52. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  53. var lastNoSuccess: NoSuccess

    Definition Classes
    Parsers

  54. implicit def literal(s: String): Parser[String]

    Definition Classes
    RegexParsers

  55. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

    Definition Classes
    Parsers

  56. def memo[T](p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers

  57. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

    Definition Classes
    Parsers

  58. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  59. val normal: Strategy

    Normal-order reduction

    Normal-order reduction

    Definition Classes
    Evaluator

  60. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    Definition Classes
    Parsers

  61. final def notify(): Unit

    Definition Classes
    AnyRef

  62. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  63. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

    Definition Classes
    Parsers

  64. def parse[T](p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers

  65. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers

  66. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers

  67. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers

  68. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers

  69. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers

  70. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]

    Definition Classes
    ParserUtilities

  71. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

    Definition Classes
    ParserUtilities

  72. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

    Definition Classes
    ParserUtilities

  73. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

    Definition Classes
    ParserUtilities

  74. implicit def parseResultToTuple6[A, B, C, D, E, F](p: Parser[~[~[~[~[~[A, B], C], D], E], F]]): PackratParser[(A, B, C, D, E, F)]

    Definition Classes
    ParserUtilities

  75. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers

  76. def phrase[T](p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers → Parsers

  77. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    RegexParsers → Parsers

  78. implicit def regex(r: Regex): Parser[String]

    Definition Classes
    RegexParsers

  79. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers

  80. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.

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

    Definition Classes
    Parsers

  82. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers

  83. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers

  84. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers

  85. def result[T](v: ⇒ T): Parser[T]

    Definition Classes
    ParserUtilities

  86. def skipWhitespace: Boolean

    Definition Classes
    RegexParsers

  87. lazy val start: PackratParser[Exp]

    Definition Classes
    Parser

  88. def stringToInt(s: String): Either[Int, String]

    Definition Classes
    ParserUtilities

  89. def success[T](v: T): Parser[T]

    Definition Classes
    Parsers

  90. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  91. def toString(): String

    Definition Classes
    AnyRef → Any

  92. lazy val variable: Parser[Var]

    Definition Classes
    Parser

  93. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  94. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  95. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  96. val whiteSpace: Regex

    Attributes
    protected
    Definition Classes
    RegexParsers

  97. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

    Definition Classes
    ParserUtilities

  98. val xgc_reduction: Strategy

    \xgc-reduction

    \xgc-reduction

    Definition Classes
    Evaluator

Inherited from Evaluator

Inherited from Generator

Inherited from Parser

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any