Property2[T1: T1, T2: T2]¶
trait ref Property2[T1: T1, T2: T2] is
Property1[(T1 , T2)] ref
Implements¶
- Property1[(T1 , T2)] ref
Public Functions¶
gen1¶
The Generator for the first argument to your property2.
fun box gen1()
: Generator[T1] box
Returns¶
- Generator[T1] box
gen2¶
The Generator for the second argument to your property2.
fun box gen2()
: Generator[T2] box
Returns¶
- Generator[T2] box
gen¶
fun box gen()
: Generator[(T1 , T2)] box
Returns¶
- Generator[(T1 , T2)] box
property¶
fun ref property(
arg1: (T1 , T2),
h: PropertyHelper val)
: None val ?
Parameters¶
- arg1: (T1 , T2)
- h: PropertyHelper val
Returns¶
- None val ?
property2¶
A method verifying that a certain property holds for all given arg1 and arg2
with the help of PropertyHelper h.
fun ref property2(
arg1: T1,
arg2: T2,
h: PropertyHelper val)
: None val ?
Parameters¶
- arg1: T1
- arg2: T2
- h: PropertyHelper val
Returns¶
- None val ?
name¶
fun box name()
: String val
Returns¶
- String val
params¶
fun box params()
: PropertyParams val
Returns¶
- PropertyParams val