Re: prohibit certain generic instantiations in Ada 2005

[matteo.bordin@gmail.com]

I agree with you that the use of generics in my example is exagerated.
But I am working on an application that requires a generic-based
approach for components (while functional code can be "encapsulated" as
classes' methods). BTW, the architecture I am working on has nothing to
do with cars or transmission.  As you said, the problem is more at the
design/analysis level but it would be nice to map it on the code. The
final aim is to produce a library that automatically checks at compile
time if it is used correctly.