第54回CLR/H勉強会発表資料を公開します。 - Bug Catharsis
第54回CLR/H勉強会(2011/01/15)にて、３つのセッションと、LTを行いました。 そのときの発表資料をSkyDriveにて公開します(5.3MB)。 01オブジェクト指向と契約による設計 ・オブジェクト指向と契約による設計.pptx 02Code Contracts入門 ・Code Contract入門(新).pptx ・サンプルプログラムあり 03VBerでもできるF# ・VBer でもできるF#pptx.pptx ・orenofs.xlsx ・サンプルプログラムあり 04LT ・継承とコンポジションについて.pptx
基礎からのCode Contracts
5. 何か動かないよ？ よくあるnullチェックをしてみようと思った Contract.Requiresは事前条件 引数がnullだったら契約違反という感じにしたい static void Hoge(string arg) { Contract.Requires(arg != null); } が、実行しても無反応 Conditional属性がついているのでコンパル時に 消える(条件付きメソッド、DEBUGとかでお馴染み) 条件はCONTRACTS_FULL(但し自分で足す意味はない) 6. 何か動かないよ？ Part2 よくあるnullチェックをしてみようと思った again Contract.Requires<TException>も事前条件 引数がnullだったら契約違反で例外ぶん投げたい static void Hoge(string arg)
MVC と Code Contracts と DataAnnotations
MVC でリポジトリパターン？サービスインターフェース？を Code Contracts で堅くいこうとすると、こんな恰好になりますよね？ [ContractClass( typeof( RepositoryContracts ) )] public interface IRepository { Data GetByName( string name ); } [ContractClassFor( typeof( IRepository ) )] abstract class RepositoryContracts : IRepository { public Data GetByName( string name ) { Contract.Require( name!=null ); } } これをやればリポジトリを無茶なパラメータで呼ぶような事は契約によって守られるわけで素晴らしいん
Contracts - Microsoft Research
Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. Code Contracts
Code Contracts for .NET - Visual Studio Marketplace
Code Contracts are static library methods used from any .NET program to specify the code’s behavior. Runtime checking and static checking tools are both provided for taking advantage of contracts. NewsWe have released the sources on GitHub: http://github.com/CodeContractsDotNet/CodeContracts Francesco's blog on CodeContracts has some answers to FAQs, tricks, documentation, news, etc., primarily fo
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Visual Studio Marketplace
Code Contracts
