Packages

c

org.kiama.example.obr.tests

ObrSemanticTests

class ObrSemanticTests extends SemanticDriver with TestCompilerWithConfig[ObrInt, ObrConfig]

Obr semantic analysis tests.

Source
ObrTests.scala
Linear Supertypes
TestCompilerWithConfig[ObrInt, ObrConfig], Tests, Checkers, Configuration, BeforeAndAfterAll, BeforeAndAfter, SuiteMixin, FunSuiteLike, Documenting, Alerting, Notifying, Informing, TestRegistration, TestSuite, Suite, Serializable, Serializable, Assertions, TripleEquals, TripleEqualsSupport, SemanticDriver, Driver, CompilerWithConfig[ObrInt, ObrConfig], CompilerBase[ObrInt, ObrConfig], Profiler, Profiler, Values, SyntaxAnalyser, PositionedParserUtilities, ParserUtilities, PackratParsers, RegexParsers, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ObrSemanticTests
  2. TestCompilerWithConfig
  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. TestSuite
  16. Suite
  17. Serializable
  18. Serializable
  19. Assertions
  20. TripleEquals
  21. TripleEqualsSupport
  22. SemanticDriver
  23. Driver
  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 ObrSemanticTests()

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. def before(fun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  42. def beforeAll(): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  43. def cancel(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  44. def cancel(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  45. def cancel(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  46. def cancel()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  47. lazy val catchclause: Parser[Catch]
    Definition Classes
    SyntaxAnalyser
  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. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  61. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  62. lazy val conditional: Parser[IfStmt]
    Definition Classes
    SyntaxAnalyser
  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 constantdecl: Parser[Declaration]
    Definition Classes
    SyntaxAnalyser
  69. lazy val constantdecls: Parser[Seq[Declaration]]
    Definition Classes
    SyntaxAnalyser
  70. lazy val constrainedInt: PackratParser[Int]
    Definition Classes
    ParserUtilities
  71. def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  72. def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  73. def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  74. def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  75. def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  76. def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  77. implicit def convertToEqualizer[T](left: T): Equalizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  78. def createConfig(args: Seq[String], output: Emitter = new OutputEmitter, error: Emitter = new ErrorEmitter): ObrConfig
    Definition Classes
    Driver → CompilerBase
  79. lazy val declarations: Parser[Seq[Declaration]]
    Definition Classes
    SyntaxAnalyser
  80. def defaultEquality[A]: Equality[A]
    Definition Classes
    TripleEqualsSupport
  81. def dimValue(record: Record, dim: Dimension): Value
    Definition Classes
    Profiler → Profiler → Values
  82. 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
  83. def driver(args: Seq[String]): Unit
    Definition Classes
    CompilerBase
  84. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  85. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  86. def encoding: String
    Definition Classes
    CompilerBase
  87. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  88. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  89. def err(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  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
  92. lazy val expression: PackratParser[Expression]
    Definition Classes
    SyntaxAnalyser
  93. lazy val factor: PackratParser[Expression]
    Definition Classes
    SyntaxAnalyser
  94. def fail(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  95. def fail(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  96. def fail(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  97. def fail()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  98. 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
  99. def failure(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  100. lazy val fielddecl: Parser[Identifier]
    Definition Classes
    SyntaxAnalyser
  101. 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
  102. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  103. def finishReport(): Unit
    Definition Classes
    Values
  104. implicit val generatorDrivenConfig: PropertyCheckConfiguration
    Definition Classes
    Configuration
  105. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  106. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  107. def handleWhiteSpace(in: Input): Int
    Definition Classes
    ParserUtilities
  108. def handleWhiteSpace(source: CharSequence, offset: Int): Int
    Attributes
    protected
    Definition Classes
    RegexParsers
  109. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  110. lazy val ident: PackratParser[Identifier]
    Definition Classes
    SyntaxAnalyser
  111. lazy val idndef: PackratParser[IdnDef]
    Definition Classes
    SyntaxAnalyser
  112. lazy val idnuse: PackratParser[IdnUse]
    Definition Classes
    SyntaxAnalyser
  113. def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  114. def includeTimings: Boolean
    Definition Classes
    Profiler
  115. def info: Informer
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Informing
  116. lazy val integer: PackratParser[Int]
    Definition Classes
    SyntaxAnalyser
  117. def intercept[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): T
    Definition Classes
    Assertions
  118. val invokeBeforeAllAndAfterAllEvenIfNoTestsAreExpected: Boolean
    Definition Classes
    BeforeAndAfterAll
  119. def isEventType(record: Record, eventtype: String): Boolean
    Definition Classes
    Values
  120. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  121. lazy val iteration: Parser[Statement]
    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. lazy val lvalue: PackratParser[AssignTree]
    Definition Classes
    SyntaxAnalyser
  128. def main(args: Array[String]): Unit
    Definition Classes
    CompilerBase
  129. def makeast(reader: Reader, filename: String, config: ObrConfig): Either[ObrInt, String]
    Definition Classes
    CompilerWithConfig → CompilerBase
  130. def mark[T](p: Parser[String]): Parser[Marker]
    Definition Classes
    PositionedParserUtilities
  131. def markup: Documenter
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Documenting
  132. def maxDiscardedFactor(value: PosZDouble): MaxDiscardedFactor
    Definition Classes
    Configuration
  133. def memo[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  134. def minSize(value: PosZInt): MinSize
    Definition Classes
    Configuration
  135. def minSuccessful(value: PosInt): MinSuccessful
    Definition Classes
    Configuration
  136. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  137. def nanoToMs(nano: Long): Long
    Definition Classes
    Profiler
  138. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  139. def nestedSuites: IndexedSeq[Suite]
    Definition Classes
    Suite
  140. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  141. def note: Notifier
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Notifying
  142. final def notify(): Unit
    Definition Classes
    AnyRef
  143. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  144. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  145. lazy val optelseend: Parser[Seq[Statement]]
    Definition Classes
    SyntaxAnalyser
  146. def output(str: String): Unit
    Definition Classes
    Values
  147. def outputln(str: String): Unit
    Definition Classes
    Values
  148. lazy val parameterdecl: Parser[Declaration]
    Definition Classes
    SyntaxAnalyser
  149. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  150. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  151. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  152. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  153. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  154. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  155. def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]
    Definition Classes
    PositionedParserUtilities
  156. def parseProfileOption(value: String): Seq[Dimension]
    Definition Classes
    Profiler
  157. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]
    Definition Classes
    ParserUtilities
  158. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]
    Definition Classes
    ParserUtilities
  159. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]
    Definition Classes
    ParserUtilities
  160. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]
    Definition Classes
    ParserUtilities
  161. 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
  162. def parseString[T](parser: Parser[T], str: String): Either[T, String]
    Definition Classes
    ParserUtilities
  163. lazy val parser: Parser[ObrInt]
    Definition Classes
    SyntaxAnalyser
  164. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  165. def pending: Assertion with PendingStatement
    Definition Classes
    Assertions
  166. def pendingUntilFixed(f: ⇒ Unit)(implicit pos: Position): Assertion with PendingStatement
    Definition Classes
    Assertions
  167. def percent(v: Long, total: Long): String
    Definition Classes
    Profiler
  168. def phrase[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers → Parsers
  169. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    RegexParsers → Parsers
  170. def prettyprint(ast: ObrInt): String
    Definition Classes
    CompilerBase
  171. def printDependencyGraph(record: Record, dim: Dimension): Unit
    Definition Classes
    Profiler
  172. def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit
    Definition Classes
    Profiler
  173. val printTables: Boolean
    Definition Classes
    Values
  174. def process(filename: String, ast: ObrInt, config: ObrConfig): Unit
    Definition Classes
    SemanticDriver → Driver → CompilerWithConfig → CompilerBase
  175. def processfile(filename: String, config: ObrConfig): Unit
    Definition Classes
    CompilerBase
  176. def processfiles(filenames: Seq[String], config: ObrConfig): Unit
    Definition Classes
    CompilerBase
  177. def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T
    Definition Classes
    Profiler
  178. def profileStart(logging: Boolean): Unit
    Definition Classes
    Profiler
  179. def profileStop(): (Seq[Dimension]) ⇒ Unit
    Definition Classes
    Profiler
  180. def profileStop(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler
  181. def profileStopInteractive(): Unit
    Definition Classes
    Profiler
  182. lazy val program: Parser[ObrInt]
    Definition Classes
    SyntaxAnalyser
  183. implicit def regex(r: Regex): Parser[String]
    Definition Classes
    RegexParsers
  184. final def registerIgnoredTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Definition Classes
    FunSuiteLike → TestRegistration
  185. final def registerTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Definition Classes
    FunSuiteLike → TestRegistration
  186. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  187. 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.

  188. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  189. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  190. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  191. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  192. def rerunner: Option[String]
    Definition Classes
    Suite
  193. val reservedWords: HashSet[String]
    Definition Classes
    SyntaxAnalyser
  194. def result[T](v: ⇒ T): Parser[T]
    Definition Classes
    ParserUtilities
  195. def run(testName: Option[String], args: Args): Status
    Definition Classes
    BeforeAndAfterAll → SuiteMixin
  196. def runNestedSuites(args: Args): Status
    Attributes
    protected
    Definition Classes
    Suite
  197. def runTest(testName: String, args: Args): Status
    Attributes
    protected
    Definition Classes
    BeforeAndAfter → SuiteMixin
  198. def runTests(testName: Option[String], args: Args): Status
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Suite
  199. 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
  200. lazy val signed: PackratParser[Int]
    Definition Classes
    SyntaxAnalyser
  201. lazy val simplexp: PackratParser[Expression]
    Definition Classes
    SyntaxAnalyser
  202. def sizeRange(value: PosZInt): SizeRange
    Definition Classes
    Configuration
  203. def skipWhitespace: Boolean
    Definition Classes
    RegexParsers
  204. def startReport(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler → Values
  205. val startTime: Long
    Definition Classes
    Profiler
  206. lazy val statement: Parser[Statement]
    Definition Classes
    SyntaxAnalyser
  207. lazy val statementseq: Parser[Seq[Statement]]
    Definition Classes
    SyntaxAnalyser
  208. def stringToInt(s: String): Either[Int, String]
    Definition Classes
    ParserUtilities
  209. final val styleName: String
    Definition Classes
    FunSuiteLike → Suite
  210. def subjectsToStep(src: Any, dst: Any): Step
    Definition Classes
    Profiler
  211. final val succeed: Assertion
    Definition Classes
    Assertions
  212. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  213. def suiteId: String
    Definition Classes
    Suite
  214. 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
  215. def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit
    Definition Classes
    Profiler
  216. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  217. def tags: Map[String, Set[String]]
    Definition Classes
    FunSuiteLike → Suite
  218. lazy val term: PackratParser[Expression]
    Definition Classes
    SyntaxAnalyser
  219. def test(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  220. def testDataFor(testName: String, theConfigMap: ConfigMap): TestData
    Definition Classes
    FunSuiteLike → Suite
  221. def testNames: Set[String]
    Definition Classes
    FunSuiteLike → Suite
  222. def testdriver(config: ObrConfig): Unit

    Run the compiler in test mode using the given configuration.

    Run the compiler in test mode using the given configuration.

    Definition Classes
    TestCompilerWithConfig
  223. def testsFor(unit: Unit): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  224. def textOf[T](t: T, includeWhiteSpace: Boolean): Option[String]
    Definition Classes
    PositionedParserUtilities
  225. def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit
    Definition Classes
    Profiler
  226. def toString(): String
    Definition Classes
    AnyRef → Any
  227. def trace(predicate: (Event) ⇒ Boolean): Unit
    Definition Classes
    Profiler
  228. lazy val trycatch: Parser[TryStmt]
    Definition Classes
    SyntaxAnalyser
  229. def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  230. implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  231. def valueToString(a: Value): String
    Definition Classes
    Values
  232. lazy val variabledecl: Parser[Declaration]
    Definition Classes
    SyntaxAnalyser
  233. lazy val variabledecls: Parser[Seq[Declaration]]
    Definition Classes
    SyntaxAnalyser
  234. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  235. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  236. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  237. val whiteSpace: Regex
    Definition Classes
    SyntaxAnalyser → RegexParsers
  238. def withClue[T](clue: Any)(fun: ⇒ T): T
    Definition Classes
    Assertions
  239. def withFixture(test: NoArgTest): Outcome
    Attributes
    protected
    Definition Classes
    TestSuite
  240. def workers(value: PosInt): Workers
    Definition Classes
    Configuration
  241. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]
    Definition Classes
    ParserUtilities
  242. 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 TestCompilerWithConfig[ObrInt, ObrConfig]

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 SemanticDriver

Inherited from Driver

Inherited from CompilerWithConfig[ObrInt, ObrConfig]

Inherited from CompilerBase[ObrInt, ObrConfig]

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