ГОСТ Р ИСО 10303-11— 2009
215exp!icit_attr = attribute_ded { ’ , ’ attribute_decl} ’: ’
[ OPTIONAL ] parameter_type *;’.
216expression = simple expression [ rel_op_extended
simple_expression J .
217factor = simpleJactor [ ” *’ simpleJactor J.
218formal_parameter = parameterJd { ’ . ’ parameterjd } *: *
parameterjype .
219function_call
220function_decl
= ( builtJnJunction | func1ion_ref)
[ actual_parameter_list ] .
= function_head algorithm_head stmt { stmt }
END_FUNCTION1;’.
221function_head = FUNCTION functionJd {’ (’ formal_parameter
{’ ;’ f o r m a l _ p a r a m e t e r ‘
parameter_type
222functk>n_id = simplejd .
223generalizedjypes = aggregate_type | general_aggregation_types |
generic_entity_type | generic_type .
224general_aggregation_types = general_array_lype |
general_bag_type | general_list_type |
general_set_type .
225general_array_type = ARRAY [ bound_spec ]OF [OPTIONAL)
I UNIQUE Jparameter_type .
226general_bag_type = BAG [ bound_spec 1OF parameter_type .
227general_list_type = LIST [ bound_spec ] OF [ UNIQUE J
parameteMype .
228general_ref = parameter_ref | vanable ref.
229general_set_type = SET [ bound_spec ) OF parameterjype .
230generic_entity_type = GENERIC_ENTITY [’: * typejabel ].
231generic_type = GENERIC [ *:’ typejabel ].
232group_qualifier = ’ V’ entity_ref.
233if_stmt = IF logical_expression THEN stmt { stmt } [ ELSE stmt
{ stmt} ] ENDJF’; 1.
234increment = numeric_expression .
235increment_control = variable_id’ := ’ bound_1 TO bound_2 [ BY
increment ].
236index = numeric_expression .
237index_1 = index .
238index_2 = index .
239index_qualifier = ’(’ index_1 [’:’ index_2 J’ ]’.
240instantiab4e_type = concrete_types | entity_ref.
241 integer_type = INTEGER .
242intertace_specification = reference_clause | use_clause .
243interval = ’ { ’ intervaljow interval_op intervaljtem
interval_op interval_bigh ’ } ’ .
244interval_high = simple_expression .
245intervaljtem = simple_expression .
246intervaljow = simple_expression .
247interval_op = ’<* |
248inverse_attr = attribute_decl’: ’ [ ( SET | BAG ) [ bound_spec ]
OF ] entity_ref FOR [entity_ref’.’ ]
attribute_ref
249inverse_dause = INVERSE inverse_attr { inverse_attr}.
250listjype = LIST [ bound_spec 1OF [ UNIOUE ] instantiablejype .
251literal = binaryjiteral | logicaljiteral | realjiteral |
stringjiteral .
252local_decl = LOCAL local_variabte { local_variable }
END_LOCAL’;
253local_variable = variablejd {*.’ variableJd } ’: *
parameter_type [’’ expression l ’ :’.
254logical_expression = expression .
255logicaljiteral = FALSE | TRUE | UNKNOWN .
256logicalJype = LOGICAL.
118