Consider the Set interface in the java.util package. Write preconditions and post conditions in OCL for the following operations:
• int size() returns the number of elements in the set.
• void add(Object e) adds an object to the set. If the object is already in the set, does nothing.
• void remove(Object e) removes an object from the set.
• boolean contains(Object e) returns true if the object is contained in the set.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.