資料庫文件、前置條件與後置條件的 API、部落格及其他

若要在輸入的參數、 屬性或變數上套用一個 先決條件，使用 [需要延伸方法 ； 對於 post-conditions，使用確認延伸方法。 ...

msdn.microsoft.com