Improving Eiffel Assertions Using Quantified Iterators
Miguel Katrib Mora, Jesüs Coira · Dialnet (Universidad de la Rioja) · 1996
Assertions are key features of the Eiffel language. This paper proposes the inclusion and implementation of quantifiers into the Eiffel assertions. These quantifiers are supported by the use of iterators (proposed in a previous paper). Several interesting examples are listed illustrating the enhanced power of the assertions provided by these quantified iterators. Examples involve the Eiffel Library class STRING, a solution to represent one-to-many and many-to-many relationship between object attributes, and an interesting example of geometric class for convex polygons .