| | 1 | |
| | 2 | '''isConnection2/11''' |
| | 3 | |
| | 4 | * 'NIL'|'DATA'|'SUBPROGRAM'|'SUBPROGRAM GROUP'|'BUS'|'VIRTUAL BUS' |
| | 5 | * 'NIL'|'FEATURE'|'PORT'|'FEATURE GROUP'|'ACCESS'|'PARAMETER' |
| | 6 | * 'NIL'|package_name |
| | 7 | * component_type_identifier |
| | 8 | * component_implementation_identifier |
| | 9 | * (connection) identifier |
| | 10 | * source_reference |
| | 11 | * '->>'|'->'|'<->' |
| | 12 | * destination_reference |
| | 13 | * 'NIL'|'REFINED TO' |
| | 14 | * line number (integer) |
| | 15 | |
| | 16 | notes: |
| | 17 | |
| | 18 | * extension of isConnection/10 with an additional parameter indicating the access_kind when the connection_kind is set on ACCESS |
| | 19 | * package_name is mandatory for AADL v2 (warning message 001) |
| | 20 | * delayed connection symbol ->> is not allowed for AADL v2 (warning message 010) |
| | 21 | * first parameter must not be NIL if the second parameter is set on ACCESS |
| | 22 | * second parameter must not be NIL for AADL v2.1 (warning message 020) |
| | 23 | * connection identifier is mandatory for AADL v2.1 (warning message 021) |
