#

postcondition

Here is 1 public repository matching this topic...

ailixter / gears-watchedcall

Hooks before/after any method call

contract decorator precondition postcondition access-control managed

Updated Aug 17, 2019
PHP

Improve this page

Add a description, image, and links to the postcondition topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the postcondition topic, visit your repo's landing page and select "manage topics."