航空资料4(121)

曝光台 注意防骗 网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者

%token GOTO /* -> */
%token GROUP
%token IDENTIFIER
%token IMPLEMENTATION
%token IN
%token INFINITY
%token INHERIT
%token INITIAL_MODE
%token INTEGER
%token INTEGER_LITERAL
%token IS
%token LIST
%token LIST_SET_TO /* +=> */
%token MEMORY
%token MODE
%token MODES
%token NONE
%token OF
%token OPEN_GOTO_NEXT /* -[ */
%token ORLESS ORMORE
%token OTHERS
%token OUT
%token PACKAGE
%token PORT
%token PRIVATE
%token PROCESS
%token PROCESSOR
%token PROPERTIES
%token PROPERTY
%token PROVIDES
%token PUBLIC
%token RANGE
%token REAL
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 19/45
%token REFINED
%token REFINES
%token REQUIRES
%token SERVER
%token SET
%token SET_TO /* => */
%token STRING
%token STRING_LITERAL
%token SUBCOMPONENTS
%token SUBPROGRAM
%token SYSTEM
%token THREAD
%token TO
%token TRUE
%token TYPE
%token UNITS
%left '.'
%right NEG POS NOT
%left '*' '/' MODULO
%left '+' '-'
%left '<' '>' LTE GTE
%left EQ NEQ
%left AND
%left OR
/* COTRE extensions */
/* Contracts */
/* Assertional expressions */
%token AFTER
%token ALIVE
%token CALLED
%token FALSE
%token FROM
%token GTE
%token INVARIANT
%token LEADS
%token LIVELOCK
%token LTE
%token NEQ
%token NO
%token POTENTIALLY
%token REACHABLE
%token RESET
%token STATE
%token TRANSITION
%token TRUE
%token UNAVOIDABLY
%token WITHIN
/* Behavioral expression */
%token COMPUTATION
%token DELAY
%token FINAL
%token PERIODIC_WAIT
%token RECEIVE
%token RESUME
%token SEND
%token SKIP
%token STOP
%token TIMEOUT
%token WHEN
%token ARRAY
%token ASSIGN
%token BEFORE
%token STATES
%token TRANSITIONS
%token EXCEPTIONS
%token VARS
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 20/45
%token IMPORT
%token INITS
%token IF
%token ELSE
%token ELSIF
%token THEN
%token BRANCHING
%token OBSERVATIONAL
%token LANGUAGE
%token EQUIVALENCE
%%
/*------------------------------------------------------------------*/
/*------------------------------------------------------------------*/
/*-- AADL SPECIFICATIONS */
/*------------------------------------------------------------------*/
/*------------------------------------------------------------------*/
/*------------------------------------------------------------------*/
/*-- AADL Specifications */
/*------------------------------------------------------------------*/
/* AADL_specification ::=
{ AADL_declaration }+ */
/* add-on COTRE for file importation here */
aadl_specification:
aadl_declaration
| cotre_directive
| aadl_specification aadl_declaration
| aadl_specification cotre_directive;
cotre_directive:
IMPORT string_literal ';';
/* AADL_declaration ::=
component_classifier | package_spec | system_instance | property_set */
aadl_declaration:
component_classifier
| package_spec
| system_instance
| property_set;
/* component_classifier ::=
component_type | component_type_extension |
component_implementation | component_implementation_extension */
component_classifier:
component_type
| component_type_extension
| component_implementation
| component_implementation_extension;
/*------------------------------------------------------------------*/
/*-- Packages */
/*------------------------------------------------------------------*/
/* package_spec ::=
package defining_package_name
( public package_items [ private package_items ]
| private package_items )
end defining_package_name ;
*/
package_spec:
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 21/45
PACKAGE defining_package_name PUBLIC package_items package_property_associations END
defining_package_name ';'
| PACKAGE defining_package_name PUBLIC package_items package_property_associations PRIVATE
package_items package_property_associations END defining_package_name ';'
　
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址：航空资料4(121)