wiki:aadlparser/isBACondition

Version 1 (modified by pdissaux, 9 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.