search

saeaadl / aadlv2.1

For managing AADL V2.1 errata
0 stars 0 forks source link

package level properties and with #19

Open reteprelief opened 8 years ago

reteprelief commented 8 years ago

with clauses are in the public and private sections of packages. However, packages themselves can have properties. The standard is silent as to whether the property set of the property must be listed in the with clause and which one.

Proposal: Must be included in the with clause of the public section unless the package only has a private section, then it is the with clause of the private section.

lwrage commented 8 years ago

For implementation see osate/osate2-core#696