Skip to main content
12 eventos
quando alternar formato o que por licença comentário
20/12/2023 às 10:56 histórico editada Maniero CC BY-SA 4.0
removeu 4 caracteres do conteúdo
4/10/2021 às 13:53 histórico editada Maniero CC BY-SA 4.0
adicionou 140 caracteres ao conteúdo
4/12/2020 às 14:14 histórico editada Maniero CC BY-SA 4.0
adicionou 18 caracteres ao conteúdo
21/05/2020 às 12:49 histórico editada Maniero CC BY-SA 4.0
adicionou 42 caracteres ao conteúdo
12/06/2017 às 12:38 histórico editada Maniero CC BY-SA 3.0
adicionou 87 caracteres ao conteúdo
7/06/2017 às 16:37 comentário adicionado Maniero @JeffersonQuesado pode ser, tem situações que isto é transformado em verificação de runtime podendo até mesmo lançar uma exceção. Mas depende de como o mecanismo foi implementado. Algumas coisas não tem como verificar em tempo de compilação. Se você não aceito um parâmetro receber 0 e chamar o método passando 0 ou algo que pode ser inferido com 0, ok, dá para saber. Mas e se o 0 surge de um cálculo usando um valor vindo do banco de dados, como saber em tempo de compilação? Não tem como. Em geral o bom code coverage ajuda.
7/06/2017 às 16:21 comentário adicionado Jefferson Quesado essas pós e pré condições todas me fizeram pensar bobeira =] de repente li como se fosse uma verificação runtime de produção, foi mal =D
7/06/2017 às 16:16 comentário adicionado Maniero Não domino o assunto suficientemente, mas o mecanismo está mais preocupado se o código está correto, não se o objeto realmente não é alterado. Por isso muito do código do DbC acaba sumindo do código final em execução. Não é um controle do objeto, é do código. Eu acho até que não importa o valor do objeto, importa o valor que foi alterado no estado naquela instância de execução. Certeza eu não posso te dar.
7/06/2017 às 16:10 comentário adicionado Jefferson Quesado Sobre invariância e acesso paralelo ao objeto, precisa usar uma trava para impedir que se tente ler o estado inválido intermediário?
7/06/2017 às 15:35 voto aceitação ramaral
7/06/2017 às 12:35 histórico editada Maniero CC BY-SA 3.0
adicionou 1366 caracteres ao conteúdo
6/06/2017 às 16:40 histórico respondeu Maniero CC BY-SA 3.0