Instance Constructors
-
new
CustomBindersTest()(implicit ops: RDFOps[Rdf])
Type Members
-
implicit
class
AnyOps[A] extends AnyRef
-
implicit
class
PropertyOps extends AnyRef
-
class
PropertySpecifier extends AnyRef
-
implicit
class
StringOps extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
&&(p: ⇒ Prop): Prop
-
def
+(other: String): String
-
def
++(p: ⇒ Prop): Prop
-
-
def
:|(l: Symbol): Prop
-
def
:|(l: String): Prop
-
def
==(p: ⇒ Prop): Prop
-
final
def
==(arg0: Any): Boolean
-
def
==>(p: ⇒ Prop): Prop
-
implicit
def
Function1IntInt[A](implicit A: Arbitrary[Int]): Arbitrary[(Int) ⇒ Int]
-
def
apply(p: Parameters): Result
-
final
def
asInstanceOf[T0]: T0
-
implicit
def
booleanToProp(b: ⇒ Boolean): Prop
-
def
check(x: ⇒ Boolean): Prop
-
def
check: Unit
-
def
check(prms: Parameters): Unit
-
def
check(paramFun: (Parameters) ⇒ Parameters): Unit
-
implicit
def
check1[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop
-
def
checkAll(props: Properties): Seq[ListBuffer[(String, Prop)]]
-
def
checkAll(name: String, props: Properties): Seq[ListBuffer[(String, Prop)]]
-
def
clone(): AnyRef
-
def
combine(p: Prop)(f: (Result, Result) ⇒ Result): Prop
-
-
-
def
ensuring(cond: Boolean, msg: ⇒ Any): CustomBindersTest[Rdf]
-
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
fail(msg: String): Nothing
-
def
finalize(): Unit
-
def
flatMap(f: (Result) ⇒ Prop): Prop
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
include(ps: Properties, prefix: String): Unit
-
def
include(ps: Properties): Unit
-
final
def
isInstanceOf[T0]: Boolean
-
def
label(l: String): Prop
-
def
main(args: Array[String]): Unit
-
def
mainCallsExit: Boolean
-
def
mainRunner(args: Array[String]): Int
-
def
map(f: (Result) ⇒ Result): Prop
-
val
name: String
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
prop[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop
-
implicit
def
propToProp(p: ⇒ Prop): Prop
-
def
properties: Seq[(String, Prop)]
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
implicit
def
unitToProp(u: ⇒ Unit): Prop
-
implicit
def
unitToProp2(u: Unit): Prop
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
|:(l: Symbol): Prop
-
def
|:(l: String): Prop
-
def
||(p: ⇒ Prop): Prop
-
Inherited from SpecLite
Inherited from Properties
Inherited from Prop
Inherited from Testable
Inherited from AnyRef
Inherited from Any