共用方式為


Contract Class

Definition

public static class Contract
type Contract = class
Public Class Contract
Inheritance
Contract

Methods

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

Applies to