• 热门标签

当前位置: 主页 > 航空资料 > 国外资料 >

时间:2010-08-10 16:53来源:蓝天飞行翻译 作者:admin
曝光台 注意防骗 网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者

cb_l_transition ';'
| cb_transitions cb_l_transition ';';
cb_l_transition:
/* label_identifier */ IDENTIFIER ':' cb_transition
| cb_transition;
cb_transition:
/* state_identifier */ IDENTIFIER OPEN_GOTO_NEXT cb_transition_cond
CLOSE_GOTO_NEXT /* state_identifier */ IDENTIFIER cb_actions;
cb_transition_cond:
WHEN cb_guard SET_TO cb_interaction
| cb_interaction
| WHEN cb_guard
| /* void */;
cb_interaction:
cb_operation_call
| cb_operation_accept
| cb_operation_resume
| cb_send_statement
| cb_receive_statement;
cb_operation_call:
cb_unique_subprogram_name '!'
| cb_unique_subprogram_name '!' '(' cb_terms ')';
/* subcomponent.subprogram */
cb_unique_subprogram_name:
IDENTIFIER '.' IDENTIFIER;
cb_operation_accept:
/* cb_operation_identifier */ CALLED '?';
cb_operation_resume:
RESUME
| RESUME '(' cb_terms ')';
cb_send_statement:
SEND /* port_identifier */ IDENTIFIER
| SEND /* port_identifier */ IDENTIFIER '(' cb_terms ')';
cb_receive_statement:
RECEIVE /* port_identifier */ IDENTIFIER
| RECEIVE /* port_identifier */ IDENTIFIER '(' cb_terms ')';
cb_terms:
cb_term
| cb_terms ',' cb_term;
cb_actions:
'{' cb_action_b '}'
| /* void */;
cb_action_b:
cb_action
| cb_action_b ';' cb_action;
cb_action:
COMPUTATION '(' cb_time_range ')'
| COMPUTATION '(' cb_time_expression ')'
| DELAY '(' cb_time_range ')'
| DELAY '(' cb_time_expression ')'
| PERIODIC_WAIT
| STOP
| SKIP
| cotre_expression ASSIGN cotre_expression
/*| cb_transition_model*/;
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 32/45
cb_guard: cotre_expression;
cb_time_expression: cotre_expression;
cb_term: cotre_expression;
cb_time_range:
cb_time_expression ',' cb_time_expression;
/*------------------------------------------------------------------*/
/*-- Property */
/*------------------------------------------------------------------*/
/* property_set ::=
property set defining_-property_set_identifier is
{ property_type_declaration | property_name_declaration }+
end defining_property_set_identifier ;
*/
property_set:
PROPERTY SET defining_property_set_identifier IS
property_set_internals
END defining_property_set_identifier ';';
property_set_internals:
property_set_internals property_xxxx_declaration
| property_xxxx_declaration;
property_xxxx_declaration:
property_name_declaration
| property_type_declaration;
/* property_type_declaration ::=
defining_property_type_identifier_list : type property_type ;
*/
property_type_declaration:
/*defining_property_type_*/ identifier_list ':' TYPE property_type ';';
/* property_type ::=
boolean | string
| enumeration_type | units_type
| number_type | range_type
| classifier_type
| component_property_type
*/
property_type:
BOOLEAN
| STRING
| enumeration_type
| units_type
| number_type
| range_type
| classifier_type
| component_property_type;
/* enumeration_type ::=
enumeration ( defining_enumeration_literal_identifier
{ , defining_enumeration_literal_identifier }* )
*/
enumeration_type:
ENUMERATION '(' defining_enumeration_literal_identifiers ')';
defining_enumeration_literal_identifiers:
defining_enumeration_literal_identifiers ',' defining_enumeration_literal_identifier
| defining_enumeration_literal_identifier;
/* units_type ::=
units units_list
*/
units_type:
UNITS units_list;
/* units_list ::=
( defining_unit_identifier
{ , defining_unit_identifier => unit_identifier * numeric_literal }* )
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 33/45
*/
units_list:
'(' defining_unit_identifier ')'
| '(' defining_unit_identifier ',' defining_subunit_identifiers ')';
defining_subunit_identifiers:
defining_subunit_identifiers ',' defining_subunit_identifier
| defining_subunit_identifier;
defining_subunit_identifier:
defining_unit_identifier SET_TO unit_identifier '*' numeric_literal;
/* number_type ::=
real [ simple_range ] [ units unit_designator ]
| integer [ simple_range ] [ units unit_designator ]
*/
number_type:
REAL
| REAL simple_range
| REAL UNITS unit_designator
 
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址:航空资料4(127)