ГОСТ Р ИСО/ТО 10303-12-2000
186 constant_factor = built_in_conslant | constant_rcf .
187 constantJd e simplc_id .
188 constructedjypes - enumerationJype | selectJype .
189 declaration = cntity_dccl | functi»n_dccl | procedurc_dccl | type_ded .
190 dcrived_attr ” attrilnitc_dcclbast-typeexpression
191 derive clause =* DERIVE dcrrvcd_attr {dcrhcd_attr } .
192 domain_rulc • J labelJ logical_exprcssion .
193 clement *■expression [
V
repetition | .
194 entity bodv « { cxplicit_attr } [ derivejlansc 1 | inverse_clause )
J unique-clause
J
| whcre_clausc J .
195 cntity_constructor ” entity_ref’(’ l expression {expression }]’)’ .
196 cntity_deel “ cntity_head cntityjiody END_ENT1TY.
197 cntity_head = ENTITY entity J d 1 subsnper | ’;* .
198 entity_id ” simplc_id .
199 cnumcrationjd " simplejd .
200 cnumcration_reference ■ | typc_ref
V
) cnumcrationref.
201 cnumcration_type “ ENUMERATION OF ’(’ cnumcrationjd {
V
cnumeration_id } ’)’ .
202 cscapc_stmt » ESCAPE.
203 explicil_attr ” attributc-dcd {attributc_dccl J[ OPTIONAL |
basc_type.
204 expression = simplc_expression | rel_op_extendcd simplc_expression ) -
205 factor * simple_factor | ’**’ siniple_factor J .
206 formal_parameter ■ paramcter_id {parameterjd > paramcter_type .
207 function_call
m
( builtJnJimction | function_rcf ) J actual_pararacter_list
J
.
208 functk>n_decl *» function Jicad | algorithmhcad | stmt { stmt }
END_FUNCT!ON.
209 function_head ■ FUNCTION function_id | ’(’ formal_parameter
{fonnal_parameter } ’)" J ’:*parameter_type.
210 functionjd ■ simplejd .
211 generalisedJypcs * aggregateJype | gcneral_aggregationJypes| generic Jype .
212 gcncral_aggrcgationJypcs * gcncral_arrayjypc | general_bag_typc |
gencraljistJype | general_setJypc .
213 gencral_arrayjype - ARRAY 1 bound_spcc | OF | OPTIONAL | | UNIQUE |
parameterJype .
214 general J>agJype =■BAG ( bound_spcc ) OF parameterJype .
215 gcncraljistjype ■» LIST | bound_spec 1OF ( UNIQUE | paramcter_type .
216 gcncral_ref ■ parametcr_rcf | varial>le_ref .
217 gcncral_sctjypc ■ SET I bound_spcc | OF parameterJype .
218 generic Jype ” GENERIC |typejabel | .
219 group_qualificr «*
\
cntityjcf.
220 if_stmt * IF logical_expression THEN stmt { stmt } | ELSE stmt {stmt } |
ENDJF V .
221 increment =• numeric_exprcssion .
222 increment_control ” variablc_idboundJ TO bound_2 1 BY increment J .
223 index " numeric- expression .
224 index_l ■ index .
225 index_2 ™index .
226 index_qualificr ” *|‘ index J |index_2 ] ’)’ .
227 integerJype - INTEGER .
< 228 interfacc_spccification = refcrence_clausc | usc clause . >
229 interval * ’{’ intervalJowr interval_op intervaljtcm interval_op
intenral_high ’}’ .
230 intcrval_high —simple_cxprcssion .
231 intervaljtcm = siraplcjxpression .
232 intcrvaljow = simple_expression .
233 intcrval_op " ’<’ |.
234 invcnsc_attr ” attributedecl( ( SET | BAG ) l boundjspcc) OF | cntity_ref
52