PropertyRunner[T: T]¶

Executes a Property1 using recursive behaviours so the garbage collector can reclaim between samples.

actor tag PropertyRunner[T: T]

Constructors¶

create¶

[Source]

new tag create(
  p1: Property1[T] iso,
  params: PropertyParams val,
  notify: PropertyResultNotify val,
  logger: PropertyLogger val,
  env: Env val)
: PropertyRunner[T] tag^

Parameters¶

p1: Property1[T] iso
params: PropertyParams val
notify: PropertyResultNotify val
logger: PropertyLogger val
env: Env val

Returns¶

PropertyRunner[T] tag^

Public Behaviours¶

complete_run¶

[Source]

Complete a property run.

This behaviour is called from the PropertyHelper or from the actor itself.

be complete_run(
  round: _Round,
  success: Bool val)

Parameters¶

round: _Round
success: Bool val

run¶

[Source]

Execute the next property sample.

be run()

do_shrink¶

[Source]

Shrink a failing sample using choice-sequence replay.

be do_shrink(
  failed_repr: String val)

Parameters¶

failed_repr: String val

expect_action¶

[Source]

be expect_action(
  name: String val,
  round: _Round)

Parameters¶

name: String val
round: _Round

complete_action¶

[Source]

be complete_action(
  name: String val,
  round: _Round,
  ph: PropertyHelper val)

Parameters¶

name: String val
round: _Round
ph: PropertyHelper val

fail_action¶

[Source]

be fail_action(
  name: String val,
  round: _Round,
  ph: PropertyHelper val)

Parameters¶

name: String val
round: _Round
ph: PropertyHelper val

dispose_when_done¶

[Source]

be dispose_when_done(
  disposable: DisposableActor tag,
  round: _Round)

Parameters¶

disposable: DisposableActor tag
round: _Round

dispose¶

[Source]

be dispose()

log¶

[Source]

be log(
  msg: String val,
  verbose: Bool val = false)

Parameters¶

msg: String val
verbose: Bool val = false

Public Functions¶

complete¶

[Source]

Complete the Property execution successfully.

fun ref complete()
: None val

Returns¶

None val

fail¶

[Source]

Complete the Property execution while signalling failure to the PropertyResultNotify.

fun ref fail(
  repr: String val,
  rounds: USize val = 0,
  err: Bool val = false)
: None val

Parameters¶

repr: String val
rounds: USize val = 0
err: Bool val = false

Returns¶

None val