comp.lang.ada
 help / color / mirror / Atom feed
* Discriminants or Constructor Function for Limited Types
@ 2022-05-04  9:02 R R
  2022-05-04  9:40 ` Jeffrey R.Carter
                   ` (3 more replies)
  0 siblings, 4 replies; 24+ messages in thread
From: R R @ 2022-05-04  9:02 UTC (permalink / raw)


There are two ways (to my knowledge) how to initialize objects of limited types. Either the limited type has some discriminants

   type DLT (Width, Length : Positive) is tagged limited private;
   Obj : DLT (3, 5);

or I can provide a constructor function that takes corresponding parameters

   type LT (<>) is tagged limited private;
   function Make (Width, Length : Positive) return LT;
   Obj : LT := Make (3, 5);

Do you recommend one way over the other? Why? Is it possible to combine both methods (discriminants plus constructor)? 

RREE

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

end of thread, other threads:[~2022-05-10  6:18 UTC | newest]

Thread overview: 24+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-04  9:02 Discriminants or Constructor Function for Limited Types R R
2022-05-04  9:40 ` Jeffrey R.Carter
2022-05-04  9:47 ` Dmitry A. Kazakov
2022-05-04 23:49   ` Randy Brukardt
2022-05-05  6:56     ` Dmitry A. Kazakov
2022-05-06  1:53       ` Randy Brukardt
2022-05-06  8:48         ` Dmitry A. Kazakov
2022-05-07  3:26           ` Randy Brukardt
2022-05-07 14:55             ` Dmitry A. Kazakov
2022-05-08  2:32               ` Randy Brukardt
2022-05-08  8:37                 ` Dmitry A. Kazakov
2022-05-08 17:19                   ` Doctor Who
2022-05-08 18:00                     ` Dmitry A. Kazakov
2022-05-08 18:07                       ` Doctor Who
2022-05-09  8:52                       ` Niklas Holsti
2022-05-09  9:45                         ` Dmitry A. Kazakov
2022-05-09 10:19                       ` Doctor Who
2022-05-09 11:15                         ` Dmitry A. Kazakov
2022-05-09 12:05                           ` Doctor Who
2022-05-09 12:31                             ` Dmitry A. Kazakov
2022-05-10  4:48                   ` Randy Brukardt
2022-05-10  6:18                     ` Dmitry A. Kazakov
2022-05-04 15:05 ` AdaMagica
2022-05-05  9:59 ` R R

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