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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,86865b0115f7ab4f
X-Google-Attributes: gid103376,public
From: Paul Chardon <paul.chardon@avions.aerospatiale.fr>
Subject: Re: Initialize - behaviour??
Date: 1996/11/28
Message-ID: <329D3BD7.2781E494@avions.aerospatiale.fr>#1/1
X-Deja-AN: 201189604
references: <329C601E.41C67EA6@elet.polimi.it>
to: Sergio Silva <silva@elet.polimi.it>
content-type: text/plain; charset=us-ascii
mime-version: 1.0
newsgroups: comp.lang.ada
x-mailer: Mozilla 3.0 (X11; I; SunOS 4.1.3_U1 sun4m)
Date: 1996-11-28T00:00:00+00:00
List-Id: <comp.lang.ada>


Hello,

	When you use a limited controlled type, and if you want objects of this
type to be initialized automatically (respectively finalize) when they
become in scope, you must redefines the procedure Initialize
(respectively finalize), that is to say :

the follwoing initialize procedure:
 
    procedure Initialize (Watcher_object : in out Watcher_Type_Logger)is
       File_Name : String := "Logged.log";
       I : Integer :=10;
    begin
       Create(File => Watcher_object.FileOne,
              Mode => Out_File,
              Name => File_Name(1..I));
    exception when others => Put_Line("WATCHER initialize logger");
    end Initialize;

and do the same for the procedure finalize. (See LRM 7.6 (2))

Is that your problem ? Hope so, Paul.