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 the actor itself.

be complete_run(
  round: (_Shrink val | _Run val),
  success: Bool val)

Parameters¶

round: (_Shrink val | _Run val)
success: Bool val

run¶

[Source]

be run()

complete_shrink¶

[Source]

be complete_shrink(
  failed_repr: String val,
  last_repr: String val,
  shrink_round: (_Shrink val | _Run val),
  success: Bool val)

Parameters¶

failed_repr: String val
last_repr: String val
shrink_round: (_Shrink val | _Run val)
success: Bool val

do_shrink¶

[Source]

be do_shrink(
  failed_repr: String val)

Parameters¶

failed_repr: String val

expect_action¶

[Source]

be expect_action(
  name: String val,
  round: (_Shrink val | _Run val))

Parameters¶

name: String val
round: (_Shrink val | _Run val)

complete_action¶

[Source]

be complete_action(
  name: String val,
  round: (_Shrink val | _Run val),
  ph: PropertyHelper val)

Parameters¶

name: String val
round: (_Shrink val | _Run val)
ph: PropertyHelper val

fail_action¶

[Source]

be fail_action(
  name: String val,
  round: (_Shrink val | _Run val),
  ph: PropertyHelper val)

Parameters¶

name: String val
round: (_Shrink val | _Run val)
ph: PropertyHelper val

dispose_when_done¶

[Source]

Let us not have older rounds interfere with newer ones, thus dispose directly.

be dispose_when_done(
  disposable: DisposableActor tag,
  round: (_Shrink val | _Run val))

Parameters¶

disposable: DisposableActor tag
round: (_Shrink val | _Run val)

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