comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: [Q] To initialise or not.
Date: 1996/04/27
Date: 1996-04-27T00:00:00+00:00	[thread overview]
Message-ID: <dewar.830583555@schonberg> (raw)
In-Reply-To: 3180CF00.17D5@lmtas.lmco.com


Ken Garlington said

"Actually, Normalize_Scalars cannot be used to ensure that objects are
initialized before use; in fact, it definitely cannot be used to ensure
objects have _valid_ values before use!"

That's half wrong and half right. The first half is wrong, NS definitely
causes all scalars to be initialized before use. The second half is right,
it is (deliberately) not the case that NS requires valid values.

The whole idea is to guarantee predictability by initializing everything
to a known and consistent value, WITHOUT necessarily providing a valid
value on which the proram could (incorrectly) depend.





  parent reply	other threads:[~1996-04-27  0:00 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-04-25  0:00 [Q] To initialise or not JP Thornley
1996-04-26  0:00 ` Theodore E. Dennison
1996-04-26  0:00   ` Robert A Duff
1996-04-27  0:00     ` Thorsten Behrens
1996-04-28  0:00       ` Robert Dewar
1996-04-30  0:00       ` mjp
1996-05-02  0:00       ` Bob Gilbert
1996-04-26  0:00 ` Ken Garlington
1996-04-26  0:00 ` Robert I. Eachus
1996-04-26  0:00 ` Ken Garlington
1996-04-26  0:00   ` Robert A Duff
1996-04-27  0:00   ` Robert Dewar [this message]
1996-04-27  0:00     ` Robert A Duff
1996-04-27  0:00 ` Robert Dewar
replies disabled

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