-- B4320022.A -- -- Grant of Unlimited Rights -- -- The Ada Conformity Assessment Authority (ACAA) 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, the ACAA -- intends to confer upon all recipients unlimited rights equal to those -- held by the ACAA. 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. THE ACAA 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. -- -- Notice -- -- The ACAA has created and maintains the Ada Conformity Assessment Test -- Suite for the purpose of conformity assessments conducted in accordance -- with the International Standard ISO/IEC 18009 - Ada: Conformity -- assessment of a language processor. This test suite should not be used -- to make claims of conformance unless used in accordance with -- ISO/IEC 18009 and any applicable ACAA procedures. --* -- -- OBJECTIVE: -- See B4320020.A. -- -- TEST DESCRIPTION: -- See B4320020.A. -- -- TEST FILES: -- This test consists of the following files: -- B4320020.A -- B4320021.A -- -> B4320022.A -- -- PASS/FAIL CRITERIA: -- See B4320020.A. -- -- CHANGE HISTORY: -- 30 Dec 19 RLB Created test. -- --! with B432002_Unrelated; with B432002.Child1; with B432002.Child2; package body B432002 is type ExtB is new B432002.Child1.Ext1 with record C3 : Integer; end record; type ExtC is new B432002.Child2.Ext3 with record C4 : Integer; end record; type ExtD is new B432002.Child2.Ext4 with record C4 : Integer; end record; type ExtE is new B432002.Child2.Ext6 with record C3 : Integer; end record; X01 : B432002.Child2.Ext3 := (B432002.Root with others => 0); -- ERROR: {7;1} -- Ext1 is a private type here. X02 : B432002.Child2.Ext3 := (B432002.Child1.Ext1 with others => 0); -- ERROR: {7;1} -- Ext3 is a private type here. X03 : B432002.Child2.Ext3 := (B432002.Root with C2 | C3 => 0); -- ERROR: {7;1} -- Ext1 is a private type here; C2 and C3 are not visible here. X04 : B432002.Child2.Ext3 := (B432002.Child1.Ext1 with C3 => 0); -- ERROR: {7;1} -- Ext3 is a private type here; C3 is not visible here. X11 : B432002.Child2.Ext4 := (B432002.Root with others => 0); -- ERROR: {7;1} -- Ext2 and Ext4 are private types here. X12 : B432002.Child2.Ext4 := (B432002_Unrelated.Ext2 with others => 0); -- ERROR: {7;1} -- Ext4 is a private type here. X13 : B432002.Child2.Ext4 := (B432002.Root with C2 | C3 => 0); -- ERROR: {7;1} -- Ext2 is a private type here; C2 and C3 are not visible here. X14 : B432002.Child2.Ext4 := (B432002_Unrelated.Ext2 with C3 => 0); -- ERROR: {7;1} -- Ext4 is a private type here; C3 is not visible here. X21 : B432002.Child2.Ext5 := (B432002.Root with others => 0); -- ERROR: {7;1} -- Ext5 is a private type here. X22 : B432002.Child2.Ext5 := (B432002.Root with C2 => 0); -- ERROR: {7;1} -- Ext5 is a private type here; C2 is not visible here. X31 : B432002.Child2.Ext6 := (B432002.Root with others => 0); -- OK. {7;1} -- Ext6 is a record type. X32 : B432002.Child2.Ext6 := (B432002.Root with C2 => 0);-- OK. {18;1} -- Root is a record type. X41 : ExtB := (B432002.Root with others => 0); -- ERROR: {18;1} -- Ext1 is a private type here. X42 : ExtB := (B432002.Child1.Ext1 with others => 0); -- OK. {18;1} -- ExtB is a record type. X51 : ExtC := (B432002.Root with others => 0); -- ERROR: {18;1} -- Ext1 and Ext3 are private types here. X52 : ExtC := (B432002.Child1.Ext1 with others => 0); -- ERROR: {18;1} -- Ext3 is a private type here. X53 : ExtC := (B432002.Child1.Ext1 with C3 | C4 => 0); -- ERROR: {18;1} -- Ext3 is a private type here; C3 is not visible here. X54 : ExtC := (B432002.Child2.Ext3 with others => 0); -- OK. {18;1} -- ExtC is a record type. X55 : ExtC := (B432002.Child2.Ext3 with C4 => 0); -- OK. {18;1} -- ExtC is a record type. X61 : ExtD := (B432002.Root with others => 0); -- ERROR: {18;1} -- Ext2 and Ext4 are private types here. X62 : ExtD := (B432002_Unrelated.Ext2 with others => 0); -- ERROR: {18;1} -- Ext4 is a private type here. X63 : ExtD := (B432002_Unrelated.Ext2 with C3 | C4 => 0);-- ERROR: {18;1} -- Ext4 is a private type here; C4 is not visible here. X64 : ExtD := (B432002.Child2.Ext4 with others => 0); -- OK. {18;1} -- ExtD is a record type. X65 : ExtD := (B432002.Child2.Ext4 with C4 => 0); -- OK. {18;1} -- ExtD is a record type. X71 : ExtE := (B432002.Root with others => 0); -- OK. {18;1} -- Ext6 and ExtE are record types here. X72 : ExtE := (B432002.Child2.Ext6 with others => 0); -- OK. {18;1} -- ExtE is a record type. X73 : ExtE := (B432002.Root with C2 | C3 => 0); -- OK. {18;1} -- Ext6 and ExtE are record types here. X74 : ExtE := (B432002.Child2.Ext6 with C3 => 0); -- OK. {18;1} -- ExtE is a record type. procedure Force_Body is begin null; -- Force this package to have (and allow) a body. end Force_Body; end B432002;