Prev Up Next
Go backward to 8.1 Unit Declarations and Definitions
Go up to 8 Architectural Constructs
Go forward to 8.3 Unit Expressions

8.2 Unit Specifications


      UNIT-SPEC-DEFN   ::= unit-spec-defn SPEC-NAME UNIT-SPEC
                         | CLOSED-UNIT-SPEC

[] A unit specification definition UNIT-SPEC-DEFN is written:

unit spec
SN =
where the terminating `end' keyword is optional.

It provides a name SN for a unit specification USP. [CHANGED:] The unit specification may be a unit type. It may also be the name of another unit specification (in the context-free concrete syntax, this is indistinguishable from a reference to a named structured specification in a constant unit type, but the global environment determines how the name should be interpreted). It may be an architectural specification (either a reference to the defined name of an architectural specification, or an anonymous architectural specification). Finally, it may be an explicitly-closed unit specification.

It defines the name SN to refer to the unit specification USP, extending the global environment (which must not already include a definition for SN). The local environment given to USP is empty, i.e., the unit specification is implicitly closed. []

  • 8.2.1 Unit Types
  • 8.2.2 Architectural Unit Specifications
  • 8.2.3 Closed Unit Specifications

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

    Prev Up Next