Huan-Lin 學習筆記: .NET Framework 4.0 新功能：Code Contracts

2009年9月3日 ... Code Contracts 類別庫提供的合約主要有三種，包括在method 中使用的「先決條件」 （preconditions）、「後置條件」（postconditions），以及合約效力 ...

huan-lin.blogspot.com