System-Level Design with Rosetta

Chapter 5. Composite Types

Rosetta’s composite types define homogeneous collections of data. The composite type subsystem provides mechanisms for defining and manipulating three primary data containers, sets, multisets, and sequences. All composite types are homogeneous and are declared using type formers. Values from composite types are formed using associated value formers, whose syntax parallels type formers.

The set type defines unordered, homogeneous collections of unique items. A primary use for the set type is defining new types and subtypes. Additionally, sets provide excellent mechanisms for defining collections of items in abstract specifications. The multiset type defines an unordered, homogeneous collection of items, where multiple ...