IntPairProperty

[Source]

A property implementation for conveniently evaluating properties for pairs of integers of all Pony integer types at once.

The property needs to be formulated inside the method int_property:

class CommutativeMultiplicationProperty is IntPairProperty
  fun name(): String => "commutativity/mul"

  fun int_property[T: (Int & Integer[T] val)](x: T, y: T, h: PropertyHelper)? =>
    h.assert_eq[T](x * y, y * x)

trait ref IntPairProperty is
  Property1[IntPairPropertySample ref] ref

Implements

• Property1[IntPairPropertySample ref] ref

---

Public Functions

gen

[Source]

fun box gen()
: Generator[IntPairPropertySample ref] box

Returns

• Generator[IntPairPropertySample ref] box

---

property

[Source]

fun ref property(
  sample: IntPairPropertySample ref,
  h: PropertyHelper val)
: None val ?

Parameters

• sample: IntPairPropertySample ref
• h: PropertyHelper val

Returns

• None val ?

---

int_property[T: ((I8 val | I16 val | I32 val | I64 val | I128 val | ILong val | ISize val | U8 val | U16 val | U32 val | U64 val | U128 val | ULong val | USize val) & Integer[T] val)]

[Source]

fun ref int_property[T: ((I8 val | I16 val | I32 val | 
    I64 val | I128 val | ILong val | 
    ISize val | U8 val | U16 val | 
    U32 val | U64 val | U128 val | 
    ULong val | USize val) & Integer[T] val)](
  x: T,
  y: T,
  h: PropertyHelper val)
: None val ?

Parameters

• x: T
• y: T
• h: PropertyHelper val

Returns

• None val ?

---

name

fun box name()
: String val

Returns

• String val

---

params

fun box params()
: PropertyParams val

Returns

• PropertyParams val

---