Resultados de la búsqueda a petición "code-contracts"
¿Puedo dejar los contratos en el código que estoy fusionando con una base de código utilizada por desarrolladores de contratos sin código?
Durante los últimos meses, he estado desarrollando un proyecto paralelo para mi empresa, pero los superiores ahora han decidido que encajaría bien en un producto existente. He estado desarrollando el proyecto paralelo usando los contratos de ...
Diseño por contratos y constructores.
Estoy implementando mi propia ArrayList para fines escolares, pero para darle un poco de sabor estoy tratando de usar los Contratos de Código C # 4.0. Todo estuvo bien hasta que necesité agregar contratos a los constructores. ¿Debo agregar ...
¿Cómo incluyo ensambles de contrato en el nupkg automáticamente?
Acabo de comenzar a usar nuget para crear algunos paquetes para una biblioteca interna en nuestra empresa. Esta biblioteca se compone de muchos conjuntos, y muchos de ellos tienen conjuntos de referencia de contrato generados a partir ...
CodeContracts: la condición booleana se evalúa como un valor constante, ¿por qué?
Recibo esta advertencia pero no puedo resolver el problema ... CodeContracts: advertencia: la condición booleana d1.Count! = D2.Count siempre se evalúa como un valor constante. Si aparece (o su negación) en el código fuente, es posible que tenga ...
Contratos de código: invariantes en clase abstracta
He encontrado un problema al usar Invariantes con contratos de código. Quiero definir una Invariante dentro de mi clase abstracta, pero simplemente se ignora. El siguiente código muestra mi interfaz y la clase ...
¿Cuál es la mejor alternativa para los contratos de código en Visual Studio 2015?
Estoy buscando validar los parámetros del método en mi código, de la manera más elegante posible. Los contratos de código no parecen funcionar en 2015. ¿Alguien usa alguna alternativa?
¿Cómo evitar "source! = Null" al usar Code Contracts y Linq To Sql?
Tengo el siguiente código usando un contexto de datos normal que funciona muy bien: var dc = new myDataContext(); Contract.Assume(dc.Cars!= null); var cars = (from c in dc.Cars where c.Owner == 'Jim' select c).ToList();Sin embargo, ...
Uso de Contract.ForAll en contratos de código
Bien, tengo otra pregunta sobre los contratos de código. Tengo un contrato en un método de interfaz que se ve así (otros métodos se omiten para mayor claridad): [ContractClassFor(typeof(IUnboundTagGroup))] public abstract ...
.net 4.0 Contratos de código. ¿Cuándo usar? ¿Cuándo son una pérdida de tiempo?
He estado estudiando contratos de código .NET 4.0 y buscando en stackoverflow, así como preguntas relacionadas con esto. Todavía no he encontrado ningún código de muestra que use contratos de código, así que me pregunto ... ¿esto es realmente ...
Los contratos de código para .NET 3.5 arruinan el depurador de VS10
Recientemente migré muchas pruebas de precondición manual y lanzamiento de excepciones con contratos de código. En lugar de actualizar a .NET 4, he estado usando elMicrosoft.Contracts.dll ensamblado para poder seguir usando .NET 3.5 un poco más ...