Property1UnitTest[T: T]¶

Provides plumbing for integration of PonyCheck Properties into PonyTest.

Wrap your properties into this class and use it in a TestList:

use "pony_test"
use "pony_check"

class MyProperty is Property1[String]
  fun name(): String => "my_property"

  fun gen(): Generator[String] =>
    Generators.ascii_printable()

  fun property(arg1: String, h: PropertyHelper) =>
    h.assert_true(arg1.size() > 0)

actor Main is TestList
  new create(env: Env) => PonyTest(env, this)

  fun tag tests(test: PonyTest) =>
    test(Property1UnitTest[String](MyProperty))

class iso Property1UnitTest[T: T] is
  UnitTest ref

Implements¶

UnitTest ref

Constructors¶

create¶

[Source]

Wrap a Property1 to make it mimic the PonyTest UnitTest.

If name' is given, use this as the test name. If not, use the property's name().

new iso create(
  p1: Property1[T] iso,
  name': (String val | None val) = reference)
: Property1UnitTest[T] iso^

Parameters¶

p1: Property1[T] iso
name': (String val | None val) = reference

Returns¶

Property1UnitTest[T] iso^

Public Functions¶

name¶

[Source]

fun box name()
: String val

Returns¶

String val

apply¶

[Source]

fun ref apply(
  h: TestHelper val)
: None val ?

Parameters¶

h: TestHelper val

Returns¶

None val ?

exclusion_group¶

fun box exclusion_group()
: String val

Returns¶

String val

timed_out¶

fun ref timed_out(
  h: TestHelper val)
: None val

Parameters¶

h: TestHelper val

Returns¶

None val

set_up¶

fun ref set_up(
  h: TestHelper val)
: None val ?

Parameters¶

h: TestHelper val

Returns¶

None val ?

tear_down¶

fun ref tear_down(
  h: TestHelper val)
: None val

Parameters¶

h: TestHelper val

Returns¶

None val

label¶

fun box label()
: String val

Returns¶

String val