CASL/Summary -- C.2.4 Specification Libraries

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-NUMBER
LIB-ID          ::= URL  |  PATH
VERSION-NUMBER  ::= version NUMBER "."..."." NUMBER

CoFI Document: CASL/Summary -- Version: 1.0 -- 22 July 1999.
Comments to cofi-language@brics.dk