From: Laurent <daemon2@internet.lu>
Subject: Re: Problem with generic linked list package
Date: Sat, 9 Aug 2014 14:53:39 -0700 (PDT)
Date: 2014-08-09T14:53:39-07:00 [thread overview]
Message-ID: <42e0f58b-63c4-4a08-90ce-b5ddf7ebe95b@googlegroups.com> (raw)
In-Reply-To: <W4uFv.853$hf.752@fx01.iad>
>Now, suppose you have a type T for which "<" is not meaningful. You want to have
>a linked list of T, but will never use Insert_In_Order. Can you still use your
>package to do this? If not, how could you change your package to support this,
>while still providing Insert_In_Order for types with "<"?
Yes indeed if Element would be a record then insert_in_order wouldn't work as it is. Because "<" and "=" don't exist for this type. Perhaps if I compared the components of the record I would but for now I don't see how I would do that. Problem for later when I have to use my package for a real program.
Otherwise I have some procedures which just add the Element to the front/end but the list wouldn't be sorted.
"with function "<"(Left, Right : Element) return Boolean is <>; " That was introduced with Ada 2005?
Because the book I learn from is about Ada 95 and I don't remember having seen a similar construction or already forgotten. I have both versions of John Barnes (2005/2012) but for me it feels like learning to use a phone from the phone book so I prefer the Ada 95 one which uses a more practical examples to explain.
Thanks @everyone for the explanations.
Laurent
next prev parent reply other threads:[~2014-08-09 21:53 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-28 13:26 Problem with generic linked list package Laurent
2014-07-29 7:51 ` Jacob Sparre Andersen
2014-07-29 8:12 ` Laurent
2014-07-29 8:27 ` Stephen Leake
2014-07-29 15:38 ` Laurent
2014-08-07 19:07 ` Laurent
2014-08-07 19:21 ` Adam Beneschan
2014-08-07 19:25 ` Adam Beneschan
2014-08-07 22:20 ` Laurent
2014-08-07 23:35 ` Adam Beneschan
2014-08-08 4:42 ` Laurent
2014-08-09 14:32 ` Laurent
2014-08-09 14:58 ` AdaMagica
2014-08-09 15:22 ` Jeffrey Carter
2014-08-09 18:51 ` Shark8
2014-08-09 21:53 ` Laurent [this message]
2014-08-09 22:25 ` Jeffrey Carter
2014-08-10 8:22 ` Simon Wright
2014-08-10 10:45 ` Simon Wright
2014-08-10 20:20 ` Laurent
2014-08-10 21:57 ` Simon Wright
2014-08-10 23:42 ` Jeffrey Carter
2014-08-11 4:51 ` Laurent
2014-08-11 5:13 ` Jeffrey Carter
2014-08-11 7:56 ` Laurent
2014-08-07 20:37 ` Shark8
2014-08-07 22:30 ` Laurent
2014-08-07 23:22 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox