次の方法で共有


Contract クラス

定義

public static class Contract
type Contract = class
Public Class Contract
継承
Contract

メソッド

Assert(Boolean)
Assert(Boolean, String)
Fail()
Fail(String)
Invariant(Boolean)
Invariant(Boolean, String)
Requires(Boolean)
Requires(Boolean, String)

適用対象