Wednesday, 23 February 2011

Pre- and Post Conditions

< not here yet >
  • assertions in private methods, indicate programming errors
  • checks in public methods using if->throw new Exceptions, indicate wrong use of public API (IllegalArgumentException might be a good one)
  • Contracts (just had a look at Contracts for Java) - use annotations to put down pre- and post conditions.

No comments:

Post a Comment