comp.lang.ada
 help / color / mirror / Atom feed
From: Marius Amado Alves <maa@liacc.up.pt>
To: comp.lang.ada@ada-france.org
Subject: library level required or not?
Date: Mon, 1 Mar 2004 17:17:22 +0000
Date: 2004-03-01T17:17:22+00:00	[thread overview]
Message-ID: <mailman.48.1078160769.327.comp.lang.ada@ada-france.org> (raw)

Language lawers, please help me.

I have in my notes that an object, of a type declared in package Ada or 
descendants, is not required to be defined at library level, even if the type 
is controlled. (I know I can declare unbounded strings, which are clearly 
controlled, in a 'main' procedure.)

I vaguely recall deriving this rule from the RM, but now I cannot find the 
clause. Is the rule true? By what clause?

Thanks a lot.



             reply	other threads:[~2004-03-01 17:17 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-03-01 17:17 Marius Amado Alves [this message]
2004-03-01 23:37 ` library level required or not? Randy Brukardt
2004-03-02  0:21   ` Marius Amado Alves
2004-03-02  2:31   ` Main subprogram at library level (was: library level required or not?) Jeffrey Carter
2004-03-02 22:37     ` Randy Brukardt
2004-03-03  1:21       ` Main subprogram at library level Jeffrey Carter
2004-03-03  7:54         ` Dale Stanbrough
2004-03-03 18:21         ` Randy Brukardt
2004-03-04  0:37           ` Jeffrey Carter
     [not found] <200403011717.22528.maa@liacc.up.pt>
2004-03-01 18:49 ` library level required or not? Marius Amado Alves
2004-03-01 18:41   ` Preben Randhol
2004-03-01 19:21     ` Marius Amado Alves
2004-03-01 20:17       ` Simon Wright
2004-03-01 23:32         ` Marius Amado Alves
2004-03-02  2:36         ` Robert I. Eachus
replies disabled

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