Contract 類別 (System.Diagnostics.Contracts)

程式碼合約類別可讓您指定程式碼中的 先決條件、後置條件和物件非變異。 前 置條件是進入方法或屬性時必須符合的需求。 ...

msdn.microsoft.com