Eliminating bugs at the source, by enforcing object validity
p.s. coincidentally stumbled across this article about invariants from a newsletter -> https://brooker.co.za/blog/2023/07/28/ds-testing.html
Oooh this is a really cool idea, will have to give it a try. Thanks!
I got to study the Eiffel language at uni and, although I didn't appreciate it at the time, it natively supported class invariants within the language (https://www.eiffel.org/doc/solutions/Design_by_Contract_and_Assertions), as well as first class pre and post condition support
Oooh this is interesting, I see there is an Eiffel for .NET, I will have to dive deeper. Thanks!
p.s. coincidentally stumbled across this article about invariants from a newsletter -> https://brooker.co.za/blog/2023/07/28/ds-testing.html
Oooh this is a really cool idea, will have to give it a try. Thanks!
I got to study the Eiffel language at uni and, although I didn't appreciate it at the time, it natively supported class invariants within the language (https://www.eiffel.org/doc/solutions/Design_by_Contract_and_Assertions), as well as first class pre and post condition support
Oooh this is interesting, I see there is an Eiffel for .NET, I will have to dive deeper. Thanks!