Linha do tempo de Verificação de invariância de estado do objeto entre a execução dos métodos privados
Licença atual: CC BY-SA 4.0
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 |