trait
PropertyCheck extends Asserts
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
assert(cond: ⇒ Boolean, message: String)(implicit code: SourceCode): Unit
-
def
assert(cond: ⇒ Boolean)(implicit code: SourceCode): Unit
-
def
assertEquals(a: Double, b: Double, delta: Double)(implicit code: SourceCode): Unit
-
def
assertEquals(a: Float, b: Float, delta: Double)(implicit code: SourceCode): Unit
-
def
cancel(reason: String = "cancelled")(implicit code: SourceCode): Nothing
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
fail(reason: String = "failed")(implicit code: SourceCode): Nothing
-
def
finalize(): Unit
-
def
forAll[A1, A2, A3, U](checker: (A1, A2, A3) ⇒ U)(implicit 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
forAll[A1, A2, U](g1: Gen[A1], g2: Gen[A2])(checker: (A1, A2) ⇒ U)(implicit s1: Shrink[A1], pp1: (A1) ⇒ Pretty, s2: Shrink[A2], pp2: (A2) ⇒ Pretty): Unit
-
def
forAll[A1, A2, U](checker: (A1, A2) ⇒ U)(implicit a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty): Unit
-
def
forAll[A1, U](gen: Gen[A1])(checker: (A1) ⇒ U)(implicit s1: Shrink[A1], pp1: (A1) ⇒ Pretty): Unit
-
def
forAll[A1, U](checker: (A1) ⇒ U)(implicit a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
ignore(reason: String = "ignored")(implicit code: SourceCode): Nothing
-
def
intercept[E <: Throwable](block: ⇒ Unit)(implicit arg0: ClassTag[E], code: SourceCode): E
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
macro
def
pending: Nothing
-
def
pendingUntil(reason: String = "pending")(implicit code: SourceCode): Nothing
-
def
scalaCheckConfig: Parameters
-
def
skip(reason: String = "skipped")(implicit code: SourceCode): Nothing
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any