CASL/SyntaxIssues -- 2.3 Generic Specifications

Go backward to 2.2 Structured and Named Specifications
Go up to 2 Input Syntax
Go forward to 2.4 Architectural Specifications

2.3 Generic Specifications

! GROUPED SPEC     ::= ...  |  GEN-SPEC-NAME [ FIT-ARG ]...[ FIT-ARG ]

! FIT-ARG          ::= SPEC fit SYMB-MAP-ITEMS,...,SYMB-MAP-ITEMS | SPEC

  GEN-SPEC-DEFN    ::= spec GEN-SPEC-NAME GEN-SPEC end/
  GEN-SPEC         ::= PARAMS = SPEC
                     | PARAMS IMPORTS = SPEC
  PARAMS           ::= [ SPEC ]...[ SPEC ]
  IMPORTS          ::= import/imports SPEC-NAME,...,SPEC-NAME

  SPEC-NAME        ::= SIMPLE-ID
  GEN-SPEC-NAME    ::= SIMPLE-ID

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