Annotated King Reference Manual/Program Structure

Compilation Units edit

Examples edit

-

Syntax edit

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 edit

At library level, subprogram_body shall be only procedure.

Discussions edit

-