From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=BAYES_00,INVALID_MSGID,
	PP_MIME_FAKE_ASCII_TEXT,REPLYTO_WITHOUT_TO_CC autolearn=no
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,c9a546f4f1f8aff6
X-Google-Attributes: gid103376,public
From: pascalo@cln46ac.der.edfgdf.fr (Pascal OBRY)
Subject: Re: (no subject given)
Date: 1996/02/22
Message-ID: <w4ohqroabc.fsf@cln46ac.der.edfgdf.fr>#1/1
X-Deja-AN: 140627401
sender: pascalo@cln46ac.der.edfgdf.fr
references: <199602211831.TAA01734@vega.gic.tat.upm.es>
organization: EDF - Direction des Etudes et Recherches
reply-to: pascal.obry@der.edfgdf.fr
newsgroups: comp.lang.ada
Date: 1996-02-22T00:00:00+00:00
List-Id: <comp.lang.ada>


>I would like to know why the gnat sends the  message :
>  "type (Unit) must be declared abstract or Set (procedure) overrides"
>when I'm compiling the package body "Controller-p.adb";the error is detected
>in the specification, i.e., in "Controller-p.ads".

GNAT is right. you must override Set has you override Control. These
procedures are abstracts.

Set is not overrided in Controller.P. The Set in Controller.P has not the same
set of parameters (they are 2 differents procedures) :

In Controller :

   procedure Set     (Device      : in  out  Unit)  is abstract;

In Controller.P :

   procedure Set      (Device      :   in  out  Proportional_Controller;
                       Gain        :   in       Parameter);

Hope this helps,
Pascal.
-- 

--|------------------------------------------------------------
--| Pascal OBRY                               Team-Ada Member |
--|                                                           |
--| EDF-DER-IPN-SID- Ing�nierie des Syst�mes d'Informations   |
--|                                                           |
--| Bureau G1-010           e-mail: Pascal.Obry@der.edfgdf.fr |
--| 1 Av G�n�ral de Gaulle  voice : +33-1-47.65.50.91         |
--| 92141 Clamart CEDEX     fax   : +33-1-47.65.50.07         |
--| FRANCE                                                    |
--|------------------------------------------------------------
--|   "The best way to travel is by means of imagination"