Re: Some questions on a library design

[stt@houdini.camb.inmet.com (Tucker Taft)]

Brian Rogoff (bpr@shellx.best.com) wrote:

: ...
: Also, I thought it would be cool if I could do a partial instantiation of 
: a generic package to create a new generic package with fewer parameters,
: like 

: generic package Sets is new Red_Black_Trees ( Insert_Always => False );
: generic package Multisets is new Red_Black_Trees ( Insert_Always => True );

: Am I missing something, i.e., is there a good approximation to this
: functionality in Ada?

This is most easily done by defining a new generic that internally
instantiates the generic which has more parameters.  You could make
the inner instantiation visible if you want to be able to pass it
for a formal package parameter.  Alternatively, you could create
wrappers for all of its subprograms, and mark all of these wrappers
with a pragma "inline."

: -- Brian

-Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
Intermetrics, Inc.  Burlington, MA  USA