RewriterTests

Instance Constructors

new RewriterTests()

Type Members

final class Equalizer extends AnyRef

Definition Classes
Assertions
abstract class Expecting extends AnyRef

The kind of comparison that is expected to be true for a test.
case class MaxDiscarded extends PropertyCheckConfigParam with Product with Serializable

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

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

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

Definition Classes
Configuration
trait NoArgTest extends () ⇒ Unit

Attributes
protected
Definition Classes
Suite
case class PropertyCheckConfig extends Product with Serializable

Definition Classes
Configuration
sealed abstract class PropertyCheckConfigParam extends AnyRef

Definition Classes
Configuration
case class Workers extends PropertyCheckConfigParam with Product with Serializable

Definition Classes
Configuration

Value Members

final def !=(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def ##(): Int

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

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

Definition Classes
Any
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]

Definition Classes
Generator
implicit def arbExp: Arbitrary[Exp]

Definition Classes
Generator
implicit def arbNum: Arbitrary[Num]

Definition Classes
Generator
implicit def arbSeqn: Arbitrary[Seqn]

Definition Classes
Generator
implicit def arbStmt: Arbitrary[Stmt]

Definition Classes
Generator
implicit def arbWhile: Arbitrary[While]

Definition Classes
Generator
final def asInstanceOf[T0]: T0

Definition Classes
Any
def assert(o: Option[String]): Unit

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

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

Definition Classes
Assertions
def assert(condition: Boolean): Unit

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

Assert that a message was produced at a given position.
Assert that a message was produced at a given position.

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

Definition Classes
Checkers
def check(p: Prop, prms: Params): Unit

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

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

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

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

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

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

Definition Classes
Checkers
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
implicit def convertToEqualizer(left: Any): Equalizer

Definition Classes
Assertions
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def everywheretdtest(everys: (⇒ Rewriter.Strategy) ⇒ Rewriter.Strategy): Unit
final def execute(testName: String, configMap: Map[String, Any], color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

Definition Classes
Suite
def expect(expected: Any)(actual: Any): Unit

Definition Classes
Assertions
def expect(expected: Any, clue: Any)(actual: Any): Unit

Definition Classes
Assertions
def expectedTestCount(filter: Filter): Int

Definition Classes
Suite → AbstractSuite
def expectnotsame(expected: Any)(actual: Any): Unit

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

Definition Classes
Tests
def expectsame(expected: Any)(actual: Any): Unit

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

Definition Classes
Tests
def fail(cause: Throwable): Nothing

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

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

Definition Classes
Assertions
def fail(): Nothing

Definition Classes
Assertions
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
def genAdd(sz: Int): Gen[Add]

Definition Classes
Generator
def genAsgn(sz: Int): Gen[Asgn]

Definition Classes
Generator
def genDiv(sz: Int): Gen[Div]

Definition Classes
Generator
val genDouble: Gen[Num]

Definition Classes
Generator
def genExp(sz: Int): Gen[Exp]

Definition Classes
Generator
val genIdn: Gen[String]

Definition Classes
Generator
val genInteger: Gen[Num]

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

Definition Classes
Generator
def genInternalStmt(sz: Int): Gen[Stmt]

Definition Classes
Generator
val genLeafExp: Gen[Exp with Serializable]

Definition Classes
Generator
val genLeafStmt: Gen[Null]

Definition Classes
Generator
def genMul(sz: Int): Gen[Mul]

Definition Classes
Generator
def genNeg(sz: Int): Gen[Neg]

Definition Classes
Generator
val genNum: Gen[Num]

Definition Classes
Generator
def genSeqn(sz: Int): Gen[Seqn]

Definition Classes
Generator
def genStmt(sz: Int): Gen[Stmt]

Definition Classes
Generator
def genSub(sz: Int): Gen[Sub]

Definition Classes
Generator
val genVar: Gen[Var]

Definition Classes
Generator
def genWhile(sz: Int): Gen[While]

Definition Classes
Generator
implicit val generatorDrivenConfig: PropertyCheckConfig

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

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Attributes
protected
Definition Classes
FunSuite
implicit def info: Informer

Attributes
protected
Definition Classes
FunSuite
def innermosttest(imost: (⇒ Rewriter.Strategy) ⇒ Rewriter.Strategy): Unit
def intercept[T <: AnyRef](f: ⇒ Any)(implicit manifest: Manifest[T]): T

Definition Classes
Assertions
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def maxDiscarded(value: Int): MaxDiscarded

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

Definition Classes
Configuration
def minSize(value: Int): MinSize

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

Definition Classes
Configuration
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def nestedSuites: List[Suite]

Definition Classes
Suite → AbstractSuite
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def pending: PendingNothing

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

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

Definition Classes
FunSuite → Suite → AbstractSuite
def runNestedSuites(reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Unit

Attributes
protected
Definition Classes
Suite → AbstractSuite
def runTest(testName: String, reporter: Reporter, stopper: Stopper, configMap: Map[String, Any], tracker: Tracker): Unit

Attributes
protected
Definition Classes
FunSuite → Suite → AbstractSuite
def runTests(testName: Option[String], reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Unit

Attributes
protected
Definition Classes
FunSuite → Suite → AbstractSuite
def same(v1: Any, v2: Any): Boolean

Compare two values.
Compare two values. Use reference equality for references and value equality for non-references. If the values are both Some values, perform the check on the wrapped values.

Definition Classes
Tests
final val styleName: String

Definition Classes
FunSuite → Suite → AbstractSuite
def suiteName: String

Definition Classes
Suite
final def synchronized[T0](arg0: ⇒ T0): T0

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

Definition Classes
FunSuite → Suite → AbstractSuite
def test(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

Attributes
protected
Definition Classes
FunSuite
def testNames: Set[String]

Definition Classes
FunSuite → Suite → AbstractSuite
def testsFor(unit: Unit): Unit

Attributes
protected
Definition Classes
FunSuite
def toString(): String

Definition Classes
AnyRef → Any
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

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

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

Definition Classes
AnyRef
Annotations
@throws()
def withClue(clue: Any)(fun: ⇒ Unit): Unit

Definition Classes
Assertions
def withFixture(test: NoArgTest): Unit

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

Definition Classes
Configuration

class RewriterTests extends Tests with Checkers with Generator

Instance Constructors

new RewriterTests()

Type Members

final class Equalizer extends AnyRef

abstract class Expecting extends AnyRef

case class MaxDiscarded extends PropertyCheckConfigParam with Product with Serializable

case class MaxSize extends PropertyCheckConfigParam with Product with Serializable

case class MinSize extends PropertyCheckConfigParam with Product with Serializable

case class MinSuccessful extends PropertyCheckConfigParam with Product with Serializable

trait NoArgTest extends () ⇒ Unit

case class PropertyCheckConfig extends Product with Serializable

sealed abstract class PropertyCheckConfigParam extends AnyRef

case class Workers extends PropertyCheckConfigParam with Product with Serializable

Value Members

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

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

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

def check(p: Prop, prms: Params): 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

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

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

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

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

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

def expectedTestCount(filter: Filter): Int

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

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

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