wiki:aadlparser/isBACondition

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)
Last modified 5 years ago Last modified on Apr 13, 2017 10:07:20 AM
Note: See TracWiki for help on using the wiki.