simonjwright / coldframe

ColdFrame generates Ada framework code and documentation from UML models.
https://simonjwright.github.io/coldframe
GNU General Public License v2.0
8 stars 1 forks source link

Specialization class is unbounded #1

Closed simonjwright closed 5 years ago

simonjwright commented 6 years ago

In a generalization relationship, the maximum number of instances of each specialization is the same as the maximum number of instances of the parent (the parent with the smallest number of instances, if multiple inheritance).

This makes a difference in the Ravenscar profile, which shouldn’t be expected to support unbounded containers.

simonjwright commented 5 years ago

Fixed in 661f3f5.