wiki:aadlparser/isBAAction

isBAAction/11

  • 'NIL'|package_name
  • component_type_identifier
  • 'NIL'|component_implementation_identifier
  • annex identifier
  • transition_identifier
  • (action) number
  • 'NIL'|feature or component
  • ':='|'!'|'?'|'>>'|'!<'|'!>'|'*!<'|'*!>'|'COMPUTATION'|'IF'|'ELSE'|'ELSIF'|'END IF'|'FOR'|'FORALL'|'END FOR'|'WHILE'|'END WHILE'|'DO'|'UNTIL'|'TIMEOUT'
  • 'NIL'|'ANY'|integer unit|'('parameter_list')'|value_expression|'('value_expression')'
  • 'NIL'|';'|'&'
  • line number (integer)

notes:

  • package_name is mandatory for AADL v2 (warning message 001)
Last modified 7 years ago Last modified on 04/13/17 08:12:01
Note: See TracWiki for help on using the wiki.