Есть ли дизайн по контракту рамки для PHP?

Question

Есть ли фреймворк или библиотека для php, которые помогут мне реализовать дизайн по контракту в моих приложениях?

В лучшем случае он будет использовать javadoc-подобные аннотации в комментариях.

Answer 1

Я начал работу над проектом по контракту PHP-контракты

На эту тему также есть несколько постов в блоге:

• К стилю программирования по контракту
• Дизайн по контракту в PHP с утверждениями

Answer 2

Новая платформа DbC для PHP на основе аспектно-ориентированного программирования: 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/?