From: tmoran@acm.org
Subject: Re: Discriminant computation problem
Date: Tue, 16 Nov 2004 20:14:07 GMT
Date: 2004-11-16T20:14:07+00:00 [thread overview]
Message-ID: <jctmd.414466$D%.71201@attbi_s51> (raw)
In-Reply-To: 2vv4icF2pe63tU1@uni-berlin.de
More quibbling:
> type Bit_Vector (Bit_Max: Bit_Number) is
> new Ada.Finalization.Controlled with
> record
> Payload: Vector_Access;
> end record;
Since there's an access type around, Bit_Vector should be either
"limited" or there should be an Adjust to do a deep copy (or whatever).
> procedure Initialize (Vector: in out Bit_Vector) is
> begin
> Vector.Payload := new Bit_Vector_Payload'(
Is it possible for Initialize to be called more than once? (Say
by an explicit call.) If so, there should be a Free(Vector.Payload)
before assigning a "new" access value.
prev parent reply other threads:[~2004-11-16 20:14 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-11-15 1:11 Discriminant computation problem Sandro Magi
2004-11-15 3:24 ` Jim Rogers
2004-11-15 14:02 ` Sandro Magi
2004-11-15 15:16 ` Martin Krischik
2004-11-15 16:02 ` Dmitry A. Kazakov
2004-11-15 22:11 ` Nick Roberts
2004-11-15 23:25 ` tmoran
2004-11-16 20:00 ` Nick Roberts
2004-11-16 20:14 ` tmoran [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox