wiki:aadlparser/isBATransition

isBATransition/9

  • 'NIL'|package_name
  • component_type_identifier
  • 'NIL'|component_implementation_identifier
  • annex identifier
  • (transition) identifier
  • source_state_identifier
  • destination_state_identifier
  • 0|priority (integer)
  • 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:06:01 AM
Note: See TracWiki for help on using the wiki.