最終更新:2018-04-20 (金) 10:22:13 (2208d)  

Contract.Requires
Top / Contract.Requires

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定します。