c

org.kiama.example.prolog

SemanticAnalyserTests

class SemanticAnalyserTests extends SyntaxAnalyser with Compiler[Program] with TestCompiler[Program]

Tests that check that the semantic analyser works correctly. I.e., it correctly diagnoses errors where they are present, and passes correct code.

Source
SemanticAnalyserTests.scala
Linear Supertypes
TestCompiler[Program], TestCompilerWithConfig[Program, Config], Tests, Checkers, Configuration, BeforeAndAfterAll, BeforeAndAfter, SuiteMixin, FunSuiteLike, Documenting, Alerting, Notifying, Informing, TestRegistration, TestSuite, Suite, Serializable, Serializable, Assertions, TripleEquals, TripleEqualsSupport, Compiler[Program], CompilerWithConfig[Program, Config], CompilerBase[Program, Config], Profiler, Profiler, Values, SyntaxAnalyser, PositionedParserUtilities, ParserUtilities, PackratParsers, RegexParsers, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SemanticAnalyserTests
  2. TestCompiler
  3. TestCompilerWithConfig
  4. Tests
  5. Checkers
  6. Configuration
  7. BeforeAndAfterAll
  8. BeforeAndAfter
  9. SuiteMixin
  10. FunSuiteLike
  11. Documenting
  12. Alerting
  13. Notifying
  14. Informing
  15. TestRegistration
  16. TestSuite
  17. Suite
  18. Serializable
  19. Serializable
  20. Assertions
  21. TripleEquals
  22. TripleEqualsSupport
  23. Compiler
  24. CompilerWithConfig
  25. CompilerBase
  26. Profiler
  27. Profiler
  28. Values
  29. SyntaxAnalyser
  30. PositionedParserUtilities
  31. ParserUtilities
  32. PackratParsers
  33. RegexParsers
  34. Parsers
  35. AnyRef
  36. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SemanticAnalyserTests()

Type Members

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

    use SizeRange instead

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

    Use PropertyCheckConfiguration instead

  32. 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 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. def assertResult(expected: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  34. def assertResult(expected: Any, clue: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  35. 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
  36. def assertThrows[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): Assertion
    Definition Classes
    Assertions
  37. macro def assertTypeError(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  38. val assertionsHelper: AssertionsHelper
    Definition Classes
    Assertions
  39. macro def assume(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  40. macro def assume(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  41. lazy val atom: Parser[String]
    Definition Classes
    SyntaxAnalyser
  42. def before(fun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  43. def beforeAll(): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  44. def cancel(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  45. def cancel(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  46. def cancel(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  47. def cancel()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  48. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  49. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  50. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  51. def check[ASSERTION](p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  52. def check[ASSERTION](p: Prop, prms: Parameters)(implicit asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  53. 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
  54. 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
  55. 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
  56. 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
  57. 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
  58. 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
  59. def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value
    Definition Classes
    Values
  60. lazy val clause: Parser[Clause with Serializable]
    Definition Classes
    SyntaxAnalyser
  61. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  62. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  63. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R
    Definition Classes
    ParserUtilities
  64. implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R
    Definition Classes
    ParserUtilities
  65. implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R
    Definition Classes
    ParserUtilities
  66. 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
  67. 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
  68. lazy val constrainedInt: PackratParser[Int]
    Definition Classes
    ParserUtilities
  69. def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  70. def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  71. def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  72. def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  73. def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  74. def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  75. implicit def convertToEqualizer[T](left: T): Equalizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  76. def createConfig(args: Seq[String], output: Emitter, error: Emitter): Config
    Definition Classes
    Compiler → CompilerBase
  77. lazy val cut: Parser[Cut]
    Definition Classes
    SyntaxAnalyser
  78. def defaultEquality[A]: Equality[A]
    Definition Classes
    TripleEqualsSupport
  79. def dimValue(record: Record, dim: Dimension): Value
    Definition Classes
    Profiler → Profiler → Values
  80. def dosanitisation: Boolean

    Flag to decide whether to sanitise the output before comparison of test results with expected results (see sanitise method).

    Flag to decide whether to sanitise the output before comparison of test results with expected results (see sanitise method). Default is true; override with false if you want actual results compared.

    Definition Classes
    TestCompilerWithConfig
  81. def driver(args: Seq[String]): Unit
    Definition Classes
    CompilerBase
  82. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  83. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  84. def encoding: String
    Definition Classes
    CompilerBase
  85. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  86. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  87. def err(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  88. final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit
    Definition Classes
    Suite
  89. def expectedTestCount(filter: Filter): Int
    Definition Classes
    Suite
  90. def fail(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  91. def fail(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  92. def fail(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  93. def fail()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  94. 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
  95. def failure(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  96. def filetests(name: String, path: String, srcext: String, resext: String, optinext: Option[String] = None, indefault: String = "", argslist: Seq[Seq[String]] = Seq (Seq ())): Unit

    Make tests that process the files in path.

    Make tests that process the files in path. name is an identifying name for this set of tests. All files whose names end in srcext are processed. Processing is done by the function compile which must return either Some (s) where s is the output or None if processing failed. If srcext is .x and resext is .y, then the expected result for foo.x is found in file foo.y. If optinext is Some (z), then foo.z is used for standard input, if it exists, otherwise the string indefault is used. A test fails if either the processing fails or it succeeds with the wrong result. argslist is used to specify the sets of command-line arguments that you want to use. Each test is run with each set of arguments. The default is an empty argument list.

    Definition Classes
    TestCompilerWithConfig
  97. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  98. def finishReport(): Unit
    Definition Classes
    Values
  99. implicit val generatorDrivenConfig: PropertyCheckConfiguration
    Definition Classes
    Configuration
  100. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  101. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  102. def handleWhiteSpace(in: Input): Int
    Definition Classes
    ParserUtilities
  103. def handleWhiteSpace(source: CharSequence, offset: Int): Int
    Attributes
    protected
    Definition Classes
    RegexParsers
  104. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  105. def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  106. def includeTimings: Boolean
    Definition Classes
    Profiler
  107. def info: Informer
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Informing
  108. lazy val integer: Parser[Integer]
    Definition Classes
    SyntaxAnalyser
  109. def intercept[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): T
    Definition Classes
    Assertions
  110. val invokeBeforeAllAndAfterAllEvenIfNoTestsAreExpected: Boolean
    Definition Classes
    BeforeAndAfterAll
  111. def isEventType(record: Record, eventtype: String): Boolean
    Definition Classes
    Values
  112. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  113. def keywords(ext: Regex, kws: Seq[String]): Parser[String]
    Definition Classes
    ParserUtilities
  114. lazy val list: Parser[Literal]
    Definition Classes
    SyntaxAnalyser
  115. lazy val listterms: PackratParser[Literal]
    Definition Classes
    SyntaxAnalyser
  116. implicit def literal(s: String): Parser[String]
    Definition Classes
    RegexParsers
  117. lazy val literal: PackratParser[Literal]
    Definition Classes
    SyntaxAnalyser
  118. lazy val literals: Parser[List[Literal]]
    Definition Classes
    SyntaxAnalyser
  119. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  120. def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  121. def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  122. def main(args: Array[String]): Unit
    Definition Classes
    CompilerBase
  123. def makeast(reader: Reader, filename: String, config: Config): Either[Program, String]
    Definition Classes
    CompilerWithConfig → CompilerBase
  124. def mark[T](p: Parser[String]): Parser[Marker]
    Definition Classes
    PositionedParserUtilities
  125. def markup: Documenter
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Documenting
  126. def maxDiscardedFactor(value: PosZDouble): MaxDiscardedFactor
    Definition Classes
    Configuration
  127. def memo[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  128. def minSize(value: PosZInt): MinSize
    Definition Classes
    Configuration
  129. def minSuccessful(value: PosInt): MinSuccessful
    Definition Classes
    Configuration
  130. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  131. def nanoToMs(nano: Long): Long
    Definition Classes
    Profiler
  132. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  133. def nestedSuites: IndexedSeq[Suite]
    Definition Classes
    Suite
  134. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  135. def note: Notifier
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Notifying
  136. final def notify(): Unit
    Definition Classes
    AnyRef
  137. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  138. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  139. def output(str: String): Unit
    Definition Classes
    Values
  140. def outputln(str: String): Unit
    Definition Classes
    Values
  141. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  142. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  143. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  144. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  145. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  146. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  147. def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]
    Definition Classes
    PositionedParserUtilities
  148. def parseProfileOption(value: String): Seq[Dimension]
    Definition Classes
    Profiler
  149. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]
    Definition Classes
    ParserUtilities
  150. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]
    Definition Classes
    ParserUtilities
  151. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]
    Definition Classes
    ParserUtilities
  152. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]
    Definition Classes
    ParserUtilities
  153. 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
  154. def parseString[T](parser: Parser[T], str: String): Either[T, String]
    Definition Classes
    ParserUtilities
  155. val parser: PackratParser[Program]

    For the purposes of tests, the parser we want is the program one.

    For the purposes of tests, the parser we want is the program one.

    Definition Classes
    SemanticAnalyserTests → CompilerWithConfig
  156. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  157. def pending: Assertion with PendingStatement
    Definition Classes
    Assertions
  158. def pendingUntilFixed(f: ⇒ Unit)(implicit pos: Position): Assertion with PendingStatement
    Definition Classes
    Assertions
  159. def percent(v: Long, total: Long): String
    Definition Classes
    Profiler
  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. def prettyprint(ast: Program): String
    Definition Classes
    CompilerBase
  163. def printDependencyGraph(record: Record, dim: Dimension): Unit
    Definition Classes
    Profiler
  164. def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit
    Definition Classes
    Profiler
  165. val printTables: Boolean
    Definition Classes
    Values
  166. def process(filename: String, ast: Program, config: Config): Unit

    Process the tree by conducting semantic analysis and reporting any errors.

    Process the tree by conducting semantic analysis and reporting any errors.

    Definition Classes
    SemanticAnalyserTests → CompilerWithConfig → CompilerBase
  167. def processfile(filename: String, config: Config): Unit
    Definition Classes
    CompilerBase
  168. def processfiles(filenames: Seq[String], config: Config): Unit
    Definition Classes
    CompilerBase
  169. def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T
    Definition Classes
    Profiler
  170. def profileStart(logging: Boolean): Unit
    Definition Classes
    Profiler
  171. def profileStop(): (Seq[Dimension]) ⇒ Unit
    Definition Classes
    Profiler
  172. def profileStop(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler
  173. def profileStopInteractive(): Unit
    Definition Classes
    Profiler
  174. lazy val program: PackratParser[Program]
    Definition Classes
    SyntaxAnalyser
  175. lazy val query: PackratParser[Literal]
    Definition Classes
    SyntaxAnalyser
  176. implicit def regex(r: Regex): Parser[String]
    Definition Classes
    RegexParsers
  177. final def registerIgnoredTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Definition Classes
    FunSuiteLike → TestRegistration
  178. final def registerTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Definition Classes
    FunSuiteLike → TestRegistration
  179. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  180. 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.

  181. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  182. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  183. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  184. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  185. def rerunner: Option[String]
    Definition Classes
    Suite
  186. def result[T](v: ⇒ T): Parser[T]
    Definition Classes
    ParserUtilities
  187. def run(testName: Option[String], args: Args): Status
    Definition Classes
    BeforeAndAfterAll → SuiteMixin
  188. def runNestedSuites(args: Args): Status
    Attributes
    protected
    Definition Classes
    Suite
  189. def runTest(testName: String, args: Args): Status
    Attributes
    protected
    Definition Classes
    BeforeAndAfter → SuiteMixin
  190. def runTests(testName: Option[String], args: Args): Status
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Suite
  191. def sanitise(s: String): String

    Sanitise the output.

    Sanitise the output. At the moment this means make any Windows line endings appear in Unix style instead. This allows for either program or test output to use either line ending style, but tests will still pass. This will clearly break any tests where the actual line endings matter.

    Definition Classes
    TestCompilerWithConfig
  192. def sizeRange(value: PosZInt): SizeRange
    Definition Classes
    Configuration
  193. def skipWhitespace: Boolean
    Definition Classes
    RegexParsers
  194. def startReport(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler → Values
  195. val startTime: Long
    Definition Classes
    Profiler
  196. def stringToInt(s: String): Either[Int, String]
    Definition Classes
    ParserUtilities
  197. final val styleName: String
    Definition Classes
    FunSuiteLike → Suite
  198. def subjectsToStep(src: Any, dst: Any): Step
    Definition Classes
    Profiler
  199. final val succeed: Assertion
    Definition Classes
    Assertions
  200. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  201. def suiteId: String
    Definition Classes
    Suite
  202. 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
  203. def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit
    Definition Classes
    Profiler
  204. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  205. def tags: Map[String, Set[String]]
    Definition Classes
    FunSuiteLike → Suite
  206. lazy val term: Parser[Term]
    Definition Classes
    SyntaxAnalyser
  207. lazy val terms: Parser[List[Term]]
    Definition Classes
    SyntaxAnalyser
  208. def test(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  209. def testDataFor(testName: String, theConfigMap: ConfigMap): TestData
    Definition Classes
    FunSuiteLike → Suite
  210. def testNames: Set[String]
    Definition Classes
    FunSuiteLike → Suite
  211. def testdriver(config: Config): Unit

    Run the compiler in test mode using the given configuration.

    Run the compiler in test mode using the given configuration.

    Definition Classes
    TestCompilerWithConfig
  212. def testsFor(unit: Unit): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  213. def textOf[T](t: T, includeWhiteSpace: Boolean): Option[String]
    Definition Classes
    PositionedParserUtilities
  214. def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit
    Definition Classes
    Profiler
  215. def toString(): String
    Definition Classes
    AnyRef → Any
  216. def trace(predicate: (Event) ⇒ Boolean): Unit
    Definition Classes
    Profiler
  217. def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  218. implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  219. def valueToString(a: Value): String
    Definition Classes
    Values
  220. lazy val varr: Parser[String]
    Definition Classes
    SyntaxAnalyser
  221. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  222. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  223. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  224. val whiteSpace: Regex
    Attributes
    protected
    Definition Classes
    RegexParsers
  225. def withClue[T](clue: Any)(fun: ⇒ T): T
    Definition Classes
    Assertions
  226. def withFixture(test: NoArgTest): Outcome
    Attributes
    protected
    Definition Classes
    TestSuite
  227. def workers(value: PosInt): Workers
    Definition Classes
    Configuration
  228. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]
    Definition Classes
    ParserUtilities
  229. 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 TestCompiler[Program]

Inherited from TestCompilerWithConfig[Program, Config]

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 Compiler[Program]

Inherited from CompilerWithConfig[Program, Config]

Inherited from CompilerBase[Program, Config]

Inherited from Profiler

Inherited from Profiler

Inherited from Values

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