Sample specifications in LePUS3 and Class-Z:

Collections and Iterators in java.util

From Java SDK 1.4

This page demonstrates how object-oriented design statements can be made in LePUS3 and/or Class-Z to model some of the collection and iterator classes in package java.util in the core Java SDK 1.4).

Links

The specifications

All charts below model the same set of classes. They reveal in increasing detail the individual collection classes and the factory methods which produce the iterator of the appropriate instance.

Collection and Iterator classes

The most abstract chart represents the set of classes in the specification.

Some collection and iterator classes in java.util
modelled using one 1-dimensional class constant (legend)

Collection Classes, Iterator classes, and their methods

The following three methods reveal in decreasing level of abstraction the individual classes and methods in this set and the specific relations amongst them.

Some collection and iterator classes in java.util
modelled using 1-dimensional hierarchy constants (legend)
Some collection and iterator classes in java.util
modelled using 0- and 1-dimensional constants (legend)
 
Some collection and iterator classes in java.util
modelled using 0-dimensional constants (see legend)