Changes between Initial Version and Version 1 of aadlparser/isBAConditionBlock


Ignore:
Timestamp:
04/13/17 08:08:09 (7 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • aadlparser/isBAConditionBlock

    v1 v1  
     1
     2'''isBAConditionBlock/7'''
     3
     4 * 'NIL'|package_name
     5 * component_type_identifier
     6 * 'NIL'|component_implementation_identifier
     7 * annex identifier
     8 * transition_identifier
     9 * condition block (string)
     10 * line number (integer)
     11
     12notes:
     13
     14 * this predicate is not generated by aadlrev