Packages

c

org.kiama.example.obr.tests

ObrNumberingTests

class ObrNumberingTests extends Driver with TreeTestDriver

Obr tests: check that exception and enumeration numbers are correct. Simply compiles the files except8.obr and enumtest2.obr then collects together the list of integers which occur in the IntDatum leaves of the resulting RISCTrees (in bottom up, left to right post-order). Having done that it then checks that list to see if the integers that should be attached to applied uses of each constant of the original source file occur in an appropriate order.

Source
ObrTests.scala
Linear Supertypes
TreeTestDriver, TestCompilerWithConfig[ObrInt, ObrConfig], Tests, Checkers, Configuration, BeforeAndAfterAll, BeforeAndAfter, SuiteMixin, FunSuiteLike, Documenting, Alerting, Notifying, Informing, TestRegistration, TestSuite, Suite, Serializable, Serializable, Assertions, TripleEquals, TripleEqualsSupport, 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. ObrNumberingTests
  2. TreeTestDriver
  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. 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 ObrNumberingTests()

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 checkintdatums(expected: Seq[Int])(title: String, emitter: Emitter, code: RISCTree): Unit

    Test a target tree by collecting together its IntDatum leaves and checking the resulting sequence of integers to see if it contains an expected sequence of integers as a slice.

    Test a target tree by collecting together its IntDatum leaves and checking the resulting sequence of integers to see if it contains an expected sequence of integers as a slice.

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

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

    Method to compile an Obr program and to apply a specified test to the resulting target tree.

    Method to compile an Obr program and to apply a specified test to the resulting target tree.

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

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 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