wiki:aadlparser/isBAState

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

--

isBAState/7

  • 'NIL'|package_name
  • component_type_identifier
  • 'NIL'|component_implementation_identifier
  • annex identifier
  • (state) identifier
  • 'NIL'|'INITIAL'|'COMPLETE'|'FINAL'|'INITIAL COMPLETE'|'INITIAL FINAL'|'COMPLETE FINAL'|'INITIAL COMPLETE FINAL'
  • line number (integer)

notes:

  • package_name is mandatory for AADL v2 (warning message 001)
Note: See TracWiki for help on using the wiki.