preconditions

7calore

5risposta

Non può indebolire precondizioni e rafforzando postcondizioni violano anche Liskov principio di sostituzione?

precondizione effettivo di un sottotipo è creato combinando (utilizzando logico OR) precondizioni di un tipo di base e precondizioni di un sottotipo, il che rende il presupposto risultantemeno restrit

inheritance lsp preconditions post-conditions 2013-05-08

---

17calore

2risposta

Pro/contro di diversi metodi per testare le condizioni preliminari?

Fuori della parte superiore della mia testa, posso pensare di 4 modi per verificare la presenza di argomenti nulli: Debug.Assert(context != null); Contract.Assert(context != null); Contract.Requires

c# constraints assert code-contracts preconditions 2010-12-15

---

6calore

1risposta

Il raggruppamento di precondizioni in un metodo accettabile per rimanere DRY?

Quando si scrivono precondizioni per funzioni diverse con parametri simili, voglio raggruppare asserzioni o eccezioni in un metodo statico, piuttosto che scriverle esplicitamente. Ad esempio, invece d

c# assertions preconditions 2015-04-30

---

5calore

1risposta

Test del codice Swift con le precondizioni

Come si scrivono i test per i metodi Swift che presentano le condizioni preliminari? Ecco un esempio: func doublePositive(n:Int) -> Int { precondition(n >= 0) return 2*n } Utilizzando XCT

swift xctest preconditions 2016-04-18

---