php - 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/のようなものでしょうか？