Contracts are important – we already saw this. What can we do that we always see them when coding?
In the previous part, we formulated pre- and postconditions for a sample class. However, we only have written them down in plain text.
So we are now finding out how to specify them in a more comfortable (and elegant of course 😉 ) way.
I will introduce five possibilities: Documentation, Exception / Assert based, Custom Checker Class, Attributes and Code Contracts.