org.kiama.example.prolog

InterpreterTests

class InterpreterTests extends SyntaxAnalyser with RegexParserTests

Tests that check that the queries run correctly. I.e., given a base Prolog file containing definitions, that running specific queries over those definitions give the expected results.

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

Instance Constructors

  1. new InterpreterTests()

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 LegacyCheckingEqualizer[L] extends AnyRef

    Definition Classes
    TripleEqualsSupport
  9. class LegacyEqualizer[L] extends AnyRef

    Definition Classes
    TripleEqualsSupport
  10. class Marker extends AnyRef

    Definition Classes
    PositionedParserUtilities
  11. case class MaxDiscarded extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  12. case class MaxSize extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  13. case class MinSize extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  14. case class MinSuccessful extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  15. trait NoArgTest extends () ⇒ Outcome with TestData

    Attributes
    protected
    Definition Classes
    Suite
  16. sealed abstract class NoSuccess extends ParseResult[Nothing]

    Definition Classes
    Parsers
  17. trait OnceParser[+T] extends Parser[T]

    Definition Classes
    Parsers
  18. abstract class PackratParser[+T] extends scala.util.parsing.combinator.PackratParsers.Parser[T]

    Definition Classes
    PackratParsers
  19. class PackratReader[+T] extends Reader[T]

    Definition Classes
    PackratParsers
  20. sealed abstract class ParseResult[+T] extends AnyRef

    Definition Classes
    Parsers
  21. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]

    Definition Classes
    Parsers
  22. case class PropertyCheckConfig extends Product with Serializable

    Definition Classes
    Configuration
  23. sealed abstract class PropertyCheckConfigParam extends AnyRef

    Definition Classes
    Configuration
  24. case class Success[+T] extends ParseResult[T] with Product with Serializable

    Definition Classes
    Parsers
  25. case class Workers extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  26. case class ~[+a, +b] extends Product with Serializable

    Definition Classes
    Parsers

Value Members

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

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

    Definition Classes
    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: AnyRef): Boolean

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

    Definition Classes
    Any
  9. def ===[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

    Definition Classes
    TripleEqualsSupport
  10. def ===(right: Null): TripleEqualsInvocation[Null]

    Definition Classes
    TripleEqualsSupport
  11. def ===[T](right: T): TripleEqualsInvocation[T]

    Definition Classes
    TripleEqualsSupport
  12. object FocusTest extends Tag

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

  13. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

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

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

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

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

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

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

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

    Definition Classes
    Parsers
  21. def after(fun: ⇒ Any): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  22. def afterAll(): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  23. def alert: Alerter

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Alerting
  24. def any: PackratParser[Char]

    Definition Classes
    ParserUtilities
  25. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  26. def assert(condition: Boolean, clue: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  27. def assert(condition: Boolean): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  28. def assertCompiles(code: String): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  29. def assertDoesNotCompile(code: String): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. def assertResult(expected: Any)(actual: Any): Unit

    Definition Classes
    Assertions
  40. def assertResult(expected: Any, clue: Any)(actual: Any): Unit

    Definition Classes
    Assertions
  41. 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
  42. def assertTypeError(code: String): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  43. val assertionsHelper: AssertionsHelper

    Definition Classes
    Assertions
  44. def assume(condition: Boolean, clue: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  45. def assume(condition: Boolean): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  46. lazy val atom: Parser[String]

    Definition Classes
    SyntaxAnalyser
  47. def before(fun: ⇒ Any): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  48. def beforeAll(): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  49. def cancel(cause: Throwable): Nothing

    Definition Classes
    Assertions
  50. def cancel(message: String, cause: Throwable): Nothing

    Definition Classes
    Assertions
  51. def cancel(message: String): Nothing

    Definition Classes
    Assertions
  52. def cancel(): Nothing

    Definition Classes
    Assertions
  53. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

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

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

    Definition Classes
    Parsers
  56. def check(p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig): Unit

    Definition Classes
    Checkers
  57. def check(p: Prop, prms: Parameters): Unit

    Definition Classes
    Checkers
  58. def check[A1, A2, A3, A4, A5, A6, P](f: (A1, A2, A3, A4, A5, A6) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, 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): Unit

    Definition Classes
    Checkers
  59. def check[A1, A2, A3, A4, A5, P](f: (A1, A2, A3, A4, A5) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, 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): Unit

    Definition Classes
    Checkers
  60. def check[A1, A2, A3, A4, P](f: (A1, A2, A3, A4) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, 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): Unit

    Definition Classes
    Checkers
  61. def check[A1, A2, A3, P](f: (A1, A2, A3) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, 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): Unit

    Definition Classes
    Checkers
  62. def check[A1, A2, P](f: (A1, A2) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty): Unit

    Definition Classes
    Checkers
  63. def check[A1, P](f: (A1) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty): Unit

    Definition Classes
    Checkers
  64. lazy val clause: Parser[Clause with Serializable]

    Definition Classes
    SyntaxAnalyser
  65. def clone(): AnyRef

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

    Definition Classes
    Parsers
  67. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R

    Definition Classes
    ParserUtilities
  68. implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

    Definition Classes
    ParserUtilities
  69. implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

    Definition Classes
    ParserUtilities
  70. 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
  71. 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
  72. lazy val constrainedInt: PackratParser[Int]

    Definition Classes
    ParserUtilities
  73. def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  74. def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  75. def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  76. def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  77. def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  78. def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  79. implicit def convertToEqualizer[T](left: T): Equalizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  80. def convertToLegacyCheckingEqualizer[T](left: T): LegacyCheckingEqualizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  81. def convertToLegacyEqualizer[T](left: T): LegacyEqualizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  82. lazy val cut: Parser[Cut]

    Definition Classes
    SyntaxAnalyser
  83. def defaultEquality[A]: Equality[A]

    Definition Classes
    TripleEqualsSupport
  84. def elem(e: Elem): Parser[Elem]

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

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

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

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

    Definition Classes
    ParserUtilities → Parsers
  89. final def execute: Unit

    Definition Classes
    Suite
  90. final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

    Definition Classes
    Suite
  91. def expectedTestCount(filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite
  92. def fail(cause: Throwable): Nothing

    Definition Classes
    Assertions
  93. def fail(message: String, cause: Throwable): Nothing

    Definition Classes
    Assertions
  94. def fail(message: String): Nothing

    Definition Classes
    Assertions
  95. def fail(): 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. implicit val generatorDrivenConfig: PropertyCheckConfig

    Definition Classes
    Configuration
  103. final def getClass(): Class[_]

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

    Definition Classes
    Parsers
  105. def handleWhiteSpace(in: Input): Int

    Definition Classes
    ParserUtilities
  106. def handleWhiteSpace(source: CharSequence, offset: Int): Int

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

    Definition Classes
    AnyRef → Any
  108. def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuiteLike
  109. def info: Informer

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Informing
  110. lazy val integer: Parser[Integer]

    Definition Classes
    SyntaxAnalyser
  111. def intercept[T <: AnyRef](f: ⇒ Any)(implicit manifest: Manifest[T]): T

    Definition Classes
    Assertions
  112. val invokeBeforeAllAndAfterAllEvenIfNoTestsAreExpected: Boolean

    Definition Classes
    BeforeAndAfterAll
  113. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  114. def keywords(ext: Regex, kws: Seq[String]): Parser[String]

    Definition Classes
    ParserUtilities
  115. lazy val list: Parser[Literal]

    Definition Classes
    SyntaxAnalyser
  116. lazy val listterms: PackratParser[Literal]

    Definition Classes
    SyntaxAnalyser
  117. implicit def literal(s: String): Parser[String]

    Definition Classes
    RegexParsers
  118. lazy val literal: PackratParser[Literal]

    Definition Classes
    SyntaxAnalyser
  119. lazy val literals: Parser[List[Literal]]

    Definition Classes
    SyntaxAnalyser
  120. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

    Definition Classes
    Parsers
  121. def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  122. def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  123. def mark[T](p: Parser[String]): Parser[Marker]

    Definition Classes
    PositionedParserUtilities
  124. def markup: Documenter

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Documenting
  125. def maxDiscarded(value: Int): MaxDiscarded

    Definition Classes
    Configuration
  126. def maxSize(value: Int): MaxSize

    Definition Classes
    Configuration
  127. def memo[T](p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers
  128. def minSize(value: Int): MinSize

    Definition Classes
    Configuration
  129. def minSuccessful(value: Int): MinSuccessful

    Definition Classes
    Configuration
  130. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

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

    Definition Classes
    AnyRef
  132. def nestedSuites: IndexedSeq[Suite]

    Definition Classes
    Suite → AbstractSuite
  133. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    Definition Classes
    Parsers
  134. def note: Notifier

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Notifying
  135. final def notify(): Unit

    Definition Classes
    AnyRef
  136. final def notifyAll(): Unit

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

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

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

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

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

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

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

    Definition Classes
    RegexParsers
  144. def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]

    Definition Classes
    PositionedParserUtilities
  145. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]

    Definition Classes
    ParserUtilities
  146. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

    Definition Classes
    ParserUtilities
  147. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

    Definition Classes
    ParserUtilities
  148. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

    Definition Classes
    ParserUtilities
  149. 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
  150. def parseString[T](parser: Parser[T], str: String): Either[T, String]

    Definition Classes
    ParserUtilities
  151. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers
  152. def pending: PendingNothing

    Definition Classes
    Suite
  153. def pendingUntilFixed(f: ⇒ Unit): Unit

    Definition Classes
    Suite
  154. def phrase[T](p: Parser[T]): PackratParser[T]

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

    Definition Classes
    RegexParsers → Parsers
  156. lazy val program: PackratParser[Program]

    Definition Classes
    SyntaxAnalyser
  157. lazy val query: PackratParser[Literal]

    Definition Classes
    SyntaxAnalyser
  158. def querytest(fn: String, q: String, exp: String): Unit

    Create an interpreter test.

    Create an interpreter test. The file name fn is the one that should be loaded to obtain definitions. It is assumed to be relative to the Prolog example test directory. The query string q is run against the loaded definitions to obtain some textual output, which is compared against the expected output.

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

    Definition Classes
    RegexParsers
  160. final def registerIgnoredTest(testText: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Definition Classes
    FunSuiteLike → TestRegistration
  161. final def registerTest(testText: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Definition Classes
    FunSuiteLike → TestRegistration
  162. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  163. 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.

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

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

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

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

    Definition Classes
    Parsers
  168. def rerunner: Option[String]

    Definition Classes
    Suite → AbstractSuite
  169. def result[T](v: ⇒ T): Parser[T]

    Definition Classes
    ParserUtilities
  170. def run(testName: Option[String], args: Args): Status

    Definition Classes
    BeforeAndAfterAll → SuiteMixin
  171. final def run(testName: Option[String], reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Status

    Definition Classes
    AbstractSuite
  172. def runNestedSuites(args: Args): Status

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite
  173. def runTest(testName: String, args: Args): Status

    Attributes
    protected
    Definition Classes
    BeforeAndAfter → SuiteMixin
  174. def runTests(testName: Option[String], args: Args): Status

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  175. def skipWhitespace: Boolean

    Definition Classes
    RegexParsers
  176. def stringToInt(s: String): Either[Int, String]

    Definition Classes
    ParserUtilities
  177. final val styleName: String

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  178. def success[T](v: T): Parser[T]

    Definition Classes
    Parsers
  179. def suiteId: String

    Definition Classes
    Suite
  180. 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
  181. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  182. def tags: Map[String, Set[String]]

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  183. lazy val term: Parser[Term]

    Definition Classes
    SyntaxAnalyser
  184. lazy val terms: Parser[List[Term]]

    Definition Classes
    SyntaxAnalyser
  185. def test(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuiteLike
  186. def testDataFor(testName: String, theConfigMap: ConfigMap): TestData

    Definition Classes
    FunSuiteLike → Suite
  187. def testNames: Set[String]

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  188. def testsFor(unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuiteLike
  189. def toString(): String

    Definition Classes
    AnyRef → Any
  190. def trap[T](f: ⇒ T): Throwable

    Definition Classes
    Assertions
  191. def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  192. implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  193. lazy val varr: Parser[String]

    Definition Classes
    SyntaxAnalyser
  194. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  197. val whiteSpace: Regex

    Attributes
    protected
    Definition Classes
    RegexParsers
  198. def withClue[T](clue: Any)(fun: ⇒ T): T

    Definition Classes
    Assertions
  199. def withFixture(test: NoArgTest): Outcome

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite
  200. def workers(value: Int): Workers

    Definition Classes
    Configuration
  201. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

    Definition Classes
    ParserUtilities

Deprecated Value Members

  1. def afterAll(configMap: ConfigMap): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
    Annotations
    @deprecated
    Deprecated

    Please use the afterAll(ConfigMap) method of trait BeforeAndAfterAllConfigMap instead.

  2. def assert(o: Option[String]): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This method has been deprecated in favor of macro assertion and will be removed in a future version of ScalaTest. If you need this, please copy the source code into your own trait instead.

  3. def assert(o: Option[String], clue: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This method has been deprecated in favor of macro assertion and will be removed in a future version of ScalaTest. If you need this, please copy the source code into your own trait instead.

  4. def assume(o: Option[String]): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This method has been deprecated in favor of macro assumption and will be removed in a future version of ScalaTest. If you need this, please copy the source code into your own trait instead.

  5. def assume(o: Option[String], clue: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This method has been deprecated in favor of macro assumption and will be removed in a future version of ScalaTest. If you need this, please copy the source code into your own trait instead.

  6. def beforeAll(configMap: ConfigMap): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
    Annotations
    @deprecated
    Deprecated

    Please use the beforeAll(ConfigMap) method of trait BeforeAndAfterAllConfigMap instead.

  7. def expect(expected: Any)(actual: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This expect method has been deprecated. Please replace all invocations of expect with an identical invocation of assertResult instead.

  8. def expect(expected: Any, clue: Any)(actual: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This expect method has been deprecated. Please replace all invocations of expect with an identical invocation of assertResult instead.

  9. def expectResult(expected: Any)(actual: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This expectResult method has been deprecated. Please replace all invocations of expectResult with an identical invocation of assertResult instead.

  10. def expectResult(expected: Any, clue: Any)(actual: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This expectResult method has been deprecated. Please replace all invocations of expectResult with an identical invocation of assertResult instead.

  11. def lastNoSuccess: NoSuccess

    Definition Classes
    Parsers
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) lastNoSuccess was not thread-safe and will be removed in 2.11.0

  12. def lastNoSuccess_=(x: NoSuccess): Unit

    Definition Classes
    Parsers
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) lastNoSuccess was not thread-safe and will be removed in 2.11.0

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 Suite

Inherited from Serializable

Inherited from AbstractSuite

Inherited from Assertions

Inherited from TripleEquals

Inherited from TripleEqualsSupport

Inherited from SyntaxAnalyser

Inherited from PositionedParserUtilities

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped