-- LA200033.AM -- -- 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 LA200030.A. -- -- TEST DESCRIPTION: -- See LA200030.A. -- -- SPECIAL REQUIREMENTS: -- See LA200030.A. -- -- TEST FILES: -- This test consists of the following files: -- LA200030.A -- LA200031.A -- LA200032.A -- -> LA200033.AM -- -- PASS/FAIL CRITERIA: -- See LA200030.A. -- -- CHANGE HISTORY: -- 09 Apr 07 RLB Initial test. -- 17 Aug 07 RLB Corrected name of first unit. --! with LA20003_L; -- OPTIONAL ERROR: This unit may be inconsistent. package body LA20003_0 is procedure Init (D : in out Data) is begin D.Obj := new LA20003_L.Some_Info'(A => 'R'); end Init; procedure Do_It (D : in out Data) is begin D.Obj.A := 'B'; end Do_It; end LA20003_0; with Report; use Report; with LA20003_0; -- OPTIONAL ERROR: This unit may be inconsistent. procedure LA200033 is My_Data : LA20003_0.Data; begin Test ("LA20003","Check that an inconsistent partition may not be created"); LA20003_0.Init (My_Data); LA20003_0.Do_It (My_Data); Failed ("Inconsistent partition should not be created"); Result; end LA200033;