saeaadl / aadlv2.2

SAE AADL core language, version 2.2
1 stars 0 forks source link

Flow feature identifier allows identifying parameters in subprogram access, but not data access features #28

Open reteprelief opened 6 years ago

reteprelief commented 6 years ago

Subprograms have two types of parameters: value parameters via the keyword parameter and reference parameters via data access.

We have:

flow_feature_identifier ::=
  feature_identifier
| feature_group_identifier
| feature_group_identifier . feature_identifier
| feature_group_identifier . feature_group_identifier
| subprogram_access_identifier . parameter_identifier

but subprogram_access_identifier . data_access_identifier is not allowed

jjhugues commented 3 years ago
jjhugues commented 3 years ago

This has been recorded in the document