Chapter 2 Comments, Conditions, Assertions Comments Preconditions Postconditions Assertions

Preconditions Conditions under which a method may be called and expected to produce correct results Tip: –use to check arguments passed to method to guarantee that they do have valid values Examples – (y!=0), (link==null), (x>=y)

Postconditions State of the program once the routine has been completed Postconditions should be correct only if Preconditions were met Tip: –Test if computed values fall within acceptable ranges Examples – (x!=0), (link!=null), (x<=y)

How to Implement Pre- and Post-Conditions: Assertions Assumption made about the state of the program Assert.pre(boolean test, String message) Assert.post(boolean test, String message) Assert.condition(boolean test, String message) Assert.fail(String message)

Example

Assignment #2 Problems: Due: