Java - Method Preconditions and postcondition enforcement [closed]

Question

Closed. This question needs details or clarity. It is not currently accepting answers.

---

Want to improve this question? Add details and clarify the problem by editing this post.

Closed 8 years ago.

Improve this question

My question is short. Are method preconditions and postconditions enforced by the compiler?

Answer 1

Have a look at Contracts for Java, which helps enforing pre- and postconditions as well as invariants through annotations. But there's no compile-time-checking, only runtime as far as I know.

Answer 2

No. Java doesn't have explicit support for design-by-contract pre/postconditions like (for instance) Ada does. See the java docs