Resultados da pesquisa a pedido "code-contracts"
Projeto por contratos e construtores
Estou implementando minha própria ArrayList para fins escolares, mas, para apimentar um pouco as coisas, estou tentando usar os Contratos de Código C # 4.0. Tudo estava bem até eu precisar adicionar contratos aos construtores. Devo adicionar ...
Como incluo montagens de contrato no nupkg automaticamente?
Comecei a usar o nuget para criar alguns pacotes para uma biblioteca interna em nossa empresa. Essa biblioteca é composta por muitos assemblies, e muitos deles têm assemblies de referência de contrato gerados a partir de contratos de código. Eu ...
CodeContracts: a condição booleana é avaliada como um valor constante, por que?
Estou recebendo esse aviso, mas não consigo descobrir o problema ... CodeContracts: warning: A condição booleana d1.Count! = D2.Count sempre é avaliada como um valor constante. Se ele (ou sua negação) aparecer no código-fonte, você pode ter ...
Contratos de código: Invariantes na classe abstrata
Encontrei um problema ao usar Invariants com contratos de código. Eu quero definir um Invariant dentro da minha classe abstrata, mas ele é simplesmente ignorado. O código abaixo mostra minha interface e a classe ...
Qual é a melhor alternativa para contratos de código no Visual Studio 2015?
Estou procurando validar parâmetros de método no meu código, da maneira mais elegante possível. Os contratos de código parecem não funcionar em 2015. Alguém usa alguma alternativa?
Como evitar "source! = Null" ao usar Code Contracts e Linq To Sql?
Eu tenho o seguinte código usando um contexto de dados normal que funciona muito bem: var dc = new myDataContext(); Contract.Assume(dc.Cars!= null); var cars = (from c in dc.Cars where c.Owner == 'Jim' select c).ToList();No entanto, quando ...
Usando Contract.ForAll em contratos de código
Ok, tenho mais uma pergunta sobre contratos de código. Eu tenho um contrato em um método de interface que se parece com isso (outros métodos omitidos para maior clareza): [ContractClassFor(typeof(IUnboundTagGroup))] public abstract ...
Contratos de código .net 4.0. Quando usar? Quando são uma perda de tempo?
Eu estudei o .NET 4.0 Code Contracts e procurei no stackoverflow, bem como em questões relacionadas a isso. Eu ainda nunca encontrei nenhum código de exemplo que use contratos de código, o que me faz pensar .. isso é realmente útil? Ou talvez ...
Contratos de código para o .NET 3.5 atrapalham o depurador do VS10
Recentemente, migrei muitos testes de pré-condição manual e lançamento de exceção com contratos de código. Em vez de atualizar para o .NET 4, eu tenho usado oMicrosoft.Contracts.dll assembly para que eu possa aderir ao .NET 3.5 um pouco mais ...
Contratos de código: como lidar com interfaces herdadas?
Estou usando o MS Code Contracts e encontrei um problema ao usar a herança de interface e os atributos ContractClassFor. Dadas essas interfaces e classes de contrato: [ContractClass(typeof(IOneContract))] interface IOne { ...