曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

from dataorbus_subcomponent_identifier -> only one rule kept here */
required_access_binding:
/*required_identifier SET_TO required_dataorbus_subcomponent_identifier
|*/ required_identifier SET_TO dataorbus_subcomponent_identifier
| required_identifier SET_TO /*subcomponent_identifier*/ IDENTIFIER '.' provided_dataorbus_subcomponent_
identifier;
/*------------------------------------------------------------------*/
/*-- Annexes */
/*------------------------------------------------------------------*/
/* annex_subclause ::=
annex annex_identifier is
annex_specific_language_constructs
end annex annex_identifier;
annex annex_identifier {**
annex_specific_language_constructs
**} ;
*/
/* unknown annexes (everyone by default) are discarded by the scanner */
annex_subclause:
ANNEX_UNKNOWN annex_specific_language_constructs END_ANNEX_UNKNOWN
| ANNEX_COTRE_BEHAVIOR cotre_behavior_constructs END_ANNEX_COTRE_BEHAVIOR
| ANNEX_COTRE_BEHAVIOR none_statement END_ANNEX_COTRE_BEHAVIOR
| ANNEX_COTRE_ASSUMES cotre_assumes_constructs END_ANNEX_COTRE_ASSUMES
| ANNEX_COTRE_ASSUMES none_statement END_ANNEX_COTRE_ASSUMES
| ANNEX_COTRE_GUARANTEES cotre_guarantees_constructs END_ANNEX_COTRE_GUARANTEES
| ANNEX_COTRE_GUARANTEES none_statement END_ANNEX_COTRE_GUARANTEES
| ANNEX_COTRE_TYPE cotre_type_constructs END_ANNEX_COTRE_TYPE
| ANNEX_COTRE_TYPE none_statement END_ANNEX_COTRE_TYPE
/* the following rule is covered by the scanner */
/* | ANNEX annex_identifier ANNEX_OPEN annex_specific_language_constructs ANNEX_CLOSE ';'*/;
/* annex_specification ::=
annex annex_identifier is
annex_specific_reusable_constructs
end annex annex_identifier;
annex annex_identifier {**
annex_specific_reusable_constructs
**} ;
*/
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 28/45
annex_specification:
ANNEX_UNKNOWN annex_specific_reusable_constructs END_ANNEX_UNKNOWN
| ANNEX_COTRE_BEHAVIOR cotre_behavior_constructs END_ANNEX_COTRE_BEHAVIOR
| ANNEX_COTRE_BEHAVIOR none_statement END_ANNEX_COTRE_BEHAVIOR
| ANNEX_COTRE_ASSUMES cotre_assumes_constructs END_ANNEX_COTRE_ASSUMES
| ANNEX_COTRE_ASSUMES none_statement END_ANNEX_COTRE_ASSUMES
| ANNEX_COTRE_GUARANTEES cotre_guarantees_constructs END_ANNEX_COTRE_GUARANTEES
| ANNEX_COTRE_GUARANTEES none_statement END_ANNEX_COTRE_GUARANTEES
| ANNEX_COTRE_TYPE cotre_type_constructs END_ANNEX_COTRE_TYPE
| ANNEX_COTRE_TYPE none_statement END_ANNEX_COTRE_TYPE
/* the following rule is covered by the scanner */
/* | ANNEX annex_identifier ANNEX_OPEN annex_specific_reusable_constructs ANNEX_CLOSE ';'*/;
/*------------------------------------------------------------------*/
/*-- COTRE type annex */
/*------------------------------------------------------------------*/
cotre_type_constructs:
ct_fields
| ct_type ';';
ct_fields:
IDENTIFIER ':' ct_type ';'
| ct_fields IDENTIFIER ':' ct_type ';';
ct_type:
BOOLEAN
| ct_number_type
| ARRAY ct_range OF cb_var_type
| DATA data_classifier_reference;
ct_range:
cotre_expression DOT_DOT cotre_expression;
ct_number_type:
REAL
| REAL ct_range
| REAL UNITS unit_designator
| REAL ct_range UNITS unit_designator
| INTEGER
| INTEGER ct_range
| INTEGER UNITS unit_designator
| INTEGER ct_range UNITS unit_designator;
/*------------------------------------------------------------------*/
/*-- COTRE assumes annex */
/*------------------------------------------------------------------*/
cotre_guarantees_constructs:
cotre_assumes_constructs;
/*------------------------------------------------------------------*/
/*-- COTRE assumes annex */
/*------------------------------------------------------------------*/
cotre_assumes_constructs:
cotre_assumes_constructs cotre_assumes_construct
| cotre_assumes_construct;
cotre_assumes_construct:
IDENTIFIER ':' cotre_contract
| cotre_contract
| IDENTIFIER ':' IDENTIFIER ':' string_literal /* external format contract */;
cotre_contract:
POTENTIALLY RESET ';'
| UNAVOIDABLY RESET ';'
| IS ALIVE ';'
| NO LIVELOCK ';'
| INVARIANT cotre_assumes_expression ';'
| cotre_assumes_leadsto_prefix ';'
| cotre_assumes_leadsto_prefix WITHIN cotre_assumes_expression ';'
| cotre_assumes_reachable_prefix ';'
| cotre_assumes_reachable_prefix WITHIN cotre_assumes_expression ';'
| cotre_assumes_reachable_from_prefix ';'
| cotre_assumes_reachable_from_prefix WITHIN cotre_assumes_expression ';'
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料4(125)