System.Diagnostics.Contracts.Internal Spazio dei nomi

Fornisce classi che il rewriter binario può usare per gestire un errore del contratto.

Classi

Nome Descrizione
ContractHelper

Fornisce metodi utilizzati dal rewriter binario per gestire gli errori del contratto.