Compartilhar via


Contract Classe

Definição

public static class Contract
type Contract = class
Public Class Contract
Herança
Contract

Métodos

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

Aplica-se a