comp.lang.ada
 help / color / mirror / Atom feed
* Unchecked_Deallocation with tagged types
@ 2021-04-17 21:45 DrPi
  2021-04-17 22:29 ` Rod Kay
  2021-04-18  8:21 ` Dmitry A. Kazakov
  0 siblings, 2 replies; 56+ messages in thread
From: DrPi @ 2021-04-17 21:45 UTC (permalink / raw)


Hi,

I have the following types :

    type t_Element_Record is tagged null record;
    type t_Element is access all t_Element_Record'Class;

    type t_Str_Record (Str_Length : Natural) is new t_Element_Record 
with record
       Str : String (1 .. Str_Length);
    end record;
    type t_Str is access all t_Str_Record'Class;

Do I have to create a Unchecked_Deallocation procedure for each tagged 
type or only one for the root tagged type (and the compiler manages the 
effective tagged type) ?

Nicolas

^ permalink raw reply	[flat|nested] 56+ messages in thread
* Unchecked_Deallocation with tagged types
@ 1996-11-22  0:00 Paul Burnim
  1996-11-23  0:00 ` Simon Wright
  0 siblings, 1 reply; 56+ messages in thread
From: Paul Burnim @ 1996-11-22  0:00 UTC (permalink / raw)



Hi,

I'm using my own garbage collection routine for some dynamically
allocated objects, e.g.

    type anytype;

    type anytype_ptr is access all anytype'Class;

    type anytype is tagged record
        .....
    end record;

    type r_integer is new anytype with record
        val : integer;
    end record;

my question is, if I create an unchecked_deallocation for the type
anytype, will it correctly deallocate an object of the type r_integer,
or do I need to explicitly call an unchecked_deallocation for r_integer.

e.g.

        procedure Free is new
            Unchecked_Deallocation (anytype, anytype_ptr);

     a : anytype_ptr
    begin
     a := new r_integer'(val => 1, ...)
     Free(a);
    end;

Thanks


Paul.
--
  _-_|\  Paul Burnim                                  EMAIL: paulb@cs.uq.edu.au
 /     * Computer Science Department      RM 614 - PH:3365 1181 - FAX:3365 1999
 \_.-._/ The University of Queensland                  http://www.hotdiscs.com/
      v  Australia 4072                   Home of the Kylie & SAW Mailing Lists




^ permalink raw reply	[flat|nested] 56+ messages in thread

end of thread, other threads:[~2022-04-19  5:59 UTC | newest]

Thread overview: 56+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-04-17 21:45 Unchecked_Deallocation with tagged types DrPi
2021-04-17 22:29 ` Rod Kay
2021-04-17 22:36   ` Rod Kay
2021-04-18  9:06     ` DrPi
2021-04-18  9:07     ` Jeffrey R. Carter
2021-04-18  8:21 ` Dmitry A. Kazakov
2021-04-18  8:46   ` Gautier write-only address
2021-04-18  9:09     ` Jeffrey R. Carter
2021-04-18 10:13       ` Dmitry A. Kazakov
2022-04-16  3:44         ` Thomas
2022-04-16  8:09           ` Dmitry A. Kazakov
2021-04-18 10:20       ` J-P. Rosen
2021-04-18 10:34         ` Dmitry A. Kazakov
2021-04-18 15:14           ` J-P. Rosen
2021-04-18 15:23             ` Gautier write-only address
2021-04-18 15:53               ` J-P. Rosen
2021-04-18 16:08                 ` Gautier write-only address
2022-04-16  5:00                   ` Thomas
2021-04-20 18:53               ` Randy Brukardt
2021-04-20 19:35                 ` Dmitry A. Kazakov
2022-04-18  5:51                   ` Thomas
2022-04-18  6:26                     ` Niklas Holsti
2021-04-20 20:32                 ` Jeffrey R. Carter
2021-04-20 21:10                   ` Niklas Holsti
2021-04-21  8:35                     ` Jeffrey R. Carter
2021-04-21 10:11                       ` Dmitry A. Kazakov
2021-04-24  0:49                     ` Randy Brukardt
2022-04-18  1:51                       ` Thomas
2021-04-18 16:08         ` Jeffrey R. Carter
2021-04-18  9:13   ` DrPi
2021-04-18 10:01     ` Dmitry A. Kazakov
2021-04-18 10:42       ` DrPi
2021-04-18 16:48     ` Jeffrey R. Carter
2021-04-20 15:57       ` Stephen Leake
2021-04-20 17:24         ` Jeffrey R. Carter
2021-04-20 17:34           ` Vincent Marciante
2021-04-20 20:56             ` Jeffrey R. Carter
2021-04-21 10:21               ` Vincent Marciante
2021-04-21 10:28                 ` Vincent Marciante
2021-04-21 12:13                 ` Simon Wright
2021-04-21 13:28                 ` J-P. Rosen
2021-04-22 10:21                   ` Vincent Marciante
2021-04-21 13:42                 ` Jeffrey R. Carter
2021-04-24  1:04                 ` Randy Brukardt
2022-04-12 23:25                   ` use clauses Thomas
2022-04-13  1:05                     ` Randy Brukardt
2022-04-14  2:51                       ` 25.BX944
2022-04-14  6:49                         ` Emmanuel Briot
2022-04-15  5:33                         ` Doctor Who
2022-04-19  3:53                       ` Thomas
2022-04-19  5:59                         ` Randy Brukardt
2021-04-22  8:55           ` Unchecked_Deallocation with tagged types Stephen Leake
2021-04-22 11:16             ` Jeffrey R. Carter
2021-04-22 15:49               ` Vincent Marciante
  -- strict thread matches above, loose matches on Subject: below --
1996-11-22  0:00 Paul Burnim
1996-11-23  0:00 ` Simon Wright

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox