php的合同框架是否有设计？

Question

是否有一个用于php的框架或库，可以帮助我在我的应用程序中按合同实现设计？

在最好的情况下，它会在评论中使用类似注释的javadoc。

Answer 1

我已经开始研究按合同设计的项目PHP-Contracts

还有一些关于这个主题的博客文章：

• Towards a style of contract programming
• Design by contract in PHP with assertions

Answer 2

基于面向方面编程的PHP新DbC框架：https://github.com/lisachenko/php-deal

/**
 * Simple trade account contract
 */
interface AccountContract
{
    /**
     * Deposits fixed amount of money to the account
     *
     * @param float $amount
     *
     * @Contract\Verify("$amount>0 && is_numeric($amount)")
     * @Contract\Ensure("$this->balance == $__old->balance+$amount")
     */
    public function deposit($amount);

    /**
     * Returns current balance
     *
     * @Contract\Ensure("$__result == $this->balance")
     *
     * @return float
     */
    public function getBalance();
}

Answer 3

会不会像http://code.google.com/p/addendum/？