Re: generics in Ada 83

["REH" <spamjunk@stny.rr.com>]

Jeffrey Carter wrote:
> Then you're in good shape. 1st, define your complete generic for using
> the synchronous send feature:
>
> generic -- Client_Server_With_Synchronous_Send
>     type Header_Type is private;
>
>     -- many formal subprograms
> package Client_Server_With_Synchronous_Send is
>     procedure Op (Header : in out Header_Type);
>
>     ...
> end Client_Server_With_Synchronous_Send;
>
> then define your shorter generic:
>
> generic -- Client_Server
>     type Header_Type is private;
>
>     with function Get_Length(Header : in Header_Type) return Integer;
>
>     with procedure Set_Length(Header : in out Header_Type;
>                               Length : in Integer);
> package Client_Server is
>     -- presumably a smaller set of operations than
>     -- Client_Server_With_Synchronous_Send
>     procedure Op (Header : in out Header_Type);
>
>     ...
> end Client_Server;
>
> Now, the body of Client_Server instantiates
> Client_Server_With_Synchronous_Send and implements its operations in
> terms of Client_Server_With_Synchronous_Send's operations:
>
> with Client_Server_With_Synchronous_Send;
> package body Client_Server is
>     -- Define stub subprograms for instantiation here.
>
>     package Synchronous is new Client_Server_With_Synchronous_Send
>        (Header_Type => Header_Type,
>         Get_Length  => Get_Length,
>         Set_Length  => Set_Length, ...);
>
>     procedure Op (Header : in out Header_Type) renames Synchronous.Op;
> 
>     ...
> end Client_Server;
> 

Thank you; much appreciated.

REH