Annotated King Reference Manual/Bodies

This page is work in progress.

Exemples
-

Syntax
body ::= proper_body | body_stub proper_body ::=  subprogram_body | module_body | active_task_body | passive_task_body body_stub ::= subprogram_body_stub | module_body_stub | active_task_body_stub | passive_task_body_stub

Rationale
-

Discussions
-

Syntax
subprogram_body ::= subprogram_specification body is declarative_part designator : begin sequence_of_statements designator : when identifier => sequence_of_statements designator : end procedure | function; designator ::= [parent_unit_name . ] identifier | operator_symbol

Rationale
-

Discussions
-

Syntax
module_body ::= defining_program_unit_name : module body is declarative_part defining_program_unit_name : begin sequence_of_statements defining_program_unit_name : when identifier => sequence_of_statements defining_program_unit_name : end module;

Rationale
-

Discussions
-

Syntax
active_task_body ::= defining_identifier : task body is declarative_part task_identifier : begin sequence_of_statements task_identifier : when identifier => sequence_of_statements task_identifier : end task;

Rationale
-

Discussions
-

Syntax
passive_task_body ::= defining_identifier : task body is {basic_declaration} barrier_body {{basic_declaration} barrier_body} task_identifier : end task; barrier_body ::= barrier_subprogram_body | barrier_statement_procedure_declaration | barrier_declare_statement_procedure_declaration | barrier_expression_function_declaration barrier_subprogram_body ::= subprogram_specification when condition body is declarative_part designator : begin sequence_of_statements designator : when identifier => sequence_of_statements designator : end procedure | function; barrier_statement_procedure_declaration ::= procedure_specification [aspect_specification] when condition is (simple_statement); barrier_declare_statement_procedure_declaration ::= procedure_specification [aspect_specification] when condition is (declare declare_declaration {declare_declaration}              begin simple_statement); barrier_expression_function_declaration ::= function_specification [aspect_specification] when condition is (expression);

Rationale
-

Discussions
-

Examples
-

Syntax
subprogram_body_stub ::= subprogram_specification body is separate; module_body_stub ::=  defining_identifier : module body is separate; active_task_body_stub ::= defining_identifier : task body is separate; passive_task_body_stub ::= active_task_body_stub

Rationale
-

Discussions
-