wiki:aadlparser/isBATransition

Version 1 (modified by pdissaux, 7 years ago) ( diff )

--

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)
Note: See TracWiki for help on using the wiki.