Prev Up Next
Go backward to Amalgamations
Go up to 8.3.1 Unit Terms
Go forward to Unit Applications Local Units

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

A local unit is written:

local UD1; ...; UDnwithin 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

Prev Up Next