Is there a framework or library for php that will help me implement design by contract in my applications?
In the best case it would use javadoc like annotations in the comments.