SWE/CS 332 In Class Exercise # 2
Consider the Java 8
For each method, identify all preconditions and postconditions.
Pay special attention to possible exceptions.
For each precondition, identify a specific input that violates the precondition.
What "happens" if the precondition is violated? You should answer this
question both theoretically and practically. (Hint: Really, it's the same answer...)
For each postcondition, identify an input specific to that postcondition.