Files

• Build.PL
• Changes
• LICENSE
• MANIFEST
• META.json
• META.yml
• README.md
• cpanfile
• lib/Class/DbC.pm
• minil.toml
• 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