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 ...
Utilidade de System.Diagnostics.Contracts in question
Eu tenho jogado com a nova classe System.Diagnostics.Contracts porque parecia muito útil no começo. Métodos estáticos para verificar argumentos de entrada, retornar valores etc. Era uma interface limpa e poderia substituir muitas instruções ...
Estou implementando este contrato simples incorretamente?
Este é o meu código: public class RegularPolygon { public int VertexCount; public double SideLength; public RegularPolygon(int vertexCount, double sideLength) { Contract.Requires(vertexCount >= 3); VertexCount = vertexCount; SideLength ...
Microsoft Contratos de código e servidor de criação de IC
Estamos migrando para o .NET 4 e estamos muito interessados em implementar novos recursos de Design por contrato. Como sabemosCódigo Contrato [http://research.microsoft.com/en-us/projects/contracts/]motor requer a instalação deCódigo Contrato ...
Código de contratos. Como suprimir avisos no código gerado?
Como posso desativar as verificações estáticas no meu código Linq2Sql?
Code Contract: ccrewrite saiu com o código -1?
Eu sou novo em contratos de código. Baixei a versão mais recente do projeto de contrato de código (1.4.40314.1) e comecei a implementá-lo em meu projeto. Quando ativei a 'Verificação de execução' na guia Contratos de código no VS2010, recebi ...
A exceção .NET capturada é inesperadamente nula
Veja abaixo uma explicação do que está acontecendo Eu tenho um problema muito estranho, onde a exceção capturada é nul O código usa o MEF e tenta arduamente relatar erros de composição. Usando o depurador, vejo a exceção sendo lançada ...
Como você configura o Pex para respeitar os contratos de código?
Dado o seguinte código de exemplo, como posso configurar o Pex para respeitar meus contratos de códig public static IEnumerable<User> Administrators(this UserGroup userGroup) { Contract.Requires(userGroup != null); ...
Qual é a maturidade da estrutura do Microsoft Code Contracts?
@Microsoft lançou recentemente uma versão do seuCode Contracts [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx] framework no DevLabs com uma licença comercial. Estamos interessados em usá-los em nosso projeto (principalmente C #, alguns C ...
Contratos de código .Net - Onde aprender mais? [fechadas
Ouvi recentemente algumas discussões em meu escritório sobre .Net "Contracts". No entanto, quando perguntei a alguns de meus colegas de trabalho, nenhum deles poderia me explicar com facilidade o que eles eram ou o que era lguém tem recursos, ...