Packages

c

org.kiama.example.lambda

LambdaTests

class LambdaTests extends RegexParserTests with SyntaxAnalyser with Evaluator with Generator

Lambda calculus tests.

Source
LambdaTests.scala
Linear Supertypes
Generator, Evaluator, SyntaxAnalyser, PositionedParserUtilities, ParserUtilities, PackratParsers, RegexParsers, Parsers, RegexParserTests, Tests, Checkers, Configuration, BeforeAndAfterAll, BeforeAndAfter, SuiteMixin, FunSuiteLike, Documenting, Alerting, Notifying, Informing, TestRegistration, TestSuite, Suite, Serializable, Serializable, Assertions, TripleEquals, TripleEqualsSupport, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LambdaTests
  2. Generator
  3. Evaluator
  4. SyntaxAnalyser
  5. PositionedParserUtilities
  6. ParserUtilities
  7. PackratParsers
  8. RegexParsers
  9. Parsers
  10. RegexParserTests
  11. Tests
  12. Checkers
  13. Configuration
  14. BeforeAndAfterAll
  15. BeforeAndAfter
  16. SuiteMixin
  17. FunSuiteLike
  18. Documenting
  19. Alerting
  20. Notifying
  21. Informing
  22. TestRegistration
  23. TestSuite
  24. Suite
  25. Serializable
  26. Serializable
  27. Assertions
  28. TripleEquals
  29. TripleEqualsSupport
  30. AnyRef
  31. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new LambdaTests()

Type Members

  1. class AssertionsHelper extends AnyRef
    Definition Classes
    Assertions
  2. class CheckingEqualizer[L] extends AnyRef
    Definition Classes
    TripleEqualsSupport
  3. type Elem = Char
    Definition Classes
    RegexParsers → Parsers
  4. class Equalizer[L] extends AnyRef
    Definition Classes
    TripleEqualsSupport
  5. case class Error extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  6. case class Failure extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  7. type Input = Reader[Elem]
    Definition Classes
    Parsers
  8. class Marker extends AnyRef
    Definition Classes
    PositionedParserUtilities
  9. case class MaxDiscardedFactor extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  10. case class MinSize extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  11. case class MinSuccessful extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  12. trait NoArgTest extends () ⇒ Outcome with TestData
    Attributes
    protected
    Definition Classes
    TestSuite
  13. sealed abstract class NoSuccess extends ParseResult[Nothing]
    Definition Classes
    Parsers
  14. trait OnceParser[+T] extends Parser[T]
    Definition Classes
    Parsers
  15. abstract class PackratParser[+T] extends scala.util.parsing.combinator.PackratParsers.Parser[T]
    Definition Classes
    PackratParsers
  16. class PackratReader[+T] extends Reader[T]
    Definition Classes
    PackratParsers
  17. sealed abstract class ParseResult[+T] extends AnyRef
    Definition Classes
    Parsers
  18. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
    Definition Classes
    Parsers
  19. sealed abstract class PropertyCheckConfigParam extends Product with Serializable
    Definition Classes
    Configuration
  20. case class PropertyCheckConfiguration extends PropertyCheckConfigurable with Product with Serializable
    Definition Classes
    Configuration
  21. case class SizeRange extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  22. case class Success[+T] extends ParseResult[T] with Product with Serializable
    Definition Classes
    Parsers
  23. case class Workers extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  24. case class ~[+a, +b] extends Product with Serializable
    Definition Classes
    Parsers
  25. case class MaxDiscarded extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated
  26. case class MaxSize extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    use SizeRange instead

  27. case class PropertyCheckConfig extends PropertyCheckConfigurable with Product with Serializable
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    Use PropertyCheckConfiguration instead

  28. trait PropertyCheckConfigurable extends AnyRef
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    Use PropertyCheckConfiguration directly instead.

Value Members

  1. object FreshVar extends Counter

    Fresh variable name generator.

    Fresh variable name generator. To keep things simple, we generate names of the form _vn where n is a unique number. These names are guaranteed not to occur in user programs, so we do not have to check for clashes.

    Definition Classes
    Evaluator
  2. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  3. def !==[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]
    Definition Classes
    TripleEqualsSupport
  4. def !==(right: Null): TripleEqualsInvocation[Null]
    Definition Classes
    TripleEqualsSupport
  5. def !==[T](right: T): TripleEqualsInvocation[T]
    Definition Classes
    TripleEqualsSupport
  6. final def ##(): Int
    Definition Classes
    AnyRef → Any
  7. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def ===[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]
    Definition Classes
    TripleEqualsSupport
  9. def ===(right: Null): TripleEqualsInvocation[Null]
    Definition Classes
    TripleEqualsSupport
  10. def ===[T](right: T): TripleEqualsInvocation[T]
    Definition Classes
    TripleEqualsSupport
  11. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    PositionedParserUtilities → Parsers
  12. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    PositionedParserUtilities → Parsers
  13. implicit def PropertyCheckConfig2PropertyCheckConfiguration(p: PropertyCheckConfig): PropertyCheckConfiguration
    Definition Classes
    Configuration
  14. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  15. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  16. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  17. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  18. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  19. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  20. def after(fun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  21. def afterAll(): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  22. def alert: Alerter
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Alerting
  23. def any: PackratParser[Char]
    Definition Classes
    ParserUtilities
  24. implicit def arbExp: Arbitrary[Exp]
    Definition Classes
    Generator
  25. implicit def arbVar: Arbitrary[Var]
    Definition Classes
    Generator
  26. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  27. macro def assert(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  28. macro def assert(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  29. macro def assertCompiles(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  30. macro def assertDoesNotCompile(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  31. def assertEval(term: String, expected: Exp): Unit

    Parse and evaluate term then compare to expected.

  32. def assertMessage(received: Message, index: Int, expected: Message): Unit

    Assert that a received message at the given zero-based index conforms to an expected one in that it reports the same message label at the same position.

    Assert that a received message at the given zero-based index conforms to an expected one in that it reports the same message label at the same position.

    Definition Classes
    Tests
  33. def assertMessages(received: Messages, expected: Message*): Unit

    Assert that the received list of messsages has recorded the expected messages in the same order.

    Assert that the received list of messsages has recorded the expected messages in the same order.

    Definition Classes
    Tests
  34. def assertNotOptSame(expected: Any)(actual: Any): Unit

    Analogous to ScalaTest's assertResult but it uses optsame to compare the two values instead of equality.

    Analogous to ScalaTest's assertResult but it uses optsame to compare the two values instead of equality.

    Definition Classes
    Tests
  35. def assertNotSame(expected: Any)(actual: Any): Unit

    Analogous to ScalaTest's assertResult but it uses same to compare the two values instead of equality.

    Analogous to ScalaTest's assertResult but it uses same to compare the two values instead of equality.

    Definition Classes
    Tests
  36. def assertOptSame(expected: Any)(actual: Any): Unit

    Analogous to ScalaTest's assertResult but it uses optsame to compare the two values instead of equality.

    Analogous to ScalaTest's assertResult but it uses optsame to compare the two values instead of equality.

    Definition Classes
    Tests
  37. def assertParseCheck[T, U](str: String, parser: Parser[T])(func: (T) ⇒ U): U

    Parse a string and if the parse succeeds, pass the result of the parse to a function for further processing or checking.

    Parse a string and if the parse succeeds, pass the result of the parse to a function for further processing or checking. str is the string to be parsed and parser is the parser to parse it with. func accepts the result value of the parse and returns whatever it likes which is returned from assertParseCheck. Fail if the parse succeeds but doesn't consume all of str or if the parse fails.

    Definition Classes
    RegexParserTests
  38. def assertParseError[T](str: String, parser: Parser[T], line: Int, column: Int, msg: String, iserr: Boolean = false): Unit

    Assert that a parsing operation should not result in success.

    Assert that a parsing operation should not result in success. Try to parse str as a T using parser, which is expected to not succeed, giving either a fatal error or failure (as specified by the iserr parameter, which defaults to failure). Fail the test if the parsing operation succeeds. Furthermore, fail the test if it fails, but the error or failure is not indicated at the given line and column location or doesn't contain the given message msg.

    Definition Classes
    RegexParserTests
  39. def assertParseOk[T](str: String, parser: Parser[T], expected: T): Unit

    Assert that a parsing operation should be performed correctly.

    Assert that a parsing operation should be performed correctly. Try to parse str as a T using parser, which is expected to succeed and to produce the expected value. Fail if p doesn't produce the expected value or if parser doesn't consume all of the input.

    Definition Classes
    RegexParserTests
  40. def assertParseReturn[T](str: String, parser: Parser[T]): T

    Parse a string and if the parse succeeds, return the result of the parse.

    Parse a string and if the parse succeeds, return the result of the parse. str is the string to be parsed and parser is the parser to parse it with.

    Definition Classes
    RegexParserTests
  41. def assertResult(expected: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  42. def assertResult(expected: Any, clue: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  43. def assertSame(expected: Any)(actual: Any): Unit

    Analogous to ScalaTest's assertResult but it uses same to compare the two values instead of equality.

    Analogous to ScalaTest's assertResult but it uses same to compare the two values instead of equality.

    Definition Classes
    Tests
  44. def assertThrows[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): Assertion
    Definition Classes
    Assertions
  45. macro def assertTypeError(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  46. val assertionsHelper: AssertionsHelper
    Definition Classes
    Assertions
  47. macro def assume(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  48. macro def assume(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  49. def before(fun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  50. def beforeAll(): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  51. def cancel(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  52. def cancel(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  53. def cancel(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  54. def cancel()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  55. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  56. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  57. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  58. def check[ASSERTION](p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  59. def check[ASSERTION](p: Prop, prms: Parameters)(implicit asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  60. def check[A1, A2, A3, A4, A5, A6, P, ASSERTION](f: (A1, A2, A3, A4, A5, A6) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  61. def check[A1, A2, A3, A4, A5, P, ASSERTION](f: (A1, A2, A3, A4, A5) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  62. def check[A1, A2, A3, A4, P, ASSERTION](f: (A1, A2, A3, A4) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  63. def check[A1, A2, A3, P, ASSERTION](f: (A1, A2, A3) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  64. def check[A1, A2, P, ASSERTION](f: (A1, A2) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  65. def check[A1, P, ASSERTION](f: (A1) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  66. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  67. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  68. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R
    Definition Classes
    ParserUtilities
  69. implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R
    Definition Classes
    ParserUtilities
  70. implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R
    Definition Classes
    ParserUtilities
  71. 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
  72. 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
  73. lazy val constrainedInt: PackratParser[Int]
    Definition Classes
    ParserUtilities
  74. def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  75. def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  76. def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  77. def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  78. def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  79. def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  80. implicit def convertToEqualizer[T](left: T): Equalizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  81. def defaultEquality[A]: Equality[A]
    Definition Classes
    TripleEqualsSupport
  82. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  83. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  84. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  85. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  86. def err(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  87. def evalTo(term: String, expected: Exp): Boolean

    Parse and evaluate term then compare to expected result, returning the result of the comparison.

  88. final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit
    Definition Classes
    Suite
  89. lazy val exp: PackratParser[Exp]
    Definition Classes
    SyntaxAnalyser
  90. def expectedTestCount(filter: Filter): Int
    Definition Classes
    Suite
  91. lazy val factor: PackratParser[Exp]
    Definition Classes
    SyntaxAnalyser
  92. def fail(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  93. def fail(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  94. def fail(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  95. def fail()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  96. def failExpectedTest[T](expected: T, found: T, description: String = ""): Unit

    Fail a test with a message about finding something and expecting something else.

    Fail a test with a message about finding something and expecting something else.

    Definition Classes
    Tests
  97. def failInputEnd(in: Input): Unit

    Fail a test with a message about reaching the end of the input.

    Fail a test with a message about reaching the end of the input.

    Definition Classes
    RegexParserTests
  98. def failParseError(error: Error): Unit

    Fail a test with a message detailing a parse error.

    Fail a test with a message detailing a parse error.

    Definition Classes
    RegexParserTests
  99. def failParseFailure(failure: Failure): Unit

    Fail a test with a message detailing a parse failure.

    Fail a test with a message detailing a parse failure.

    Definition Classes
    RegexParserTests
  100. def failure(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  101. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  102. def fv(t: Exp): Set[Idn]

    Free variables

    Free variables

    Definition Classes
    Evaluator
  103. def genAppExp(sz: Int): Gen[App]
    Definition Classes
    Generator
  104. def genExp(sz: Int): Gen[Exp]
    Definition Classes
    Generator
  105. val genIdn: Gen[String]
    Definition Classes
    Generator
  106. def genLamExp(sz: Int): Gen[Lam]
    Definition Classes
    Generator
  107. val genLeafExp: Gen[Exp with Serializable]
    Definition Classes
    Generator
  108. val genNum: Gen[Num]
    Definition Classes
    Generator
  109. val genVar: Gen[Var]
    Definition Classes
    Generator
  110. implicit val generatorDrivenConfig: PropertyCheckConfiguration
    Definition Classes
    Configuration
  111. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  112. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  113. def handleWhiteSpace(in: Input): Int
    Definition Classes
    ParserUtilities
  114. def handleWhiteSpace(source: CharSequence, offset: Int): Int
    Attributes
    protected
    Definition Classes
    RegexParsers
  115. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  116. lazy val idn: Regex
    Definition Classes
    SyntaxAnalyser
  117. def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  118. def info: Informer
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Informing
  119. lazy val integer: Parser[Num]
    Definition Classes
    SyntaxAnalyser
  120. def intercept[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): T
    Definition Classes
    Assertions
  121. val invokeBeforeAllAndAfterAllEvenIfNoTestsAreExpected: Boolean
    Definition Classes
    BeforeAndAfterAll
  122. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  123. def keywords(ext: Regex, kws: Seq[String]): Parser[String]
    Definition Classes
    ParserUtilities
  124. implicit def literal(s: String): Parser[String]
    Definition Classes
    RegexParsers
  125. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  126. def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  127. def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  128. def mark[T](p: Parser[String]): Parser[Marker]
    Definition Classes
    PositionedParserUtilities
  129. def markup: Documenter
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Documenting
  130. def maxDiscardedFactor(value: PosZDouble): MaxDiscardedFactor
    Definition Classes
    Configuration
  131. def memo[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  132. def minSize(value: PosZInt): MinSize
    Definition Classes
    Configuration
  133. def minSuccessful(value: PosInt): MinSuccessful
    Definition Classes
    Configuration
  134. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  135. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  136. def nestedSuites: IndexedSeq[Suite]
    Definition Classes
    Suite
  137. val normal: Strategy

    Normal-order reduction

    Normal-order reduction

    Definition Classes
    Evaluator
  138. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  139. def note: Notifier
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Notifying
  140. final def notify(): Unit
    Definition Classes
    AnyRef
  141. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  142. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  143. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  144. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  145. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  146. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  147. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  148. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  149. def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]
    Definition Classes
    PositionedParserUtilities
  150. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]
    Definition Classes
    ParserUtilities
  151. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]
    Definition Classes
    ParserUtilities
  152. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]
    Definition Classes
    ParserUtilities
  153. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]
    Definition Classes
    ParserUtilities
  154. 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
  155. def parseString[T](parser: Parser[T], str: String): Either[T, String]
    Definition Classes
    ParserUtilities
  156. lazy val parser: PackratParser[Exp]
    Definition Classes
    SyntaxAnalyser
  157. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  158. def pending: Assertion with PendingStatement
    Definition Classes
    Assertions
  159. def pendingUntilFixed(f: ⇒ Unit)(implicit pos: Position): Assertion with PendingStatement
    Definition Classes
    Assertions
  160. def phrase[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers → Parsers
  161. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    RegexParsers → Parsers
  162. implicit def regex(r: Regex): Parser[String]
    Definition Classes
    RegexParsers
  163. final def registerIgnoredTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Definition Classes
    FunSuiteLike → TestRegistration
  164. final def registerTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Definition Classes
    FunSuiteLike → TestRegistration
  165. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  166. 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.

  167. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  168. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  169. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  170. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  171. def rerunner: Option[String]
    Definition Classes
    Suite
  172. def result[T](v: ⇒ T): Parser[T]
    Definition Classes
    ParserUtilities
  173. def run(testName: Option[String], args: Args): Status
    Definition Classes
    BeforeAndAfterAll → SuiteMixin
  174. def runNestedSuites(args: Args): Status
    Attributes
    protected
    Definition Classes
    Suite
  175. def runTest(testName: String, args: Args): Status
    Attributes
    protected
    Definition Classes
    BeforeAndAfter → SuiteMixin
  176. def runTests(testName: Option[String], args: Args): Status
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Suite
  177. def sizeRange(value: PosZInt): SizeRange
    Definition Classes
    Configuration
  178. def skipWhitespace: Boolean
    Definition Classes
    RegexParsers
  179. def stringToInt(s: String): Either[Int, String]
    Definition Classes
    ParserUtilities
  180. final val styleName: String
    Definition Classes
    FunSuiteLike → Suite
  181. final val succeed: Assertion
    Definition Classes
    Assertions
  182. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  183. def suiteId: String
    Definition Classes
    Suite
  184. def suiteName: String

    ScalaTest by default only shows the unqualified class name when it displays the name of the suite.

    ScalaTest by default only shows the unqualified class name when it displays the name of the suite. If a suite class name is used in more than one package we can't tell them apart. Here we override the name that is printed so that we get a project relative source file name as well.

    This definition assumes that the test suite resides in the library project, that the name of the suite class is the same as the basename of the file and that the file is located in the folder given by the package name.

    Definition Classes
    Tests → SuiteMixin → Suite
  185. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  186. def tags: Map[String, Set[String]]
    Definition Classes
    FunSuiteLike → Suite
  187. def test(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  188. def testDataFor(testName: String, theConfigMap: ConfigMap): TestData
    Definition Classes
    FunSuiteLike → Suite
  189. def testNames: Set[String]
    Definition Classes
    FunSuiteLike → Suite
  190. def testsFor(unit: Unit): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  191. def textOf[T](t: T, includeWhiteSpace: Boolean): Option[String]
    Definition Classes
    PositionedParserUtilities
  192. def toString(): String
    Definition Classes
    AnyRef → Any
  193. def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  194. implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  195. lazy val variable: Parser[Var]
    Definition Classes
    SyntaxAnalyser
  196. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  197. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  198. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  199. val whiteSpace: Regex
    Attributes
    protected
    Definition Classes
    RegexParsers
  200. def withClue[T](clue: Any)(fun: ⇒ T): T
    Definition Classes
    Assertions
  201. def withFixture(test: NoArgTest): Outcome
    Attributes
    protected
    Definition Classes
    TestSuite
  202. def workers(value: PosInt): Workers
    Definition Classes
    Configuration
  203. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]
    Definition Classes
    ParserUtilities
  204. val xgc_reduction: Strategy

    \xgc-reduction

    \xgc-reduction

    Definition Classes
    Evaluator
  205. object FocusTest extends Tag

    A ScalaTest tag that enables us to focus attention on particular tests rather than running all of them each time.

    A ScalaTest tag that enables us to focus attention on particular tests rather than running all of them each time. Add this as an argument to the particular test methods that you want to focus on. Then you can use an sbt command such as "test-only *RewriterTests -- -n FocusTest" to run just the tests in that suite with this tag.

    Definition Classes
    Tests

Deprecated Value Members

  1. final def execute: Unit
    Definition Classes
    Suite
    Annotations
    @deprecated
    Deprecated

    The parameterless execute method has been deprecated and will be removed in a future version of ScalaTest. Please invoke execute with empty parens instead: execute().

  2. def maxDiscarded(value: Int): MaxDiscarded
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    use maxDiscardedFactor instead

  3. def maxSize(value: Int): MaxSize
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    use SizeRange instead

  4. def trap[T](f: ⇒ T): Throwable
    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    The trap method is no longer needed for demos in the REPL, which now abreviates stack traces, and will be removed in a future version of ScalaTest

Inherited from Generator

Inherited from Evaluator

Inherited from SyntaxAnalyser

Inherited from PositionedParserUtilities

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from RegexParserTests

Inherited from Tests

Inherited from Checkers

Inherited from Configuration

Inherited from BeforeAndAfterAll

Inherited from BeforeAndAfter

Inherited from SuiteMixin

Inherited from FunSuiteLike

Inherited from Documenting

Inherited from Alerting

Inherited from Notifying

Inherited from Informing

Inherited from TestRegistration

Inherited from TestSuite

Inherited from Suite

Inherited from Serializable

Inherited from Serializable

Inherited from Assertions

Inherited from TripleEquals

Inherited from TripleEqualsSupport

Inherited from AnyRef

Inherited from Any

Ungrouped