hediet/contracts (packagist): A library which helps to specify, check and reflect code contracts.
Keywords: exception|code|validation|assert|assertion|argument|contract|precondition|invariant