OCL 2.0 FTF Issues: Missing equality and inequality operations on collection types



Date view Thread view Subject view Author view Attachment view

From: Hubert Baumeister (baumeist@informatik.uni-muenchen.de)
Date: Wed 05 Nov 2003 - 16:31:58 GMT


Dear all,

please find attached an issue for the OCL 2.0 finalization process.

Greetings,
     Hubert

--
Dr. Hubert Baumeister, Institut für Informatik, Universität München
mailto:baumeist@informatik.uni-muenchen.de
http://www.informatik.uni-muenchen.de/~baumeist
phone (x49-89)2180-9375  * fax -9175


Missing equality and inequality operations on collection types

Author: Hubert Baumeister, Rolf Hennicker, Alexander Knapp {baumeist,hennicke,knapp}@informatik.uni-muenchen.de

Description: Missing equality and inequality operations on collection types

Rationale: 

The collection types Set, Sequence, and Bag show a predefined =
operation. However, this operation is not defined for the abstract
type Collection. 

Moreover, the operation <> is missing for all collection types.

Date view Thread view Subject view Author view Attachment view