The Design by Contract technique stresses the importance of explicitly specifying the constraints that hold before and after a software component executes.

Everything in Java is an object, except primitives like int. Turns out that small caveat has big implications for the language, which have compounded over the years. This seemingly minor design ...