comp.lang.ada
 help / color / mirror / Atom feed
From: John Smith <yoursurrogategod@gmail.com>
Subject: Generics crash course
Date: Thu, 15 Jan 2015 19:44:43 -0800 (PST)
Date: 2015-01-15T19:44:43-08:00	[thread overview]
Message-ID: <121014ba-309c-45a0-950a-20b5b15210c5@googlegroups.com> (raw)

Hello,

I'm going through the wikibook about Ada.  It has this example when it comes to generics:
http://wikibook-ada.sourceforge.net/html/Algorithms__binary_search__adb.htm

What I don't understand is from lines 12 to 21.  How does this work exactly?  I mean, does this somehow "connect" the overloaded < operator to the Search procedure?

Also, on line 53, if this code is ever reached, then this means that the entire application will stop executing, yes?  The procedure won't just return to the caller.

             reply	other threads:[~2015-01-16  3:44 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-01-16  3:44 John Smith [this message]
2015-01-16  5:14 ` Generics crash course Jeffrey Carter
2015-01-16  5:33 ` Dirk Heinrichs
2015-01-16  5:43 ` Niklas Holsti
2015-01-16  6:27   ` Jeffrey Carter
replies disabled

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