PHPにはAOP(Weaving)を実現するGo! AOP PHPという素敵なライブラリがあるそうなのでこれでDbC(契約プログラミング)的なことをやる。 実行サンプル 例として正の整数しか扱えないスタック、PositiveIntStackというのを用意する。