-- cy30046.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: -- Hristian Kirtchev -- -- OBJECTIVE: -- Check AI-396 No hidden interfaces rule -- -- CHANGE HISTORY: -- 07 June 2005 Initial Version -- 07 Jan 2006 Converted into a C-Test (previously named by30026.adb) as -- suggested by Pascal Leroy. --! with Report; use Report; procedure CY30046 is package P is type Iface is interface; type Type_Implementing_Iface is new Iface with null record; type Private_Type is private; private type Private_Type is new Type_Implementing_Iface with null record; -------------------------------------------------------------------- -- Correct, the partial view is not tagged nor is deriving from -- -- a different type than the full view. -- -------------------------------------------------------------------- end P; begin Report.Test ("CY30046", "No-hidden interface rule (AI-396)"); Report.Result; end CY30046;