RewriterTests

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

object Equal extends Expecting with Product with Serializable

object FocusTest extends Tag

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

object NotSame extends Expecting with Product with Serializable

object Same extends Expecting with Product with Serializable

implicit def arbAsgn: Arbitrary[Asgn]

implicit def arbExp: Arbitrary[Exp]

implicit def arbNum: Arbitrary[Num]

implicit def arbSeqn: Arbitrary[Seqn]

implicit def arbStmt: Arbitrary[Stmt]

implicit def arbWhile: Arbitrary[While]

final def asInstanceOf[T0]: T0

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

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

def assert(condition: Boolean, clue: Any): Unit

def assert(condition: Boolean): Unit

def assertMessage(index: Int, line: Int, column: Int, msg: String): Unit

Assert that a message was produced at a given position.

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

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

def assume(condition: Boolean, clue: Any): Unit

def assume(condition: Boolean): Unit

def cancel(cause: Throwable): Nothing

def cancel(message: String, cause: Throwable): Nothing

def cancel(message: String): Nothing

def cancel(): Nothing

def check(p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig): Unit

def check(p: Prop, prms: Params): Unit

def check[A1, A2, A3, A4, A5, A6, P](f: (A1, A2, A3, A4, A5, A6) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) ⇒ Pretty): Unit

def check[A1, A2, A3, A4, A5, P](f: (A1, A2, A3, A4, A5) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty): Unit

def check[A1, A2, A3, A4, P](f: (A1, A2, A3, A4) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty): Unit

def check[A1, A2, A3, P](f: (A1, A2, A3) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty): Unit

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

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

def clone(): AnyRef

implicit def convertToEqualizer(left: Any): Equalizer

def createCatchReporter(reporter: Reporter): WrapperCatchReporter

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def everywheretdtest(everys: (⇒ Rewriter.Strategy) ⇒ Rewriter.Strategy): Unit

final def execute: Unit

final def execute(testName: String, configMap: Map[String, Any], color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

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

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

def expectedTestCount(filter: Filter): Int

def expectnotsame(expected: Any)(actual: Any): Unit

Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

def expectsame(expected: Any)(actual: Any): Unit

Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

def fail(cause: Throwable): Nothing

def fail(message: String, cause: Throwable): Nothing

def fail(message: String): Nothing

def fail(): Nothing

def finalize(): Unit

def genAdd(sz: Int): Gen[Add]

def genAsgn(sz: Int): Gen[Asgn]

def genDiv(sz: Int): Gen[Div]

val genDouble: Gen[Num]

def genExp(sz: Int): Gen[Exp]

val genIdn: Gen[String]

val genInteger: Gen[Num]

def genInternalExp(sz: Int): Gen[Binary with Serializable]

def genInternalStmt(sz: Int): Gen[Stmt]

val genLeafExp: Gen[Exp with Serializable]

val genLeafStmt: Gen[Null]

def genMul(sz: Int): Gen[Mul]

def genNeg(sz: Int): Gen[Neg]

val genNum: Gen[Num]

def genSeqn(sz: Int): Gen[Seqn]

def genStmt(sz: Int): Gen[Stmt]

def genSub(sz: Int): Gen[Sub]

val genVar: Gen[Var]

def genWhile(sz: Int): Gen[While]

implicit val generatorDrivenConfig: PropertyCheckConfig

final def getClass(): Class[_]

def hashCode(): Int

def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

implicit def info: Informer

def innermosttest(imost: (⇒ Rewriter.Strategy) ⇒ Rewriter.Strategy): Unit

def intercept[T <: AnyRef](f: ⇒ Any)(implicit manifest: Manifest[T]): T

final def isInstanceOf[T0]: Boolean

implicit def markup: Documenter

def maxDiscarded(value: Int): MaxDiscarded

def maxSize(value: Int): MaxSize

def minSize(value: Int): MinSize

def minSuccessful(value: Int): MinSuccessful

final def ne(arg0: AnyRef): Boolean

def nestedSuites: IndexedSeq[Suite]

final def notify(): Unit

final def notifyAll(): Unit

def pending: PendingNothing

def pendingUntilFixed(f: ⇒ Unit): Unit

def rerunner: Option[String]

def run(testName: Option[String], args: Args): Status

final def run(testName: Option[String], reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Status

def runNestedSuites(args: Args): Status

def runTest(testName: String, args: Args): Status

def runTests(testName: Option[String], args: Args): Status

def same(v1: Any, v2: Any): Boolean

Compare two values.

final val styleName: String

def suiteId: String

def suiteName: String

final def synchronized[T0](arg0: ⇒ T0): T0

def tags: Map[String, Set[String]]

def test(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

def testDataFor(testName: String, theConfigMap: Map[String, Any]): TestData

def testNames: Set[String]

def testsFor(unit: Unit): Unit

def toString(): String

def travtest(basemsg: String, testmsg: String, trav: (⇒ Rewriter.Strategy) ⇒ Rewriter.Strategy, rewl: Rewriter.Strategy, term: Rewriter.Term, result: Option[Rewriter.Term], expecting: Expecting = Equal): Unit

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def withClue[T](clue: Any)(fun: ⇒ T): T

def withFixture(test: NoArgTest): Unit

def workers(value: Int): Workers

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

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