| Version 1 (modified by , 7 years ago) ( diff ) |
|---|
isBAConditionBlock/7
- 'NIL'|package_name
- component_type_identifier
- 'NIL'|component_implementation_identifier
- annex identifier
- transition_identifier
- condition block (string)
- line number (integer)
notes:
- this predicate is not generated by aadlrev
Note:
See TracWiki
for help on using the wiki.
