Prev Up
Go backward to A.4 Architectural Specifications
Go up to A Abstract Syntax

A.5 Specification Libraries

  LIB-DEFN         ::= lib-defn LIB-NAME LIB-ITEM*
  LIB-ITEM         ::= SPEC-DEFN | VIEW-DEFN
                     | ARCH-SPEC-DEFN | UNIT-SPEC-DEFN
                     | DOWNLOAD-ITEMS

  DOWNLOAD-ITEMS   ::= download-items LIB-NAME ITEM-NAME-OR-MAP+
  ITEM-NAME-OR-MAP ::= ITEM-NAME | ITEM-NAME-MAP
  ITEM-NAME-MAP    ::= item-name-map ITEM-NAME ITEM-NAME
  ITEM-NAME        ::= SIMPLE-ID

  LIB-NAME         ::= LIB-ID | LIB-VERSION
  LIB-ID           ::= DIRECT-LINK | INDIRECT-LINK
  DIRECT-LINK      ::= direct-link URL
  INDIRECT-LINK    ::= indirect-link SIMPLE-ID+
  LIB-VERSION      ::= lib-version LIB-ID VERSION
  VERSION          ::= version NUMBER+
  

CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk

Prev Up