210
211
212
213
214
ГОСТ Р ИСО 10303-11 — 2009
170aggregate_source = simple_expression .
171aggregatejype = AGGREGATE [’:’ typejabel ] OF parameter type .
172aggregationjypes = array Jype | bag_type | listjype | setjype .
173algori»hm_head = { declaration } [ constant_decJ 1[ localded ].
174aiias_stmt = ALIAS variablejd FOR general_ref { qualifier}’: *
stmt { stmt} END„ALIAS ’ ;’.
175array Jype = ARRAY bound_spec OF [ OPTIONAL] ( UNIQUE ]
instantiablejype .
176assignment_stmt = general_ref { qualifier}’’ expression ’ :’.
177attnbute_decl = attribute_id | redeclared_attribute .
178attribute_id = simptejd .
179attnbute„qualifier = ’ . ’ attribute_ref.
180bagjype = BAG [ bound_spec ] OF instantiablejype .
181binaryJype = BINARY [ width_spec j .
182bootean_type = BOOLEAN .
183bound_1 = numeric_expression .
184bound_2 = numeric_expression .
185bound_spec = ’ ( ’ bound_11: ’ bound_2’ ]’.
186built_in_constant
187builtJn Junction
= CONST_E | PI | SELF | ’?*.
= ABS | ACOS | ASIN | ATAN | BLENGTH | COS |
EXISTS | EXP | FORMAT | HIBOUND | HIINDEX |
LENGTH | LOBOUND | LOINDEX | LOG | LOG2 |
LOG10 | NVL | ODD | ROLESOF | SIN | SIZEOF |
SORT | TAN | TYPEOF | USEDIN | VALUE |
VALUE_IN | VALUE_UNIQUE.
188built_in_procedure = INSERT | REMOVE.
189case_action = case_label { ’ , ’ caseJabel} ’: ’ stmt.
190casejabel = expression .
191case_stmt = CASE selector OF { case_action } [ OTHERWISE ’: ’ stmt ]
END_CASE‘ .
192compound„stmt = BEGIN stmt { stmt} END ’; *.
193concretejypes = aggregationjypes | simpleJypes | type_ref.
194constant_body = constantjd ’: ’ instantiablejype ’ := ’
expression *;’.
195constant_ded = CONSTANT conslant_body { constant_body }
END_CONSTANT *: *.
196constantjactor = built_in_constant | constant_ref.
197constantjd = simple_id .
198constructed_types = enumeration_type | select Jype .
199declaration = entity_ded | function_decl | procedure_decl |
subtype_constraint_ded | type_ded .
200
derived_attr = attributejlecl’: ’ parameterjype ’ := ’ expression
201
derive_clause = DERIVE derived_attr { derived_attr}.
202domain_rule = [ rulejabelJd ’: ’ ] expression .
203element = expression I ’:’ repetition J.
204entity body = { explidt_attr } [ derive_dause ]
[ inverse_clause ] [ unique_dause ]
[ wtiere„clause).
205entity„constructor = entityjef’ (’ [ expression {*,’
expression }]’)’.
206entityjJec! = entity„head entity_body END„ENTITY ’; ’ .
207entity_head = ENTITY entityJd subsuper ’;’.
208entity_id = simptejd -
209enumeration_extension = BASED„ON typejef (WITH
enumerationjtems ] .
enumerationjd = simplejd .
enumeration_items = ’ (’ enumeration^ { ’. ‘ enumeration^ } ’ ) ’ .
enumerationjeference = [ type_ref’ . ’ ] enumerationjef.
enumerationJype = [EXTENSIBLE] ENUMERATION [(OF
enumerationjtems ) | enumeration„extension ] .
escape_stmt = ESCAPE’:*.
117