Prev Up
Go backward to Architectural and Unit Specifications
Go up to Appendix A: Abstract Syntax

Specification Libraries

LIBRARY          ::=  library URL? LIBRARY-ITEM*
LIBRARY-ITEM     ::=  SPEC-DEFN | GEN-SPEC-DEFN 
                   |  ARCH-SPEC-DEFN | UNIT-SPEC-DEFN | DOWNLOAD

DOWNLOAD         ::=  download URL ITEM-NAME-MAP+
ITEM-NAME-MAP    ::=  item-name-map ITEM-NAME? ITEM-NAME
ITEM-NAME        ::=  SPEC-NAME | GEN-SPEC-NAME 
                   |  ARCH-SPEC-NAME | UNIT-SPEC-NAME

URL              ::=  url SITE? DIRECTORY
SITE             --  structure insignificant for abstract syntax
CoFI Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to cofi-language@brics.dk

Prev Up