design-by-contract

11El calor

2Respuesta

Contratos de código: ¿Por qué algunos invariantes no se consideran fuera de la clase?

consideran este tipo inmutable: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invari

5El calor

7Respuesta

¿Cómo puedo colocar restricciones de validación en los parámetros de entrada de mi método?

Esta es la forma típica de lograr este objetivo: public void myContractualMethod(final String x, final Set<String> y) { if ((x == null) || (x.isEmpty())) { throw new IllegalArgumentExceptio

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

16El calor

1Respuesta

¿Estoy implementando este simple contrato incorrectamente?

Este es mi código: public class RegularPolygon { public int VertexCount; public double SideLength; public RegularPolygon(int vertexCount, double sideLength) { Contract.Requ

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

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

6El calor

2Respuesta

¿Cómo podría implementar el diseño por contrato en Clojure específicamente o en los lenguajes funcionales en general?

Prefiero que los ejemplos estén en una variante de Lisp (puntos de bonificación para Clojure o Scheme) ya que eso es con lo que estoy más familiarizado, pero cualquier comentario sobre DBC en lanzas f

9El calor

2Respuesta

¿Por qué no se implementa JML como anotaciones en Java?

Contrariamente a los contratos de código en C#, en el código JML los contratos son solo texto que se utiliza en forma de comentarios en el encabezado de un método. ¿No sería mejor tenerlos expuestos c

7El calor

1Respuesta

Contratos de código: ¿Cómo declaro en una condición posterior que el valor de un campo/propiedad no ha cambiado?

Voy a mostrar con un ejemplo de código lo que me gustaría lograr? class SomeClass { public int SomeProperty; public void SomeOperation() { Contract.Ensures("SomeProperty's value

14El calor

4Respuesta

Java: ¿forma limpia de lanzar automáticamente UnsupportedOperationException al llamar a hashCode() y equals()?

Tenemos una base de código OO, donde en mucho de los casos hashcode() y equals() simplemente no funcionan, sobre todo por la siguiente razón: No hay manera de extender una clase instanciable y añadir