Download Download

<external_variable_definition> ::=
<external_variable_stereotype><variable_definition>
<external_variable_stereotype> ::=
input!output!flow!contact!connector
<variable_definition> ::=
<variable_name>:<variable_type>
[:=<initial_value>];
<variable_type> ::= <type>
<variable_name> ::= <identifier>
<initial_value> ::= <value>
<constant_definition> ::=
constant <constant_name>:<constant_type>:=<value>;
<constant_type> ::= <type>
<constant_name> ::= <identifier>
<function_or_procedure_definition> ::=
<function_or_procedure_specification> is
{<local_variable_definition>}
<function_or_procedure_body>
<function_or_procedure_specification> ::=
<procedure_specification>!<function_specification>
<procedure_specification> ::=
procedure <procedure_name>
[<formal_parameters>]
<procedure_name> ::= <identifier>
<function_specification> ::=
function <function_name>[<formal_parameters>]
return <result_type>
<function_name> ::= <identifier>
<formal_parameters> ::=
(<parameter_specification>{;<parameter_specification>})
<parameter_specification> ::=
<parameter_category>
<parameter_name>{,<parameter_name>}:
<parameter_type>
<parameter_category> ::= [in]!out!in out
<parameter_name> ::= <identifier>
<parameter_type> ::= <type>
<result_type> ::= <type>
<local_variable_definition> ::=
<variable_name>{,<variable_name>}:
<variable_type>[:=<expression>];
<variable_name> ::= <identifier>
258