CASL/Summary-v1.0 -- 8.3.1.4 Local Units

Go backward to 8.3.1.3 Amalgamations
Go up to 8.3.1 Unit Terms
Go forward to 8.3.1.5 Unit Applications

8.3.1.4 Local Units

      LOCAL-UNIT ::= local-unit UNIT-DEFN+ UNIT-TERM

A local unit is written:

local UD₁; ...; UD_n; within UT

where the final `;' may be omitted.

This allows for naming units that are locally defined for use in a unit term, these units being intermediate results that are not to be visible in the models of the enclosing architectural specification.

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk