comp.lang.ada
 help / color / mirror / Atom feed
From: "Matthew Heaney" <mheaney@on2.com>
Subject: Re: Characters and Numerics
Date: Wed, 5 Dec 2001 14:24:08 -0500
Date: 2001-12-05T14:24:08-05:00	[thread overview]
Message-ID: <u0ssrlq8nu1k36@corp.supernews.com> (raw)
In-Reply-To: 3C0E6D91.43FEE78F@usa.com


"Wes Groleau" <wgroleau@usa.com> wrote in message
news:3C0E6D91.43FEE78F@usa.com...
> If C = 'Z' the former will raise constraint error;
> the latter will assign N a large number.

But he stated as a precondition that C is a digit character.  The algorithm
I provided is only guaranteed to satisfy its postcondition if the
precondition is satisfied.








  reply	other threads:[~2001-12-05 19:24 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-12-05 12:03 Characters and Numerics Duke Luke
2001-12-05 12:07 ` Lutz Donnerhacke
2001-12-05 12:16 ` M. A. Alves
2001-12-05 14:58   ` Matthew Heaney
2001-12-05 18:55     ` Wes Groleau
2001-12-05 19:24       ` Matthew Heaney [this message]
2001-12-05 21:27         ` Wes Groleau
2001-12-06  0:19     ` tmoran
replies disabled

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