Prev Up
Go backward to 2.1.4 Datatypes
Go up to 2.1 Signature Declarations

2.1.5 Sort Generation

      SORT-GEN ::= sort-gen SIG-ITEMS+

A sort generation SORT-GEN is written:

generated { SI1...SIn };
When the list of SIG-ITEMS is a single DATATYPE-ITEMS construct, writing the grouping signs is optional:
generated types DD1; ... DDn;
(The terminating `;' is optional in both cases.)

It determines the same elements of signature and sentences as SI1, ..., SIn, together with a corresponding sort generation constraint sentence: all the declared sorts of SI1, ..., SIn are required to be generated by all the declared operations--but excluding operations declared as selectors by datatype declarations. A SORT-GEN is ill-formed if it does not declare any sorts.

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to

Prev Up