-- by30030.a -- -- Grant of Unlimited Rights -- -- AdaCore holds unlimited rights in the software and documentation -- contained herein. Unlimited rights are the same as those granted -- by the U.S. Government for older parts of the Ada Conformity -- Assessment Test Suite, and are defined in DFAR 252.227-7013(a)(19). -- By making this public release, AdaCore intends to confer upon all -- recipients unlimited rights equal to those held by the Ada Conformity -- Assessment Authority. These rights include rights to use, duplicate, -- release or disclose the released technical data and computer software -- in whole or in part, in any manner and for any purpose whatsoever, -- and to have or permit others to do so. -- -- DISCLAIMER -- -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR -- DISCLOSED ARE AS IS. ADACORE MAKES NO EXPRESS OR IMPLIED WARRANTY AS -- TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE SOFTWARE, -- DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE OR -- DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A -- PARTICULAR PURPOSE OF SAID MATERIAL. -- -------------------------------------------------------------------------- --* -- COPYRIGHT: -- AdaCore -- -- AUTHOR: -- Javier Miranda -- -- OBJECTIVE: -- Check AI-231: Check subprograms profile -- -- CHANGE HISTORY: -- 12 August 2005 Initial Version --! package BY30030 is type Tagged_Type is tagged null record; function F00 return integer; procedure F10 (Ref : access Tagged_Type); procedure F11 (Ref : not null access Tagged_Type); function F12 return access Tagged_Type; function F13 return not null access Tagged_Type; procedure F14 (Ref : access Tagged_Type); procedure F15 (Ref : access constant Tagged_Type); function F16 return access Tagged_Type; function F17 return access constant Tagged_Type; end BY30030; package body BY30030 is function F00 return float is begin return 0.0; end; procedure F10 (Ref : not null access Tagged_Type) is -- Error begin null; end F10; procedure F11 (Ref : access Tagged_Type) is -- Error begin null; end F11; function F12 return not null access Tagged_Type is -- Error begin return null; end F12; function F13 return access Tagged_Type is -- Error begin return null; end F13; procedure F14 (Ref : access constant Tagged_Type) is -- Error begin null; end; procedure F15 (Ref : access Tagged_Type) is -- Error begin null; end; function F16 return access constant Tagged_Type is -- Error begin return null; end F16; function F17 return access Tagged_Type is -- Error begin return null; end F17; end BY30030;