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

Question

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

在最佳情况下，它将在注释中使用javadoc之类的注释。

Answer 1

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

也有一些关于该主题的博客文章：

• 迈向合同编程风格
• 通过带有断言的PHP合约设计

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/吗？