CASL/SyntaxIssues -- 2.5 Specification Libraries

Go backward to 2.4 Architectural Specifications
Go up to 2 Input Syntax

2.5 Specification Libraries

! LIB-DEFN         ::= library LIB-NAME LIB-ITEM*
! LIB-ITEM         ::= SPEC-DEFN  |  GEN-SPEC-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        ::= SPEC-NAME  |  GEN-SPEC-NAME 
!                    | ARCH-SPEC-NAME  |  UNIT-SPEC-NAME

! LIB-NAME         ::= LIB-ID  |  LIB-ID version VERSION
! LIB-ID           ::= SIMPLE-ID"/"..."/"SIMPLE-ID
!                    | local SIMPLE-ID"/"..."/"SIMPLE-ID

CoFI Document: CASL/SyntaxIssues --Version 0.99-- 17 February 1998.
Comments to cofi-language@brics.dk