c

org.kiama.example.lambda2

LambdaTests

class LambdaTests extends RegexParserTests with SyntaxAnalyser

Lambda calculus tests.

Source
LambdaTests.scala
Linear Supertypes
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. SyntaxAnalyser
  3. PositionedParserUtilities
  4. ParserUtilities
  5. PackratParsers
  6. RegexParsers
  7. Parsers
  8. RegexParserTests
  9. Tests
  10. Checkers
  11. Configuration
  12. BeforeAndAfterAll
  13. BeforeAndAfter
  14. SuiteMixin
  15. FunSuiteLike
  16. Documenting
  17. Alerting
  18. Notifying
  19. Informing
  20. TestRegistration
  21. TestSuite
  22. Suite
  23. Serializable
  24. Serializable
  25. Assertions
  26. TripleEquals
  27. TripleEqualsSupport
  28. AnyRef
  29. 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. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. def !==[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]
    Definition Classes
    TripleEqualsSupport
  3. def !==(right: Null): TripleEqualsInvocation[Null]
    Definition Classes
    TripleEqualsSupport
  4. def !==[T](right: T): TripleEqualsInvocation[T]
    Definition Classes
    TripleEqualsSupport
  5. final def ##(): Int
    Definition Classes
    AnyRef → Any
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. def ===[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]
    Definition Classes
    TripleEqualsSupport
  8. def ===(right: Null): TripleEqualsInvocation[Null]
    Definition Classes
    TripleEqualsSupport
  9. def ===[T](right: T): TripleEqualsInvocation[T]
    Definition Classes
    TripleEqualsSupport
  10. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    PositionedParserUtilities → Parsers
  11. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    PositionedParserUtilities → Parsers
  12. implicit def PropertyCheckConfig2PropertyCheckConfiguration(p: PropertyCheckConfig): PropertyCheckConfiguration
    Definition Classes
    Configuration
  13. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  14. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  15. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  16. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  17. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  18. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  19. def after(fun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  20. def afterAll(): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  21. def alert: Alerter
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Alerting
  22. def any: PackratParser[Char]
    Definition Classes
    ParserUtilities
  23. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  24. macro def assert(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  25. macro def assert(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  26. macro def assertCompiles(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  27. macro def assertDoesNotCompile(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  28. def assertEval(mech: String, term: String, expected: Exp): Unit

    Parse and evaluate term using the specified mechanism (which is assumed to already have been set) then compare to result.

    Parse and evaluate term using the specified mechanism (which is assumed to already have been set) then compare to result. Fail if the parsing fails or the comparison with the result fails.

  29. def assertEvalAll(term: String, expected1: Exp, expected2: Exp): Unit

    Test the assertion on all available evaluation mechanisms.

    Test the assertion on all available evaluation mechanisms. Same as single result version, except that result1 is expected for mechanisms that evaluate inside lambdas and result2 is expected for those that don't.

  30. def assertEvalAll(term: String, expected: Exp): Unit

    Test the assertion on all available evaluation mechanisms.

  31. def assertMessage(term: String, line: Int, col: Int, msg: String): Unit

    Compute the tipe of the expression and check to see if the specified message is produced.

    Compute the tipe of the expression and check to see if the specified message is produced. We test both of the analysis methods.

  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 assertNoMessage(term: String): Unit

    Parse and type check the expression and expect no messages.

  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. def assertPrettyE(term: Exp, result: String): Unit

    Pretty-print term then compare to result.

  43. def assertPrettyS(term: String, expected: String): Unit

    Parse and pretty-print resulting term then compare to result.

  44. def assertResult(expected: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  45. def assertResult(expected: Any, clue: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  46. def assertSame(mech: String, e1: Exp, e2: Exp): Unit

    Assert true if the two expressions are the same modulo variable renaming, otherwise assert a failure.

  47. 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
  48. def assertThrows[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): Assertion
    Definition Classes
    Assertions
  49. def assertType(e: Exp, aname: String, errors: (Exp) ⇒ Messages, line: Int, col: Int, msg: String): Unit

    Compute errors of e check to make sure the relevant message is reported.

    Compute errors of e check to make sure the relevant message is reported. Use errors to actually perform the check.

  50. macro def assertTypeError(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  51. val assertionsHelper: AssertionsHelper
    Definition Classes
    Assertions
  52. macro def assume(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  53. macro def assume(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  54. def before(fun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  55. def beforeAll(): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  56. def cancel(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  57. def cancel(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  58. def cancel(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  59. def cancel()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  60. def canon(x: Exp): Exp

    Canonicalise an expression so that its binding variable names are given by the depth of their binder in the whole expression.

    Canonicalise an expression so that its binding variable names are given by the depth of their binder in the whole expression. Unbound vars are not changed.

  61. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  62. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  63. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  64. def check[ASSERTION](p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  65. def check[ASSERTION](p: Prop, prms: Parameters)(implicit asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  66. 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
  67. 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
  68. 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
  69. 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
  70. 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
  71. 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
  72. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  73. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  74. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R
    Definition Classes
    ParserUtilities
  75. implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R
    Definition Classes
    ParserUtilities
  76. implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R
    Definition Classes
    ParserUtilities
  77. 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
  78. 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
  79. lazy val constrainedInt: PackratParser[Int]
    Definition Classes
    ParserUtilities
  80. def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  81. def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  82. def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  83. def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  84. def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  85. def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  86. implicit def convertToEqualizer[T](left: T): Equalizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  87. def defaultEquality[A]: Equality[A]
    Definition Classes
    TripleEqualsSupport
  88. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  89. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  90. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  91. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  92. def err(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  93. final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit
    Definition Classes
    Suite
  94. lazy val exp: PackratParser[Exp]
    Definition Classes
    SyntaxAnalyser
  95. lazy val exp0: PackratParser[Exp]
    Definition Classes
    SyntaxAnalyser
  96. lazy val exp1: PackratParser[Exp]
    Definition Classes
    SyntaxAnalyser
  97. lazy val exp2: PackratParser[Exp]
    Definition Classes
    SyntaxAnalyser
  98. def expectedTestCount(filter: Filter): Int
    Definition Classes
    Suite
  99. def fail(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  100. def fail(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  101. def fail(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  102. def fail()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  103. 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
  104. 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
  105. 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
  106. 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
  107. def failure(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  108. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  109. implicit val generatorDrivenConfig: PropertyCheckConfiguration
    Definition Classes
    Configuration
  110. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  111. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  112. def handleWhiteSpace(in: Input): Int
    Definition Classes
    ParserUtilities
  113. def handleWhiteSpace(source: CharSequence, offset: Int): Int
    Attributes
    protected
    Definition Classes
    RegexParsers
  114. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  115. lazy val idn: Regex
    Definition Classes
    SyntaxAnalyser
  116. def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  117. def info: Informer
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Informing
  118. def intercept[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): T
    Definition Classes
    Assertions
  119. val invokeBeforeAllAndAfterAllEvenIfNoTestsAreExpected: Boolean
    Definition Classes
    BeforeAndAfterAll
  120. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  121. lazy val itype: PackratParser[Type]
    Definition Classes
    SyntaxAnalyser
  122. def keywords(ext: Regex, kws: Seq[String]): Parser[String]
    Definition Classes
    ParserUtilities
  123. implicit def literal(s: String): Parser[String]
    Definition Classes
    RegexParsers
  124. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  125. def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  126. def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  127. def mark[T](p: Parser[String]): Parser[Marker]
    Definition Classes
    PositionedParserUtilities
  128. def markup: Documenter
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Documenting
  129. def maxDiscardedFactor(value: PosZDouble): MaxDiscardedFactor
    Definition Classes
    Configuration
  130. def memo[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  131. def minSize(value: PosZInt): MinSize
    Definition Classes
    Configuration
  132. def minSuccessful(value: PosInt): MinSuccessful
    Definition Classes
    Configuration
  133. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  134. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  135. def nestedSuites: IndexedSeq[Suite]
    Definition Classes
    Suite
  136. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  137. def note: Notifier
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Notifying
  138. final def notify(): Unit
    Definition Classes
    AnyRef
  139. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  140. lazy val number: Parser[Num]
    Definition Classes
    SyntaxAnalyser
  141. lazy val op: Parser[Product with Serializable with Op]
    Definition Classes
    SyntaxAnalyser
  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. lazy val ttype: PackratParser[Type]
    Definition Classes
    SyntaxAnalyser
  194. lazy val ttype0: PackratParser[Type]
    Definition Classes
    SyntaxAnalyser
  195. def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  196. implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  197. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  198. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  199. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  200. val whiteSpace: Regex
    Attributes
    protected
    Definition Classes
    RegexParsers
  201. def withClue[T](clue: Any)(fun: ⇒ T): T
    Definition Classes
    Assertions
  202. def withFixture(test: NoArgTest): Outcome
    Attributes
    protected
    Definition Classes
    TestSuite
  203. def workers(value: PosInt): Workers
    Definition Classes
    Configuration
  204. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]
    Definition Classes
    ParserUtilities
  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 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