PropertyRunner[T: T]¶

[Source]

Actor executing a Property1 implementation in a way that allows garbage collection between single property executions, because it uses recursive behaviours for looping.

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 _finished.

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

Parameters¶

round: USize val
success: Bool val

run¶

[Source]

be run(
  round: USize val = 0)

Parameters¶

round: USize val = 0

complete_shrink¶

[Source]

be complete_shrink(
  failed_repr: String val,
  last_repr: String val,
  shrink_round: USize val,
  success: Bool val)

Parameters¶

failed_repr: String val
last_repr: String val
shrink_round: USize val
success: Bool val

do_shrink¶

[Source]

be do_shrink(
  failed_repr: String val,
  shrink_round: USize val = 0)

Parameters¶

failed_repr: String val
shrink_round: USize val = 0

expect_action¶

[Source]

be expect_action(
  name: String val)

Parameters¶

name: String val

complete_action¶

[Source]

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

Parameters¶

name: String val
ph: PropertyHelper val

fail_action¶

[Source]

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

Parameters¶

name: String val
ph: PropertyHelper val

dispose_when_done¶

[Source]

be dispose_when_done(
  disposable: DisposableActor tag)

Parameters¶

disposable: DisposableActor tag

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 notify

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