From: Pascal Ledru <pledru@cs.uah.edu>
Subject: Re: Controlled Types & GNAT 3.09
Date: 1997/03/14
Date: 1997-03-14T00:00:00+00:00 [thread overview]
Message-ID: <3329762C.7AC3@cs.uah.edu> (raw)
In-Reply-To: 5g3s2l$174@sutton.cs.columbia.edu
You may want to look at the ARM in details,
but this is what I think should happen. Somebody else may or may not
confirm.
Initialize(Foo)
Initialize(Foo)
Initialize(Foo)
Initialize(Bar)
Initialize(Foo)
Initialize(Bar)
Main Begin ---
F1 := F2
Finalize(Foo)
Adjust(Foo)
B1 := B2
Finalize(Bar)
Finalize(Foo)
Adjust(Foo)
Adjust(Bar)
Main End ---
then B1 and B2 are finalize first (see order of Finalization 7.6.1 (11)
)
Finalize(Bar)
Finalize(Foo)
Finalize(Bar)
Finalize(Foo)
Program_Error (see ARM 7.6.1(17) )
next prev parent reply other threads:[~1997-03-14 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-11 0:00 Controlled Types & GNAT 3.09 Alexander V. Konstantinou
1997-03-13 0:00 ` Robert Dewar
1997-03-14 0:00 ` Jerome Desquilbet
1997-03-14 0:00 ` Robert A Duff
1997-03-14 0:00 ` Tom Moran
1997-03-14 0:00 ` Pascal Ledru [this message]
1997-03-15 0:00 ` Alexander V. Konstantinou
1997-03-21 0:00 ` Jerome Desquilbet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox