[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[jfriends-ml 13101] Re: 「 Effective Java （第 2 版）」を読む会第 7 回議事録

  高橋(智)です。

>   →「契約による設計(DbC)」では、事前条件を利用者側が検査するので、
>   状態検査メソッドを用意する
>     →DbCをサポートする言語は、Eiffel, D言語, Delphi(Prism)の3言語

  Delphi Prism の言語仕様の資料としては
  [クラス コントラクト]
 
http://prismwiki.codegear.com/ja/%E3%82%AF%E3%83%A9%E3%82%B9_%E3%82%B3%E3%83%B3%E3%83%88%E3%83%A9%E3%82%AF%E3%83%88
  [クラスコントラクト(Class Contracts)]
  http://edn.embarcadero.com/article/39118#18クラスコントラクトClassContracts
  [Write Cleaner, Higher Quality Code with Class Contracts in Delphi Prism]
  http://edn.embarcadero.com/article/39398
があります。

-- 
高橋智宏
  Java読書会( http://www.javareading.com/bof/ )