| -- C3A0014.A |
| -- |
| -- Grant of Unlimited Rights |
| -- |
| -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, |
| -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained |
| -- unlimited rights in the software and documentation contained herein. |
| -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making |
| -- this public release, the Government intends to confer upon all |
| -- recipients unlimited rights equal to those held by the Government. |
| -- 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 GOVERNMENT 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. |
| --* |
| -- |
| -- OBJECTIVE: |
| -- Check that if the view defined by an object declaration is aliased, |
| -- and the type of the object has discriminants, then the object is |
| -- constrained by its initial value even if its nominal subtype is |
| -- unconstrained. |
| -- |
| -- Check that the attribute A'Constrained returns True if A is a formal |
| -- out or in out parameter, or dereference thereof, and A denotes an |
| -- aliased view of an object. |
| -- |
| -- TEST DESCRIPTION: |
| -- These rules apply to objects of a record type with defaulted |
| -- discriminants, which may be unconstrained variables. If such a |
| -- variable is declared to be aliased, then it is constrained by its |
| -- initial value, and the value of the discriminant cannot be changed |
| -- for the life of the variable. |
| -- |
| -- The rules do not apply to aliased component types because if such |
| -- types are discriminated they must be constrained. |
| -- |
| -- A'Constrained returns True if A denotes a constant, value, or |
| -- constrained variable. Since aliased objects are constrained, it must |
| -- return True if the actual parameter corresponding to a formal |
| -- parameter A is an aliased object. The objective only mentions formal |
| -- parameters of mode out and in out, since parameters of mode in are |
| -- by definition constant, and would result in True anyway. |
| -- |
| -- This test declares aliased objects of a nominally unconstrained |
| -- record subtype, both with and without initialization expressions. |
| -- It also declares access values which point to such objects. It then |
| -- checks that Constraint_Error is raised if an attempt is made to |
| -- change the discriminant value of an aliased object, either directly |
| -- or via a dereference of an access value. For aliased objects, this |
| -- check is also performed for subprogram parameters of mode out. |
| -- |
| -- The test also passes aliased objects and access values which point |
| -- to such objects as actuals to subprograms and verifies, for parameter |
| -- modes out and in out, that P'Constrained returns true if P is the |
| -- corresponding formal parameter or a dereference thereof. |
| -- |
| -- Additionally, the test declares a generic package which declares a |
| -- an aliased object of a formal derived unconstrained type, which is |
| -- is initialized with the value of a formal object of that type. |
| -- procedure declared within the generic assigns a value to the object |
| -- which has the same discriminant value as the formal derived type's |
| -- ancestor type. The generic is instantiated with various actuals |
| -- for the formal object, and the procedure is called. The test verifies |
| -- that Constraint_Error is raised if the discriminant values of the |
| -- actual corresponding to the formal object and the value assigned |
| -- by the procedure are not equal. |
| -- |
| -- |
| -- CHANGE HISTORY: |
| -- 06 Dec 94 SAIC ACVC 2.0 |
| -- 16 Nov 95 SAIC ACVC 2.0.1 fixes: Corrected numerous errors. |
| -- |
| --! |
| |
| package C3A0014_0 is |
| |
| subtype Reasonable is Integer range 1..10; |
| -- Unconstrained (sub)type. |
| type UC (D: Reasonable := 2) is record -- Discriminant default. |
| S: String (1 .. D) := "Hi"; -- Default value. |
| end record; |
| |
| type AUC is access all UC; |
| |
| -- Nominal subtype is unconstrained for the following: |
| |
| Obj0 : UC; -- An unconstrained object. |
| |
| Obj1 : UC := (5, "Hello"); -- Non-aliased with initialization, |
| -- an unconstrained object. |
| |
| Obj2 : aliased UC := (5, "Hello"); -- Aliased with initialization, |
| -- a constrained object. |
| |
| Obj3 : UC renames Obj2; -- Aliased (renaming of aliased view), |
| -- a constrained object. |
| Obj4 : aliased UC; -- Aliased without initialization, Obj4 |
| -- constrained here to initial value |
| -- taken from default for type. |
| |
| Ptr1 : AUC := new UC'(Obj1); |
| Ptr2 : AUC := new UC; |
| Ptr3 : AUC := Obj3'Access; |
| Ptr4 : AUC := Obj4'Access; |
| |
| |
| procedure NP_Proc (A: out UC); |
| procedure NP_Cons (A: in out UC; B: out Boolean); |
| procedure P_Cons (A: out AUC; B: out Boolean); |
| |
| |
| generic |
| type FT is new UC; |
| FObj : in out FT; |
| package Gen is |
| F : aliased FT := FObj; -- Constrained if FT has discriminants. |
| procedure Proc; |
| end Gen; |
| |
| |
| procedure Avoid_Optimization_and_Fail ( P : UC; Msg : String ); |
| |
| |
| end C3A0014_0; |
| |
| |
| --=======================================================================-- |
| |
| with Report; |
| |
| package body C3A0014_0 is |
| |
| procedure NP_Proc (A: out UC) is |
| begin |
| A := (3, "Bye"); |
| end NP_Proc; |
| |
| procedure NP_Cons (A: in out UC; B: out Boolean) is |
| begin |
| B := A'Constrained; |
| end NP_Cons; |
| |
| procedure P_Cons (A: out AUC; B: out Boolean) is |
| begin |
| B := A.all'Constrained; |
| end P_Cons; |
| |
| |
| package body Gen is |
| |
| procedure Proc is |
| begin |
| F := (2, "Fi"); |
| end Proc; |
| |
| end Gen; |
| |
| |
| procedure Avoid_Optimization_and_Fail ( P : UC; Msg : String ) is |
| Default : UC := (1, "!"); -- Unique value. |
| begin |
| if P = Default then -- Both If branches can't do the same thing. |
| Report.Failed (Msg & ": Constraint_Error not raised"); |
| else -- Subtests should always select this path. |
| Report.Failed ("Constraint_Error not raised " & Msg); |
| end if; |
| end Avoid_Optimization_and_Fail; |
| |
| |
| end C3A0014_0; |
| |
| |
| --=======================================================================-- |
| |
| |
| with C3A0014_0; use C3A0014_0; |
| with Report; |
| |
| procedure C3A0014 is |
| begin |
| |
| Report.Test("C3A0014", "Check that if the view defined by an object " & |
| "declaration is aliased, and the type of the " & |
| "object has discriminants, then the object is " & |
| "constrained by its initial value even if its " & |
| "nominal subtype is unconstrained. Check that " & |
| "the attribute A'Constrained returns True if A " & |
| "is a formal out or in out parameter, or " & |
| "dereference thereof, and A denotes an aliased " & |
| "view of an object"); |
| |
| Non_Pointer_Block: |
| begin |
| |
| begin |
| Obj0 := (3, "Bye"); -- OK: Obj0 not constrained. |
| if Obj0 /= (3, "Bye") then |
| Report.Failed |
| ("Wrong value after aggregate assignment - Subtest 1"); |
| end if; |
| exception |
| when others => |
| Report.Failed ("Unexpected exception raised - Subtest 1"); |
| end; |
| |
| |
| begin |
| Obj1 := (3, "Bye"); -- OK: Obj1 not constrained. |
| if Obj1 /= (3, "Bye") then |
| Report.Failed |
| ("Wrong value after aggregate assignment - Subtest 2"); |
| end if; |
| exception |
| when others => |
| Report.Failed ("Unexpected exception raised - Subtest 2"); |
| end; |
| |
| |
| begin |
| Obj2 := (3, "Bye"); -- C_E: Obj2 is constrained (D=>5). |
| Avoid_Optimization_and_Fail (Obj2, "Subtest 3"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| begin |
| Obj3 := (3, "Bye"); -- C_E: Obj3 is constrained (D=>5). |
| Avoid_Optimization_and_Fail (Obj3, "Subtest 4"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| begin |
| Obj4 := (3, "Bye"); -- C_E: Obj4 is constrained (D=>2). |
| Avoid_Optimization_and_Fail (Obj4, "Subtest 5"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| exception |
| when others => Report.Failed("Unexpected exception: Non_Pointer_Block"); |
| end Non_Pointer_Block; |
| |
| |
| Pointer_Block: |
| begin |
| |
| begin |
| Ptr1.all := (3, "Bye"); -- C_E: Ptr1.all is constrained (D=>5). |
| Avoid_Optimization_and_Fail (Ptr1.all, "Subtest 6"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| begin |
| Ptr2.all := (3, "Bye"); -- C_E: Ptr2.all is constrained (D=>2). |
| Avoid_Optimization_and_Fail (Ptr2.all, "Subtest 7"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| begin |
| Ptr3.all := (3, "Bye"); -- C_E: Ptr3.all is constrained (D=>5). |
| Avoid_Optimization_and_Fail (Ptr3.all, "Subtest 8"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| begin |
| Ptr4.all := (3, "Bye"); -- C_E: Ptr4.all is constrained (D=>2). |
| Avoid_Optimization_and_Fail (Ptr4.all, "Subtest 9"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| exception |
| when others => Report.Failed("Unexpected exception: Pointer_Block"); |
| end Pointer_Block; |
| |
| |
| Subprogram_Block: |
| declare |
| Is_Constrained : Boolean; |
| begin |
| |
| begin |
| NP_Proc (Obj0); -- OK: Obj0 not constrained, can |
| if Obj0 /= (3, "Bye") then -- change discriminant value. |
| Report.Failed |
| ("Wrong value after aggregate assignment - Subtest 10"); |
| end if; |
| exception |
| when others => |
| Report.Failed ("Unexpected exception raised - Subtest 10"); |
| end; |
| |
| |
| begin |
| NP_Proc (Obj2); -- C_E: Obj2 is constrained (D=>5). |
| Avoid_Optimization_and_Fail (Obj2, "Subtest 11"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| begin |
| NP_Proc (Obj3); -- C_E: Obj3 is constrained (D=>5). |
| Avoid_Optimization_and_Fail (Obj3, "Subtest 12"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| begin |
| NP_Proc (Obj4); -- C_E: Obj4 is constrained (D=>2). |
| Avoid_Optimization_and_Fail (Obj4, "Subtest 13"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| |
| begin |
| Is_Constrained := True; |
| NP_Cons (Obj1, Is_Constrained); -- Should return False, since Obj1 |
| if Is_Constrained then -- is not constrained. |
| Report.Failed ("Wrong result from 'Constrained - Subtest 14"); |
| end if; |
| exception |
| when others => |
| Report.Failed ("Unexpected exception raised - Subtest 14"); |
| end; |
| |
| |
| begin |
| Is_Constrained := False; |
| NP_Cons (Obj2, Is_Constrained); -- Should return True, Obj2 is |
| if not Is_Constrained then -- constrained. |
| Report.Failed ("Wrong result from 'Constrained - Subtest 15"); |
| end if; |
| exception |
| when others => |
| Report.Failed ("Unexpected exception raised - Subtest 15"); |
| end; |
| |
| |
| |
| |
| begin |
| Is_Constrained := False; |
| P_Cons (Ptr2, Is_Constrained); -- Should return True, Ptr2.all |
| if not Is_Constrained then -- is constrained. |
| Report.Failed ("Wrong result from 'Constrained - Subtest 16"); |
| end if; |
| exception |
| when others => |
| Report.Failed ("Unexpected exception raised - Subtest 16"); |
| end; |
| |
| |
| begin |
| Is_Constrained := False; |
| P_Cons (Ptr3, Is_Constrained); -- Should return True, Ptr3.all |
| if not Is_Constrained then -- is constrained. |
| Report.Failed ("Wrong result from 'Constrained - Subtest 17"); |
| end if; |
| exception |
| when others => |
| Report.Failed ("Unexpected exception raised - Subtest 17"); |
| end; |
| |
| |
| exception |
| when others => Report.Failed("Exception raised in Subprogram_Block"); |
| end Subprogram_Block; |
| |
| |
| Generic_Block: |
| declare |
| |
| type NUC is new UC; |
| |
| Obj : NUC; |
| |
| |
| package Instance_A is new Gen (NUC, Obj); |
| package Instance_B is new Gen (UC, Obj2); |
| package Instance_C is new Gen (UC, Obj3); |
| package Instance_D is new Gen (UC, Obj4); |
| |
| begin |
| |
| begin |
| Instance_A.Proc; -- OK: Obj.D = 2. |
| if Instance_A.F /= (2, "Fi") then |
| Report.Failed |
| ("Wrong value after aggregate assignment - Subtest 18"); |
| end if; |
| exception |
| when others => |
| Report.Failed ("Unexpected exception raised - Subtest 18"); |
| end; |
| |
| |
| begin |
| Instance_B.Proc; -- C_E: Obj2.D = 5. |
| Avoid_Optimization_and_Fail (Obj2, "Subtest 19"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| begin |
| Instance_C.Proc; -- C_E: Obj3.D = 5. |
| Avoid_Optimization_and_Fail (Obj3, "Subtest 20"); |
| exception |
| when Constraint_Error => null; -- Exception is expected. |
| end; |
| |
| |
| begin |
| Instance_D.Proc; -- OK: Obj4.D = 2. |
| if Instance_D.F /= (2, "Fi") then |
| Report.Failed |
| ("Wrong value after aggregate assignment - Subtest 21"); |
| end if; |
| exception |
| when others => |
| Report.Failed ("Unexpected exception raised - Subtest 21"); |
| end; |
| |
| exception |
| when others => Report.Failed("Exception raised in Generic_Block"); |
| end Generic_Block; |
| |
| |
| Report.Result; |
| |
| end C3A0014; |