IntPairProperty

[Source]

Tests a property across all 14 Pony integer types with two values per sample, dispatching each to int_pair_property[T].

trait ref IntPairProperty is
  Property[IntPairPropertySample ref] ref

Implements

• Property[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: (Int & Integer[T] val)]

[Source]

The property to verify for the given integer pair.

fun ref int_property[T: (Int & Integer[T] val)](
  x: T,
  y: T,
  h: PropertyHelper val)
: None val ?

Parameters

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

Returns

• None val ?

---

name

[Source]

fun box name()
: String val

Returns

• String val

---

params

[Source]

fun box params()
: PropertyParams val

Returns

• PropertyParams val

---