Partager via


Contract Classe

Définition

public static class Contract
type Contract = class
Public Class Contract
Héritage
Contract

Méthodes

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

S’applique à