Answer:
preconditions, postconditions, and class invariants.
Step-by-step explanation:
While all three share a common basic format — keyword followed by a list of assertion expressions — they appear in different locations
9.4m questions
12.2m answers