code-contracts

8El calor

3Respuesta

¿Qué tan buena idea es usar contratos de código en Visual Studio 2010 Professional (es decir, sin comprobación estática) para bibliotecas de clases?

Creo bibliotecas de clases, algunas de las cuales son usadas por otras personas alrededor del mundo, y ahora que estoy empezando a usar Visual Studio 2010 me pregunto qué buena idea es para mí cambiar

visual-studio-2010 c#-4.0 static-analysis code-contracts 2010-04-13

---

7El calor

5Respuesta

CodeContracts: Posiblemente llamar a un método en una referencia nula

estoy teniendo una discusión con el CodeContracts static analysis tool. Mi código: Screenshot http://i40.tinypic.com/r91zq9.png (ASCII version) La herramienta me dice que instance.bar puede haber una

c# visual-studio-2010 .net-4.0 code-contracts 2010-04-20

---

14El calor

1Respuesta

Contratos de código vs. Inicializadores de objetos (.net 4.0)

En su valor nominal, parecería que los inicializadores de objetos presentan un problema para .net 4.0 "contratos de código", donde normalmente el invariante debe establecerse para cuando el constructo

.net .net-4.0 code-contracts design-by-contract object-initializers 2010-05-02

---

10El calor

5Respuesta

Diseño por contratos y constructores

Estoy implementando mi propia ArrayList para fines escolares, pero para darle más sabor a las cosas, estoy tratando de usar C# 4.0 Code Contracts. Todo estaba bien hasta que necesité agregar contratos

c# .net c#-4.0 code-contracts design-by-contract 2010-05-04

---

11El calor

1Respuesta

Usando Contract.ForAll in Code Contracts

De acuerdo, tengo otra pregunta de Contratos de Código. Tengo un contrato en un método de interfaz que se parece a esto (otros métodos omitidos para mayor claridad): [ContractClassFor(typeof(IUnboundT

c# static-analysis code-contracts forall 2010-06-23

---

5El calor

2Respuesta

¿Qué hacer cuando se usa Contract.Assert (true) y el método debe devolver algo?

Tengo un poco de código con la siguiente lógica: //pseudo-code foreach (element in elementList) { if (element is whatever) return element; } } En teoría, siempre hay un elemento qu

c# .net-4.0 code-contracts design-by-contract 2010-05-06

---

9El calor

2Respuesta

¿Cómo Contract.Exists agrega valor?

Estoy empezando a aprender sobre la biblioteca de contratos de código que viene de serie con VS2010. Una cosa con la que me estoy metiendo de inmediato es lo que realmente significan algunas cláusulas

c# code-contracts 2010-05-06

---

22El calor

1Respuesta

Pregunta sobre los métodos [Puros]

¿El siguiente método es puro? Yo diría que sí, ya que de todos modos no cambia la clase actual, por lo tanto, todo lo que ahora podemos "ver" en la clase, antes de ejecutar este método, seguirá siendo

c# code-contracts 2010-05-07

---

6El calor

3Respuesta

¿Qué significa "Contrato no puede estar en bloqueo de prueba"?

estoy usando la biblioteca 3.5 para el código de Microsoft contrae public object RetrieveById(int Id) { //stuff happens... Contract.Ensures(newObject != null, "object must not be null");

c# code-contracts 2010-05-21

---

15El calor

3Respuesta

¿Los contratos de código C# 4.0 realmente hacen algo?

Después de leer acerca de la clase estática System.Diagnostics.Contracts.Contract que ha sido influenciada por la genialidad de SpeC# I estaba muy emocionada y de inmediato comenzó a salpicar mi códig

c# .net c#-4.0 code-contracts 2010-05-21

---