Contract Class

Definition

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

Methods

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

Applies to