SWE 619 In Class Exercise # 1A
September 5, 2017


Goal: Understanding Contracts
Consider the Java Iterator interface. For each method, identify all preconditions and postconditions. For each precondition, identify a specific input that violates the precondition. For each postcondition, identify an input specific to that postcondition.