code-contracts

12calore

1risposta

Generazione automatica di contratto/documentazione per Pub/Sub RabbitMQ

Nel mondo REST, abbiamo qualcosa come una specifica Swagger, che descrive completamente il contratto su un limite dell'interfaccia REST (tra client e server). Tali specifiche di Swagger possono essere

6calore

1risposta

Utilizzando invariante per IDisposable

Si consideri il seguente IDisposable classe: class MyClass : IDisposable { public bool IsDisposed { get; private set; } = false; public void Dispose() { IsDisposed = true;

11calore

1risposta

CodeContracts: la condizione booleana viene valutata a un valore costante, perché?

sto ottenendo questo avvertimento, ma non riesco a capire il problema ... CodeContracts: Attenzione: La condizione booleana d1.Count = d2.Count restituisce sempre un valore costante. Se esso (o la sua

5calore

2risposta

autofac e Contratto classi

Supponiamo di avere il seguente: [ContractClass(typeof(ContractClassForIFoo))] public interface IFoo { int DoThing(string x); } public class Foo : IFoo { ... } [ContractClassFor(typeof(IFo

7calore

1risposta

In che modo i Contratti di codice sanno che le sostituzioni di ToString non devono restituire nulla?

Sto utilizzando l'estensione Microsoft Code Contracts con C#. Quando scrivo una classe con un'implementazione ToString override che restituisce null, si identifica correttamente il problema: Ho assunt

7calore

1risposta

La riscrittura del contratto di codice non riesce con "Impossibile risolvere il riferimento membro"

Si noti che questo potrebbe essere un duplicato di this question, non ne sono completamente sicuro. Il mio problema è che ho un progetto di libreria di classi che ha un riferimento a una libreria di t

19calore

3risposta

Qual è l'alternativa migliore per i contratti di codice in Visual Studio 2015?

Sto cercando di convalidare i parametri del metodo nel mio codice, nel modo più elegante possibile. I contratti di codice non sembrano funzionare nel 2015. Qualcuno usa qualche alternativa?

6calore

2risposta

Perché i Contratti di codice sostengono che "Assures è falso" per questo codice?

Questo è un costruttore in una delle mie classi: public SemanticVersion(string version) { Contract.Requires<ArgumentException>(!string.IsNullOrEmpty(version)); Contract.Ensures(MajorVersion

37calore

1risposta

Falso positivo: la precondizione è ridondante

Perché viene visualizzato il seguente avviso per questo esempio di codice banale non appena il livello di avviso si trova al 2 ° livello o superiore? public int Foo(int a) { if (a >= 0) throw ne

15calore

2risposta

contratto che assicura l'IEnumerable non è vuota

Il dato codice static public int Q() { return Enumerable.Range(0, 100) .Select(i => i) .First(); } emette il seguente avviso: warning : CodeContracts: requires unproven: Any(sourc