Version 1 (modified by 7 years ago) ( diff ) | ,
---|
isBACondition/9
- 'NIL'|package_name
- component_type_identifier
- 'NIL'|component_implementation_identifier
- annex identifier
- transition_identifier
- (condition) number
- 'NIL'|'ON DISPATCH'|'FROZEN'
- 'NIL'|'STOP'|'TIMEOUT'|'TIMEOUT' integer unit|OTHERWISE|logical_expression
- line number (integer)
notes:
- package_name is mandatory for AADL v2 (warning message 001)
Note:
See TracWiki
for help on using the wiki.