Build.PL
Changes
LICENSE
META.json
README.md
cpanfile
lib/Class/DbC.pm
lib/DbC.pm
minil.toml
t/00_compile.t
t/docs/bounded_queue_contract_ok.t
t/docs/bounded_queue_contract_ok_emulated.t
t/docs/bounded_queue_invariant_not_ok_for_new.t
t/docs/bounded_queue_invariant_not_ok_for_new_emulated.t
t/docs/bounded_queue_invariant_not_ok_for_new_emulated_release.t
t/docs/bounded_queue_invariant_not_ok_for_push.t
t/docs/bounded_queue_invariant_not_ok_for_push_emulated.t
t/docs/bounded_queue_invariant_not_ok_for_push_extended.t
t/docs/bounded_queue_postcond_not_ok.t
t/docs/bounded_queue_postcond_not_ok_emulated.t
t/docs/bounded_queue_postcond_not_ok_for_new.t
t/docs/bounded_queue_postcond_not_ok_for_new_emulated.t
t/docs/bounded_queue_precond_not_ok.t
t/docs/bounded_queue_precond_not_ok_emulated.t
t/lib/Example/BoundedQueue.pm
t/lib/Example/BoundedQueueBase.pm
t/lib/Example/BoundedQueueWithBadNew.pm
t/lib/Example/BoundedQueueWithBadNewInv.pm
t/lib/Example/BoundedQueueWithBadPop.pm
t/lib/Example/BoundedQueueWithBadPush.pm
t/lib/Example/Contract/BoundedQueue.pm
t/lib/Example/Contract/BoundedQueueByExtension.pm
t/lib/Example/Contract/Queue.pm
META.yml
MANIFEST