ScalaTest 0.9.5
|
|
org/scalatest/prop/PropSuite.scala
]
trait
PropSuite
extends
FunSuite with
CheckersCheckers
and make explicit calls to check
instead. This trait will be removed in a future version of ScalaTest.
So instead of this:
test( "list concatenation using a test method", (a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size )
You'd say this:
test("list concatenation using a test method") { check((a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size) }
I decided that this form isn't much more difficult to write, and is more readable because it looks like any other test function, and always having the word "check" present when there's a property check is a good signal that ScalaCheck is being used. I will delete PropSuite in a future release of ScalaTest.
A FunSuite
subtrait that provides methods that perform
ScalaCheck property checks.
If ScalaCheck, when invoked via one of the methods provided by
To use ScalaCheck, you specify properties and, in some cases, generators that generate test data. Often you need not
provide generators, because ScalaCheck provides many default generators that you can use in many situations.
ScalaCheck will use the generators to generate test data and with that data run tests that check that the property holds.
Property-based tests can, therefore, can give you a lot more testing for a lot less code than assertion-based tests.
Here's an example of using ScalaCheck from a PropSuite
:
import org.scalatest.prop.PropSuite import org.scalacheck.Arbitrary._ import org.scalacheck.Prop._ class MySuite extends PropSuite { test("list concatenation") { val x = List(1, 2, 3) val y = List(4, 5, 6) assert(x ::: y === List(1, 2, 3, 4, 5, 6)) check((a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size) } test( "list concatenation using a test method", (a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size ) }
PropSuite
mixes in trait Checkers
, so you can call any of its
check
methods inside a test function. This is shown in the first test:
test("list concatenation") { val x = List(1, 2, 3) val y = List(4, 5, 6) assert(x ::: y === List(1, 2, 3, 4, 5, 6)) check((a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size) }
The check
methods provided by Checkers
allow you to combine assertion- and property-based
testing in the same test function. If you want to define a test that is composed only
of a single property check, you can use one of several test
methods
PropSuite
defines. These test
methods allow you to
register just a property as a test function. This is shown in the previous example
in the second test:
test( "list concatenation using a test method", (a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size )
Here are a few other examples:
import org.scalatest.prop.PropSuite class StringSuite extends PropSuite { test("startsWith", (a: String, b: String) => (a + b).startsWith(a)) test("endsWith", (a: String, b: String) => (a + b).endsWith(b)) test( "substring should start from passed index and go to end of string", (a: String, b: String) => (a + b).substring(a.length) == b ) test( "substring should start at passed index and extract passed number of chars", (a: String, b: String, c: String) => (a + b + c).substring(a.length, a.length + b.length) == b ) }
Test groups
A PropSuite
's tests may be classified into named groups in
the same manner as its supertrait FunSuite
.
As with any suite, when executing a PropSuite
, groups of tests can
optionally be included and/or excluded. To place PropSuite
tests into
groups, you pass objects that extend abstract class org.scalatest.Group
to methods
that register tests. Class Group
takes one type parameter, a string name. If you have
created Java annotation interfaces for use as group names in direct subclasses of org.scalatest.Suite
,
then you will probably want to use group names on your FunSuite
s that match. To do so, simply
pass the fully qualified names of the Java interfaces to the Group
constructor. For example, if you've
defined Java annotation interfaces with fully qualified names, com.mycompany.groups.SlowTest
and com.mycompany.groups.DBTest
, then you could
create matching groups for FunSuite
s like this:
import org.scalatest.Group object SlowTest extends Group("com.mycompany.groups.SlowTest") object DBTest extends Group("com.mycompany.groups.DBTest")
Given these definitions, you could place PropSuite
tests into groups like this:
import org.scalatest.prop.PropSuite import org.scalacheck.Arbitrary._ import org.scalacheck.Prop._ class MySuite extends PropSuite { test("list concatenation", SlowTest) { val x = List(1, 2, 3) val y = List(4, 5, 6) assert(x ::: y === List(1, 2, 3, 4, 5, 6)) check((a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size) } test( "list concatenation using a test method", (a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size, SlowTest, DBTest ) }
This code places both tests, "list concatenation" and "list concatenation using
a test method," into the com.mycompany.groups.SlowTest
group,
and test "list concatenation using a test method" into the com.mycompany.groups.DBTest
group.
The primary execute method takes two Set[String]
s called includes
and
excludes
. If includes
is empty, all tests will be executed
except those those belonging to groups listed in the
excludes
Set
. If includes
is non-empty, only tests
belonging to groups mentioned in includes
, and not mentioned in excludes
,
will be executed.
Ignored tests
To support the common use case of “temporarily” disabling tests, with the
good intention of resurrecting the test at a later time, PropSuite
provides registration
methods that start with ignore
instead of test
. For example, to temporarily
disable the tests defined in the MySuite
example shown previously, just change “test
” into “ignore
,” like this:
import org.scalatest.prop.PropSuite import org.scalacheck.Arbitrary._ import org.scalacheck.Prop._ class MySuite extends PropSuite { ignore("list concatenation") { val x = List(1, 2, 3) val y = List(4, 5, 6) assert(x ::: y === List(1, 2, 3, 4, 5, 6)) check((a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size) } ignore( "list concatenation using a test method", (a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size ) }
If you run this version of MySuite
with:
scala> (new MySuite).execute()
It will run neither test and report that both were ignored:
Test Ignored - MySuite: list concatenation Test Ignored - MySuite: list concatenation using a test method
As with org.scalatest.Suite
, the ignore feature is implemented as a group. The execute
method that takes no parameters
adds org.scalatest.Ignore
to the excludes
Set
it passes to
the primary execute
method, as does Runner
. The only difference between
org.scalatest.Ignore
and the groups you may define and exclude is that ScalaTest reports
ignored tests to the Reporter
. The reason ScalaTest reports ignored tests is as a feeble
attempt to encourage ignored tests to be eventually fixed and added back into the active suite of tests.
This trait depends on ScalaCheck, so you must include ScalaCheck's jar file on either the classpath or runpath.
Method Summary | |
def
|
ignore
[A1, A2, A3, A4, A5, P](testName : java.lang.String, f : (A1, A2, A3, A4, A5) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2], implicit a3 : org.scalacheck.Arbitrary[A3], implicit s3 : org.scalacheck.Shrink[A3], implicit a4 : org.scalacheck.Arbitrary[A4], implicit s4 : org.scalacheck.Shrink[A4], implicit a5 : org.scalacheck.Arbitrary[A5], implicit s5 : org.scalacheck.Shrink[A5]) : Unit
Register a test to ignore, which has the specified name, optional groups, and
function value that converts the passed 5-arg function into a property and checks
it.
|
def
|
ignore
(testName : java.lang.String, p : org.scalacheck.Prop, prms : org.scalacheck.Test.Params, testGroups : Group*) : Unit
Register a test to ignore, which has the specified name, optional groups, and
function value that tests the specified property with the specified testing parameters.
|
def
|
ignore
[A1, P](testName : java.lang.String, f : (A1) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1]) : Unit
Register a test to ignore, which has the specified name, optional groups, and
function value that converts the passed 1-arg function into a property and checks
it.
|
def
|
ignore
[A1, A2, A3, A4, A5, A6, P](testName : java.lang.String, f : (A1, A2, A3, A4, A5, A6) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2], implicit a3 : org.scalacheck.Arbitrary[A3], implicit s3 : org.scalacheck.Shrink[A3], implicit a4 : org.scalacheck.Arbitrary[A4], implicit s4 : org.scalacheck.Shrink[A4], implicit a5 : org.scalacheck.Arbitrary[A5], implicit s5 : org.scalacheck.Shrink[A5], implicit a6 : org.scalacheck.Arbitrary[A6], implicit s6 : org.scalacheck.Shrink[A6]) : Unit
Register a test to ignore, which has the specified name, optional groups, and
function value that converts the passed 6-arg function into a property and checks
it.
|
def
|
ignore
[A1, A2, P](testName : java.lang.String, f : (A1, A2) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2]) : Unit
Register a test to ignore, which has the specified name, optional groups, and
function value that converts the passed 2-arg function into a property and checks
it.
|
def
|
ignore
[A1, A2, A3, A4, P](testName : java.lang.String, f : (A1, A2, A3, A4) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2], implicit a3 : org.scalacheck.Arbitrary[A3], implicit s3 : org.scalacheck.Shrink[A3], implicit a4 : org.scalacheck.Arbitrary[A4], implicit s4 : org.scalacheck.Shrink[A4]) : Unit
Register a test to ignore, which has the specified name, optional groups, and
function value that converts the passed 4-arg function into a property and checks
it.
|
def
|
ignore
[A1, A2, A3, P](testName : java.lang.String, f : (A1, A2, A3) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2], implicit a3 : org.scalacheck.Arbitrary[A3], implicit s3 : org.scalacheck.Shrink[A3]) : Unit
Register a test to ignore, which has the specified name, optional groups, and
function value that converts the passed 3-arg function into a property and checks
it.
|
def
|
ignore
(testName : java.lang.String, p : org.scalacheck.Prop, testGroups : Group*) : Unit
Register a test to ignore, which has the specified name, optional groups, and
function value that tests the specified property.
|
def
|
test
[A1, A2, A3, A4, A5, P](testName : java.lang.String, f : (A1, A2, A3, A4, A5) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2], implicit a3 : org.scalacheck.Arbitrary[A3], implicit s3 : org.scalacheck.Shrink[A3], implicit a4 : org.scalacheck.Arbitrary[A4], implicit s4 : org.scalacheck.Shrink[A4], implicit a5 : org.scalacheck.Arbitrary[A5], implicit s5 : org.scalacheck.Shrink[A5]) : Unit
Convert the passed 5-arg function into a property, and register it as a test.
|
def
|
test
[A1, P](testName : java.lang.String, f : (A1) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1]) : Unit
Convert the passed 1-arg function into a property, and register it as a test.
|
def
|
test
[A1, A2, A3, P](testName : java.lang.String, f : (A1, A2, A3) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2], implicit a3 : org.scalacheck.Arbitrary[A3], implicit s3 : org.scalacheck.Shrink[A3]) : Unit
Convert the passed 3-arg function into a property, and register it as a test.
|
def
|
test
(testName : java.lang.String, p : org.scalacheck.Prop, testGroups : Group*) : Unit
Register a property as a test.
|
def
|
test
(testName : java.lang.String, p : org.scalacheck.Prop, prms : org.scalacheck.Test.Params, testGroups : Group*) : Unit
Register as a test a property with the given testing parameters.
|
def
|
test
[A1, A2, A3, A4, A5, A6, P](testName : java.lang.String, f : (A1, A2, A3, A4, A5, A6) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2], implicit a3 : org.scalacheck.Arbitrary[A3], implicit s3 : org.scalacheck.Shrink[A3], implicit a4 : org.scalacheck.Arbitrary[A4], implicit s4 : org.scalacheck.Shrink[A4], implicit a5 : org.scalacheck.Arbitrary[A5], implicit s5 : org.scalacheck.Shrink[A5], implicit a6 : org.scalacheck.Arbitrary[A6], implicit s6 : org.scalacheck.Shrink[A6]) : Unit
Convert the passed 6-arg function into a property, and register it as a test.
|
def
|
test
[A1, A2, P](testName : java.lang.String, f : (A1, A2) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2]) : Unit
Convert the passed 2-arg function into a property, and register it as a test.
|
def
|
test
[A1, A2, A3, A4, P](testName : java.lang.String, f : (A1, A2, A3, A4) => P, testGroups : Group*)(implicit p : (P) => org.scalacheck.Prop, implicit a1 : org.scalacheck.Arbitrary[A1], implicit s1 : org.scalacheck.Shrink[A1], implicit a2 : org.scalacheck.Arbitrary[A2], implicit s2 : org.scalacheck.Shrink[A2], implicit a3 : org.scalacheck.Arbitrary[A3], implicit s3 : org.scalacheck.Shrink[A3], implicit a4 : org.scalacheck.Arbitrary[A4], implicit s4 : org.scalacheck.Shrink[A4]) : Unit
Convert the passed 4-arg function into a property, and register it as a test.
|
Methods inherited from Checkers | |
check, check, check, check, check, check, check, check |
Methods inherited from FunSuite | |
info, test, ignore, testNames, runTest, groups, runTests, execute |
Methods inherited from Suite | |
nestedSuites, execute, execute, runNestedSuites, suiteName, expectedTestCount |
Methods inherited from Assertions | |
assert, assert, assert, assert, convertToEqualizer, intercept, intercept, intercept, expect, expect, fail, fail, fail, fail |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Method Details |
def
test[A1, P](testName : java.lang.String, f : (A1) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
test[A1, A2, P](testName : java.lang.String, f : (A1, A2) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
test[A1, A2, A3, P](testName : java.lang.String, f : (A1, A2, A3) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2], implicit
a3 : org.scalacheck.Arbitrary[A3], implicit
s3 : org.scalacheck.Shrink[A3]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
test[A1, A2, A3, A4, P](testName : java.lang.String, f : (A1, A2, A3, A4) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2], implicit
a3 : org.scalacheck.Arbitrary[A3], implicit
s3 : org.scalacheck.Shrink[A3], implicit
a4 : org.scalacheck.Arbitrary[A4], implicit
s4 : org.scalacheck.Shrink[A4]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
test[A1, A2, A3, A4, A5, P](testName : java.lang.String, f : (A1, A2, A3, A4, A5) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2], implicit
a3 : org.scalacheck.Arbitrary[A3], implicit
s3 : org.scalacheck.Shrink[A3], implicit
a4 : org.scalacheck.Arbitrary[A4], implicit
s4 : org.scalacheck.Shrink[A4], implicit
a5 : org.scalacheck.Arbitrary[A5], implicit
s5 : org.scalacheck.Shrink[A5]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
test[A1, A2, A3, A4, A5, A6, P](testName : java.lang.String, f : (A1, A2, A3, A4, A5, A6) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2], implicit
a3 : org.scalacheck.Arbitrary[A3], implicit
s3 : org.scalacheck.Shrink[A3], implicit
a4 : org.scalacheck.Arbitrary[A4], implicit
s4 : org.scalacheck.Shrink[A4], implicit
a5 : org.scalacheck.Arbitrary[A5], implicit
s5 : org.scalacheck.Shrink[A5], implicit
a6 : org.scalacheck.Arbitrary[A6], implicit
s6 : org.scalacheck.Shrink[A6]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
test(testName : java.lang.String, p : org.scalacheck.Prop, prms : org.scalacheck.Test.Params, testGroups : Group*) : Unit
p -
the property to checkprms -
the test parametersAssertionError -
if a test case is discovered for which the property doesn't hold.
def
test(testName : java.lang.String, p : org.scalacheck.Prop, testGroups : Group*) : Unit
p -
the property to checkAssertionError -
if a test case is discovered for which the property doesn't hold.
def
ignore[A1, P](testName : java.lang.String, f : (A1) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
ignore[A1, A2, P](testName : java.lang.String, f : (A1, A2) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
ignore[A1, A2, A3, P](testName : java.lang.String, f : (A1, A2, A3) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2], implicit
a3 : org.scalacheck.Arbitrary[A3], implicit
s3 : org.scalacheck.Shrink[A3]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
ignore[A1, A2, A3, A4, P](testName : java.lang.String, f : (A1, A2, A3, A4) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2], implicit
a3 : org.scalacheck.Arbitrary[A3], implicit
s3 : org.scalacheck.Shrink[A3], implicit
a4 : org.scalacheck.Arbitrary[A4], implicit
s4 : org.scalacheck.Shrink[A4]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
ignore[A1, A2, A3, A4, A5, P](testName : java.lang.String, f : (A1, A2, A3, A4, A5) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2], implicit
a3 : org.scalacheck.Arbitrary[A3], implicit
s3 : org.scalacheck.Shrink[A3], implicit
a4 : org.scalacheck.Arbitrary[A4], implicit
s4 : org.scalacheck.Shrink[A4], implicit
a5 : org.scalacheck.Arbitrary[A5], implicit
s5 : org.scalacheck.Shrink[A5]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
ignore[A1, A2, A3, A4, A5, A6, P](testName : java.lang.String, f : (A1, A2, A3, A4, A5, A6) => P, testGroups : Group*)(implicit
p : (P) => org.scalacheck.Prop, implicit
a1 : org.scalacheck.Arbitrary[A1], implicit
s1 : org.scalacheck.Shrink[A1], implicit
a2 : org.scalacheck.Arbitrary[A2], implicit
s2 : org.scalacheck.Shrink[A2], implicit
a3 : org.scalacheck.Arbitrary[A3], implicit
s3 : org.scalacheck.Shrink[A3], implicit
a4 : org.scalacheck.Arbitrary[A4], implicit
s4 : org.scalacheck.Shrink[A4], implicit
a5 : org.scalacheck.Arbitrary[A5], implicit
s5 : org.scalacheck.Shrink[A5], implicit
a6 : org.scalacheck.Arbitrary[A6], implicit
s6 : org.scalacheck.Shrink[A6]) : Unit
f -
the function to be converted into a property and checkedAssertionError -
if a test case is discovered for which the property doesn't hold.
def
ignore(testName : java.lang.String, p : org.scalacheck.Prop, prms : org.scalacheck.Test.Params, testGroups : Group*) : Unit
p -
the property to checkprms -
the test parametersAssertionError -
if a test case is discovered for which the property doesn't hold.
def
ignore(testName : java.lang.String, p : org.scalacheck.Prop, testGroups : Group*) : Unit
p -
the property to checkAssertionError -
if a test case is discovered for which the property doesn't hold.
ScalaTest 0.9.5
|
|