Resultados da pesquisa a pedido "code-contracts"
Contratos de código: Por que alguns invariantes não são considerados fora da classe?
Considere este tipo imutável: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invariant(Path != null); } public Settings(string path) { Contract.Requires(path ...
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?
Livros sobre contratos de código em C # 4.0 [fechado]
Embora eu conheça o Code Contracts há algum tempo, como o usei um pouco em Java, gostaria de começar a usá-lo em C #, agora que eles fazem parte do C # 4.0. Estou procurando material de aprendizagem, livros ou vídeos. Embora os tutoriais também ...
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 ...
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 ...
Por que o ccrewrite.exe não está fazendo nada a partir da linha de comando?
Eu tenho contratos de código funcionando bem de dentro do Visual Studio 2010, mas não consigo
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 ...
Posso deixar contratos no código que estou mesclando com uma base de código usada por desenvolvedores de contratos que não são de código?
Nos últimos meses, desenvolvo um projeto paralelo para minha empresa, mas os superiores decidiram agora que seria um bom ajuste para um produto existente. Estou desenvolvendo o projeto paralelo usando o Code Contracts da Microsoft ...
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 ...