1. Groovy でもやってみよう！ 契約プログラミング

3. 契約プログラミングってなに？

4. Groovy では？

5. 他の言語では？

6. まとめアジェンダ

8. 勤務地：大阪で開発者しています

9. .NET (C#) がメイン (Java はよく知りません)

10. SQL World, わんくま同盟, JGGUG の勉強会等に参加

11. オンラインの活動 Blog：お だ のスペース http://d.hatena.ne.jp/odashinsuke/ twitter：@shinsukeoda 自己紹介

12. 契約プログラミング

13. 僕と契約してry 契約プログラミング

15. Eiffel という言語が起源

16. 仕様をコード内に記述する

17. 事前条件 (メソッドの開始時に満たす条件)

18. 事後条件 (メソッドの終了時に満たす条件)

19. 不変条件 (どんな操作が行われても保障される条件)

20. サポートする言語

21. Eiffel

22. D

23. Spec#契約プログラミング

24. 事前条件の例 - 仕様

25. 事前条件の例 - 実装 The Spec# programming system: An overview. より抜粋 http://research.microsoft.com/en-us/projects/specsharp/krml136.pdf

27. 事後条件(メソッドに指定)- @Ensures( { condition } )

28. 不変条件(クラスに指定)- @Invariant( { condition } )http://groovy.dzone.com/announcements/gcontracts-10-released GContracts

29. import org.gcontracts.annotations.* @Invariant({ speed >= 0 && speed <= 100 }) class Rocket { int speed boolean started @Requires({ !started }) def start() { started = true } @Requires({ started }) @Ensures({ old -> (speed - old.speed) > 0 }) def accelerate() { speed += 10 } } class BetterRocket extends Rocket { @Override def accelerate() { speed += 20 } } defbetterRocket = new BetterRocket() betterRocket.accelerate() http://blog.andresteingress.com/2010/07/12/gcontracts-1-1-2-released/

30. Interface にも設定可能 @Contracted がついてるパッケージ、クラスを AST 変換対象とする 「ContractGroovyDoc」 Antタスクで、ドキュメントに事前/事後条件を出力出来る …ほかにもまだまだあります。 http://blog.andresteingress.com/2011/03/11/gcontracts-1-2-0-released/ 1.2 からの新機能

31. メソッドのパラメータが Not Null とか、メソッド毎に仮引数名違うしめんどくせー 似たようなの書くのマンドクセ('A`) AnnotationContract @Precondition @AnnotationContract({ it != null }) public @interface NotNull {} class Tester { defdoSomething(@NotNullparam) { println "hello world: ${param}" } } http://blog.andresteingress.com/2011/03/31/getting-started-with-annotation-contracts/

33. Assert で事前条件書くより、なんかかっこいい！ 契約を書くことで、誤った実装を許さない Gcontractだと、HTMLドキュメントに条件を出力出来る 個人的な話ですが、DbCあまり試せていません。一緒に勉強しませんか？ まとめ