Prev Up
Go backward to C.2.3 Architectural Specifications
Go up to C.2 Context-Free Syntax

C.2.4 Specification Libraries

  LIB-DEFN        ::= library LIB-NAME LIB-ITEM...LIB-ITEM
  LIB-ITEM        ::= SPEC-DEFN  |  VIEW-DEFN
                    | ARCH-SPEC-DEFN  |  UNIT-SPEC-DEFN
                    | from LIB-NAME 
                         get ITEM-NAME-OR-MAP ,..., ITEM-NAME-OR-MAP end/

  ITEM-NAME-OR-MAP::= ITEM-NAME  |  ITEM-NAME "|->" ITEM-NAME
  ITEM-NAME       ::= SIMPLE-ID

  LIB-NAME        ::= LIB-ID | LIB-ID VERSION
  LIB-ID          ::= URL  |  SIMPLE-ID "/"..."/" SIMPLE-ID
  VERSION         ::= version NUMBER "."..."." NUMBER
CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk

Prev Up