From: John English <je@bton.ac.uk>
Subject: Re: if statements
Date: 2000/11/08
Date: 2000-11-08T12:29:35+00:00 [thread overview]
Message-ID: <3A094717.AAF0EB30@bton.ac.uk> (raw)
In-Reply-To: 4x5O5.8364$pq3.657453@news.flash.net
Ken Garlington wrote:
>
> "John English" <je@bton.ac.uk> wrote in message
> news:3A0824BB.14ACCA12@bton.ac.uk...
> : Ken Garlington wrote:
> : > Personally, I would have gone with something more along the lines of
> : >
> : > generic
> : > type Value is private;
> : > with function ">"(A, B : Value) return Boolean is <>;
> : > procedure Homework_Assignment(A, B : in out Value);
> : >
> : > -- Exchange is defined in the Ada Reference Manual
> : > with Exchange;
> : > procedure Homework_Assignment(A, B : in out Value) is
> : > procedure Swap is new Exchange(Value);
> : > begin
> : > if A > B then
> : > Swap(A,B);
> : > end if;
> : > end Homework_Assignment;
> : >
> : > Can't you imagine how pleased the instructor will be to find out that
> the
> : > student has already mastered generics?
> :
> : Unfortunately this sort of question gets marked by an automated
> : system, so the robotic instructor in question will, I'm afraid,
> : be deeply unimpressed. ;-)
>
> Would it mark it as correct? If the original question was
>
> "Exercise 4.1: Write an if statement which will swap the values of
> variables A and B if necessary so that the smaller value ends up in
> A and the larger value ends up in B."
>
> I actually think my solution is a more excruciatingly correct answer,
> compared to the "obvious" solution. In particular, the types of the
> variables are not specified, so the solution shouldn't assume one - right?
The robot embeds the submitted solution in a skeletal test program
and runs it against a set of test data. The test program happens
to declare A, B and T as Integer, but that's irrelevant (any non-limited
type would do as well).
The only problem with your solution is that the question asks for
a bare statement; your solution would be embedded inside a block,
so it would fail to compile without some extra work...
-----------------------------------------------------------------
John English | mailto:je@brighton.ac.uk
Senior Lecturer | http://www.it.bton.ac.uk/staff/je
Dept. of Computing | ** NON-PROFIT CD FOR CS STUDENTS **
University of Brighton | -- see http://burks.bton.ac.uk
-----------------------------------------------------------------
next prev parent reply other threads:[~2000-11-08 0:00 UTC|newest]
Thread overview: 168+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-11-03 14:42 if statements sc297
2000-11-03 0:00 ` David Starner
2000-11-07 0:00 ` John English
2000-11-13 0:00 ` Dale Pontius
2000-11-03 16:09 ` Larry Kilgallen
2000-11-03 0:00 ` tmoran
2000-11-03 0:00 ` Larry Kilgallen
2000-11-06 0:00 ` Brian Orpin
2000-11-03 0:00 ` David Starner
2000-11-05 0:00 ` tmoran
2000-11-06 0:00 ` David Starner
2000-11-08 0:14 ` Alejandro R. Mosteo
2000-11-08 0:00 ` Alejandro Villanueva
2000-11-08 0:00 ` Georg Bauhaus
2000-11-09 3:50 ` Ken Garlington
2000-11-07 0:00 ` John English
2000-11-07 0:00 ` John English
2000-11-08 5:22 ` Ken Garlington
2000-11-06 0:00 ` Daniel Allex
2000-11-07 0:00 ` dmitry6243
2000-11-07 0:00 ` Jean-Pierre Rosen
2000-11-08 0:00 ` dmitry6243
2000-11-07 0:00 ` Robert Dewar
2000-11-07 0:00 ` Larry Kilgallen
2000-11-08 0:00 ` Alejandro Villanueva
2000-11-08 0:00 ` Daniel Allex
2000-11-09 3:54 ` Ken Garlington
2000-11-09 5:24 ` Robert Dewar
2000-11-09 0:00 ` constants v variables (was Re: if statements) Martin Dowie
2000-11-09 0:00 ` Robert A Duff
2000-11-09 0:00 ` Robert Dewar
2000-11-09 0:00 ` Florian Weimer
2000-11-10 2:13 ` Ken Garlington
2000-11-10 5:59 ` Brian Rogoff
2000-11-09 0:00 ` Martin Dowie
2000-11-09 0:00 ` Robert Dewar
2000-11-09 0:00 ` if statements Marin David Condic
2000-11-09 0:00 ` Robert Dewar
2000-11-10 0:00 ` Larry Kilgallen
2000-11-10 1:58 ` Ken Garlington
2000-11-10 3:53 ` Robert Dewar
2000-11-09 0:00 ` Ken Garlington
2000-11-09 0:00 ` Robert Dewar
2000-11-10 0:12 ` Ehud Lamm
2000-11-10 2:09 ` Ken Garlington
2000-11-20 0:00 ` Wes Groleau
2000-11-20 0:00 ` Wes Groleau
2000-11-21 0:00 ` Robert Dewar
2000-11-22 0:00 ` Wes Groleau
2000-11-08 0:00 ` Ada student homework ? Nicolas Brunot
2000-11-08 0:00 ` Larry Kilgallen
2000-11-08 0:00 ` Nicolas Brunot
2000-11-08 0:00 ` Brian Rogoff
2000-11-09 0:00 ` Nicolas Brunot
2000-11-09 0:00 ` Robert Dewar
2000-11-10 0:08 ` Ehud Lamm
2000-11-10 0:00 ` Brian Rogoff
2000-11-08 0:00 ` Lao Xiao Hai
2000-11-09 0:00 ` Nicolas Brunot
2000-11-09 0:00 ` Lao Xiao Hai
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` Larry Kilgallen
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` Dan Nagle
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` Larry Kilgallen
2000-11-10 0:00 ` Nicolas Brunot
2000-11-11 0:00 ` Robert Dewar
2000-11-12 6:54 ` Brian Rogoff
2000-11-12 0:00 ` Robert Dewar
2000-11-11 0:00 ` Robert Dewar
2000-11-13 0:00 ` Nicolas Brunot
2000-11-13 0:00 ` Robert Dewar
2000-11-13 0:00 ` gdemont
2000-11-13 0:00 ` Ken Garlington
2000-11-13 0:00 ` gdemont
2000-11-13 0:00 ` Ada student homework ?[OS/2 Comments] tjerick
2000-11-14 0:00 ` Ada student homework ? Georg Bauhaus
2000-11-14 5:16 ` Robert Dewar
2000-11-14 0:00 ` John English
2000-11-14 0:00 ` gdemont
2000-11-14 0:00 ` Ole-Hjalmar Kristensen
2000-11-14 0:00 ` Nicolas Brunot
2000-11-15 0:00 ` Robert Dewar
2000-11-15 0:00 ` Ada student homework ? I give up Nicolas Brunot
2000-11-15 0:00 ` Robert Dewar
2000-11-13 0:00 ` Ada student homework ? Nicolas Brunot
2000-11-13 0:00 ` Pascal Obry
2000-11-14 0:00 ` dmitry6243
2000-11-15 0:00 ` Larry Kilgallen
[not found] ` <3A0FCBAD.824095C6@cadwin.cOrganization: LJK Software <5E93Ivxu6GwO@eisner.decus.org>
2000-11-18 0:00 ` Robert Dewar
2000-11-20 0:00 ` Wes Groleau
2000-11-20 0:00 ` Larry Kilgallen
2000-11-10 0:00 ` mjsilva
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` Marin David Condic
2000-11-10 0:00 ` Ole-Hjalmar Kristensen
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` David Starner
2000-11-11 0:00 ` Robert Dewar
2000-11-13 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` Randy Brukardt
2000-11-11 0:00 ` Marin David Condic
2000-11-15 0:00 ` Lao Xiao Hai
2000-11-18 0:00 ` Robert Dewar
2000-11-18 0:00 ` tmoran
2000-11-19 0:00 ` Robert Dewar
2000-11-19 0:00 ` tmoran
2000-11-19 0:00 ` Robert Dewar
2000-11-20 0:16 ` tmoran
2000-11-20 0:00 ` Portability accross compilers Nicolas Brunot
2000-11-20 0:00 ` Robert Dewar
2000-11-20 3:18 ` Ada student homework ? Robert Dewar
2000-11-20 5:55 ` tmoran
2000-11-20 0:00 ` Robert Dewar
2000-11-20 0:00 ` Wes Groleau
2000-11-19 0:00 ` Lao Xiao Hai
2000-11-11 0:00 ` Robert Dewar
2000-11-13 0:00 ` gdemont
2000-11-08 0:00 ` Chad R. Meiners
2000-11-08 0:00 ` Ted Dennison
2000-11-09 5:11 ` Robert Dewar
2000-11-18 0:00 ` John Magness
2000-11-09 5:04 ` Robert Dewar
2000-11-10 0:27 ` Subsetting Ada Ted Dennison
2000-11-08 0:00 ` Ada student homework ? Robert Dewar
2000-11-08 0:00 ` Nicolas Brunot
2000-11-08 0:00 ` Ted Dennison
2000-11-08 0:00 ` Lao Xiao Hai
2000-11-08 0:00 ` Nicolas Brunot
2000-11-08 0:00 ` Jerry Petrey
2000-11-09 0:00 ` Marin David Condic
2000-11-10 2:15 ` Ken Garlington
2000-11-10 0:00 ` Marin David Condic
2000-11-18 0:00 ` John Magness
2000-11-19 0:00 ` Robert Dewar
2000-11-19 0:00 ` Larry Kilgallen
2000-11-20 0:00 ` John English
[not found] ` <3A2827A9.B54C260@ebox.tninet.se>
[not found] ` <1dtW5.25958$6W1.1458704@news.flash.net>
2000-12-12 20:52 ` Stefan Skoglund
[not found] ` <dKo%5.144$PE5.16970@read2.inet.fi>
2000-12-19 16:36 ` election chit-chat (was Re: Ada student homework ?) Robert Dewar
2000-11-08 0:00 ` Ada student homework ? Larry Kilgallen
2000-11-08 0:00 ` Nicolas Brunot
2000-11-14 0:00 ` Ronald Cole
2000-11-07 0:00 ` if statements Wes Groleau
2000-11-08 0:00 ` John English
2000-11-08 0:00 ` Wes Groleau
2000-11-09 3:43 ` Ken Garlington
2000-11-07 0:00 ` Ken Garlington
2000-11-07 0:00 ` John English
2000-11-07 0:00 ` Robert Dewar
2000-11-08 0:00 ` John English
2000-11-08 0:00 ` Georg Bauhaus
2000-11-09 4:58 ` Robert Dewar
2000-11-09 0:00 ` John English
2000-11-09 0:00 ` Ken Garlington
2000-11-09 0:00 ` Designing test suites (was: if statements) Larry Kilgallen
2000-11-08 5:29 ` if statements Ken Garlington
2000-11-08 0:00 ` John English [this message]
2000-11-08 0:00 ` Ken Garlington
2000-11-07 0:00 ` John English
2000-11-07 0:00 ` John English
2000-11-07 0:00 ` Robert Dewar
2000-11-10 6:09 ` DJack143
2000-11-11 0:00 ` Here we go again (Was: if statements) Frank Christiny
-- strict thread matches above, loose matches on Subject: below --
2000-11-09 0:00 if statements James Hassett
2000-11-10 0:02 ` Robert Dewar
2000-11-14 0:00 Duncan Sands
2000-11-14 0:00 ` Ken Garlington
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox