CASL/Summary -- 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 --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk