Perguntas com a marcação «code-contracts»

Recentemente, deparei com a estrutura da Microsoft para contratos de código. Eu li um pouco da documentação e me perguntei constantemente: "Por que eu iria querer fazer isso, pois ele não faz e geralmente não pode executar uma análise estática"? Agora, eu já tenho um tipo de estilo de programação …

26 code-contracts 

Estou aprendendo sobre contratos de código no .NET e tentando entender a idéia de construtores puros. o documentação dos contratos de código declara: Todos os métodos chamados dentro de um contrato devem ser puros; isto é, eles não devem atualizar nenhum estado preexistente. Um método puro pode modificar objetos que …

19 c#  .net  code-contracts  pure-function 

Sou um programador um tanto defensivo e um grande fã dos contratos de código da Microsofts. Agora nem sempre posso usar C # e, na maioria dos idiomas, a única ferramenta que tenho são as asserções. Então, geralmente acabo com um código como este: class { function() { checkInvariants(); assert(/* …

13 testing  code-contracts 

Sou um grande fã de escrever declarações, contratos ou qualquer outro tipo de cheque disponível no idioma que estou usando. Uma coisa que me incomoda um pouco é que não tenho certeza de qual é a prática comum para lidar com verificações duplicadas. Exemplo de situação: primeiro escrevo a seguinte …

10 assertions  code-contracts 

Estou fazendo um projeto de pesquisa em que estou pesquisando as opções para lidar com alterações em uma arquitetura de microsserviço orientada a eventos. Então, digamos que temos um aplicativo em que temos quatro serviços diferentes. Cada um desses serviços possui um banco de dados próprio para armazenar dados locais. …

9 communication  versioning  microservices  message-queue  code-contracts