Re: Discriminant and type extensions

["Yannick Duchêne Hibou57" <yannick_duchene@yahoo.fr>]

On 6 oct, 01:08, Adam Beneschan <a...@irvine.com> wrote:
> then take the (Discriminant => Discriminant) off the *private*
> extension declaration.  I.e.:
>
>   type Extension_Type (Discriminant : Natural) is
>      new P1.T_Type
>      with private;
>
> But leave it on the full declaration:
>
>   type Extension_Type (Discriminant : Natural) is
>      new P1.T_Type (Discriminant => Discriminant)
>      with null record;
>
> See if that works.

Yes, it works

The message was indeed about statically matching constraint


Just beside, not directly related to this topic, but related to making
things explicit, I've found an nice way to recall about abstract
methods to be implemented by derived type.

If a base type is defined in a package and it is derived in a second
package, if it leaves some abstract methods undefined (still to be
given a concrete implementation), it can be show using both the
Overriding and Abstract clauses on the same declaration.

Here is an working example :


package P1 is

   type Base_Type is
      abstract
      tagged
      private;

   procedure Abstract_Method
     (Entity : Base_Type) is
      abstract;

private

   type Base_Type is
      abstract
      tagged
      null record;

end P1;

with P1;

package P2 is

   type Derived_Type is
      abstract
      new P1.Base_Type
      with private;

   overriding procedure Abstract_Method
     (Entity : Derived_Type) is
      abstract;
   -- Recalls about the inherited abstract method.
   -- Using both “ overriding ” and “ abstract ” is
   -- handled as expected : it does not create an
   -- homonymous method and really makes reference
   -- to the inherited one, thanks to the “ overriding ”,
   -- and clearly states it has no concrete implementation
   -- thanks to the “ abstract ”.

private

   type Derived_Type is
      abstract
      new P1.Base_Type
      with null record;

end P2;