Annotated King Reference Manual/Program Structure
Compilation Units
Examples
-
Syntax
compilation ::= {compilation_unit}
compilation_unit ::=
context_clause library_item
| context_clause subunit
library_item ::=
[hidden] library_unit_declaration
| library_unit_body
| [hidden] library_unit_renaming_declaration
library_unit_declaration ::=
module_declaration
| macro_declaration
| macro_expansion
library_unit_renaming_declaration ::=
module_renaming_declaration
| macro_renaming_declaration
library_unit_body ::= subprogram_body | module_body
subunit ::= separate parent_unit_name . proper_body
context_clause ::= {context_item}
context_item ::= use_clause
use_clause ::= use library_unit_name;
Rationale
At library level, subprogram_body shall be only procedure.
Discussions
-