System.Diagnostics.Contracts.Internal Naamruimte

Biedt klassen die de binaire rewriter kan gebruiken om een contractfout af te handelen.

Klassen

Naam Description
ContractHelper

Biedt methoden die de binaire rewriter gebruikt om contractfouten af te handelen.