25. 事前条件の例 - 実装The Spec# programming system: An overview. より抜粋http://research.microsoft.com/en-us/projects/specsharp/krml136.pdf 26. Groovy での 契約プログラミングを行うライブラリ1.2.1 が最新版http://blog.andresteingress.com/2011/03/31/gcontracts-1-2-1-released/AST 変換にて実現PowerAssertで契約違反を検出アノテーションとクロージャーで条件を指定事前条件(メソッドに指定)- @Requires( { condition } )