diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxa/cxa5012.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cxa/cxa5012.a | 536 |
1 files changed, 0 insertions, 536 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxa5012.a b/gcc/testsuite/ada/acats/tests/cxa/cxa5012.a deleted file mode 100644 index a286fa71ed0..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxa/cxa5012.a +++ /dev/null @@ -1,536 +0,0 @@ --- CXA5012.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, for both Float_Random and Discrete_Random packages, --- the following are true: --- 1) the procedures Save and Reset can be used to save the --- specific state of a random number generator, and then restore --- the specific state to the generator following some intermediate --- generator activity. --- 2) the Function Image can be used to obtain a string --- representation of the state of a generator; and that the --- Function Value will transform a string representation of the --- state of a random number generator into the actual state object. --- 3) a call to Function Value, with a string value that is --- not the image of any generator state, is a bounded error. This --- error either raises Constraint_Error or Program_Error, or is --- accepted. (See Technical Corrigendum 1). --- --- TEST DESCRIPTION: --- This test evaluates components of the Ada.Numerics.Float_Random and --- Ada.Numerics.Discrete_Random packages. --- The first objective block of this test uses Procedure Save to --- save the particular state of a random number generator. The random --- number generator then generates a series of random numbers. The --- saved state variable is then used to reset (using Procedure Reset) --- the generator back to the state it was in at the point of the call --- to Save. Random values are then generated from this restored --- generator, and compared with expected values. --- The second objective block of this test uses Function Image to --- provide a string representation of a state code. This string is --- then transformed back to a state code value, and used to reset a --- random number generator to the saved state. Random values are --- likewise generated from this restored generator, and compared with --- expected values. --- --- --- CHANGE HISTORY: --- 25 Apr 95 SAIC Initial prerelease version. --- 17 Jul 95 SAIC Incorporated reviewer comments. --- 17 Dec 97 EDS Change subtype upper limit from 100_000 to 10_000. --- 16 Sep 99 RLB Updated objective 3 for Technical Corrigendum 1 --- changes. - ---! - -with Ada.Numerics.Float_Random; -with Ada.Numerics.Discrete_Random; -with Ada.Strings.Bounded; -with ImpDef; -with Report; - -procedure CXA5012 is - -begin - - Report.Test ("CXA5012", "Check the effect of Procedures Save and " & - "Reset, and Functions Image and Value " & - "from the Ada.Numerics.Discrete_Random " & - "and Float_Random packages"); - - Test_Block: - declare - - use Ada.Numerics, Ada.Strings.Bounded; - - -- Declare an integer subtype and an enumeration subtype, and use them - -- to instantiate the discrete random number generator generic package. - - subtype Discrete_Range is Integer range 1..10_000; - type Suit_Of_Cards is (Ace, One, Two, Three, Four, Five, Six, - Seven, Eight, Nine, Ten, Jack, Queen, King); - package Discrete_Pack is new Discrete_Random(Discrete_Range); - package Card_Pack is new Discrete_Random(Suit_Of_Cards); - - -- Declaration of random number generator objects. - - DGen_1, DGen_2 : Discrete_Pack.Generator; - EGen_1, EGen_2 : Card_Pack.Generator; - FGen_1, FGen_2 : Float_Random.Generator; - - -- Variables declared to hold random numbers over the inclusive range - -- of their corresponding type. - - DVal_1, DVal_2 : Discrete_Range; - EVal_1, EVal_2 : Suit_Of_Cards; - FVal_1, FVal_2 : Float_Random.Uniformly_Distributed; - - -- Declaration of State variables used to hold the state of the - -- random number generators. - - DState_1, DState_2 : Discrete_Pack.State; - EState_1, EState_2 : Card_Pack.State; - FState_1, FState_2 : Float_Random.State; - - -- Declaration of bounded string packages instantiated with the - -- value of Max_Image_Width constant, and bounded string variables - -- used to hold the image of random number generator states. - - package DString_Pack is - new Generic_Bounded_Length(Discrete_Pack.Max_Image_Width); - package EString_Pack is - new Generic_Bounded_Length(Card_Pack.Max_Image_Width); - package FString_Pack is - new Generic_Bounded_Length(Float_Random.Max_Image_Width); - - use DString_Pack, EString_Pack, FString_Pack; - - DString_1, DString_2 : DString_Pack.Bounded_String := - DString_Pack.Null_Bounded_String; - EString_1, EString_2 : EString_Pack.Bounded_String := - EString_Pack.Null_Bounded_String; - FString_1, FString_2 : FString_Pack.Bounded_String := - FString_Pack.Null_Bounded_String; - - -- Test variables. - - TC_Count : Natural; - TC_Discrete_Check_Failed, - TC_Enum_Check_Failed, - TC_Float_Check_Failed : Boolean := False; - TC_Seed : Integer; - - begin - - Objective_1: - -- Check that the procedures Save and Reset can be used to save the - -- specific state of a random number generator, and then restore the - -- specific state to the generator following some intermediate - -- generator activity. - declare - - First_Row : constant := 1; - Second_Row : constant := 2; - TC_Max_Values : constant := 100; - - TC_Discrete_Array : array (First_Row..Second_Row, 1..TC_Max_Values) - of Discrete_Range; - TC_Enum_Array : array (First_Row..Second_Row, 1..TC_Max_Values) - of Suit_Of_Cards; - TC_Float_Array : array (First_Row..Second_Row, 1..TC_Max_Values) - of Float_Random.Uniformly_Distributed; - begin - - -- The state of the random number generators are saved to state - -- variables using the procedure Save. - - Discrete_Pack.Save(Gen => DGen_1, To_State => DState_1); - Card_Pack.Save (Gen => EGen_1, To_State => EState_1); - Float_Random.Save (Gen => FGen_1, To_State => FState_1); - - -- Random number generators are used to fill the first half of the - -- first row of the arrays with randomly generated values. - - for i in 1..TC_Max_Values/2 loop - TC_Discrete_Array(First_Row, i) := Discrete_Pack.Random(DGen_1); - TC_Enum_Array(First_Row, i) := Card_Pack.Random(EGen_1); - TC_Float_Array(First_Row, i) := Float_Random.Random(FGen_1); - end loop; - - -- The random number generators are reset to the states saved in the - -- state variables, using the procedure Reset. - - Discrete_Pack.Reset(Gen => DGen_1, From_State => DState_1); - Card_Pack.Reset (Gen => EGen_1, From_State => EState_1); - Float_Random.Reset (Gen => FGen_1, From_State => FState_1); - - -- The same random number generators are used to fill the first half - -- of the second row of the arrays with randomly generated values. - - for i in 1..TC_Max_Values/2 loop - TC_Discrete_Array(Second_Row, i) := Discrete_Pack.Random(DGen_1); - TC_Enum_Array(Second_Row, i) := Card_Pack.Random(EGen_1); - TC_Float_Array(Second_Row, i) := Float_Random.Random(FGen_1); - end loop; - - -- Run the random number generators many times (not using results). - - for i in Discrete_Range'Range loop - DVal_1 := Discrete_Pack.Random(DGen_1); - EVal_1 := Card_Pack.Random(EGen_1); - FVal_1 := Float_Random.Random(FGen_1); - end loop; - - -- The states of the random number generators are saved to state - -- variables using the procedure Save. - - Discrete_Pack.Save(Gen => DGen_1, To_State => DState_1); - Card_Pack.Save(Gen => EGen_1, To_State => EState_1); - Float_Random.Save (Gen => FGen_1, To_State => FState_1); - - -- The last half of the first row of the arrays are filled with - -- values generated from the same random number generators. - - for i in (TC_Max_Values/2 + 1)..TC_Max_Values loop - TC_Discrete_Array(First_Row, i) := Discrete_Pack.Random(DGen_1); - TC_Enum_Array(First_Row, i) := Card_Pack.Random(EGen_1); - TC_Float_Array(First_Row, i) := Float_Random.Random(FGen_1); - end loop; - - -- The random number generators are reset to the states saved in the - -- state variables, using the procedure Reset. - - Discrete_Pack.Reset(Gen => DGen_1, From_State => DState_1); - Card_Pack.Reset(Gen => EGen_1, From_State => EState_1); - Float_Random.Reset (Gen => FGen_1, From_State => FState_1); - - -- The last half of the second row of the arrays are filled with - -- values generated from the same random number generator. - -- These values should exactly mirror the values in the last half - -- of the first row of the arrays that had been previously generated. - - for i in (TC_Max_Values/2 + 1)..TC_Max_Values loop - TC_Discrete_Array(Second_Row, i) := Discrete_Pack.Random(DGen_1); - TC_Enum_Array(Second_Row, i) := Card_Pack.Random(EGen_1); - TC_Float_Array(Second_Row, i) := Float_Random.Random(FGen_1); - end loop; - - -- Check that the values in the two rows of the arrays are identical. - - for i in 1..TC_Max_Values loop - if TC_Discrete_Array(First_Row,i) /= - TC_Discrete_Array(Second_Row,i) - then - TC_Discrete_Check_Failed := True; - exit; - end if; - end loop; - - for i in 1..TC_Max_Values loop - if TC_Enum_Array(First_Row,i) /= TC_Enum_Array(Second_Row,i) then - TC_Enum_Check_Failed := True; - exit; - end if; - end loop; - - for i in 1..TC_Max_Values loop - if TC_Float_Array(First_Row,i) /= TC_Float_Array(Second_Row,i) - then - TC_Float_Check_Failed := True; - exit; - end if; - end loop; - - if TC_Discrete_Check_Failed then - Report.Failed("Discrete random values generated following use " & - "of procedures Save and Reset were not the same"); - TC_Discrete_Check_Failed := False; - end if; - - if TC_Enum_Check_Failed then - Report.Failed("Enumeration random values generated following " & - "use of procedures Save and Reset were not the " & - "same"); - TC_Enum_Check_Failed := False; - end if; - - if TC_Float_Check_Failed then - Report.Failed("Float random values generated following use " & - "of procedures Save and Reset were not the same"); - TC_Float_Check_Failed := False; - end if; - - end Objective_1; - - - - Objective_2: - -- Check that the Function Image can be used to obtain a string - -- representation of the state of a generator. - -- Check that the Function Value will transform a string - -- representation of the state of a random number generator - -- into the actual state object. - begin - - -- Use two discrete and float random number generators to generate - -- a series of values (so that the generators are no longer in their - -- initial states, and they have generated the same number of - -- random values). - - TC_Seed := Integer(Discrete_Pack.Random(DGen_1)); - Discrete_Pack.Reset(DGen_1, TC_Seed); - Discrete_Pack.Reset(DGen_2, TC_Seed); - Card_Pack.Reset (EGen_1, TC_Seed); - Card_Pack.Reset (EGen_2, TC_Seed); - Float_Random.Reset (FGen_1, TC_Seed); - Float_Random.Reset (FGen_2, TC_Seed); - - for i in 1..1000 loop - DVal_1 := Discrete_Pack.Random(DGen_1); - DVal_2 := Discrete_Pack.Random(DGen_2); - EVal_1 := Card_Pack.Random(EGen_1); - EVal_2 := Card_Pack.Random(EGen_2); - FVal_1 := Float_Random.Random(FGen_1); - FVal_2 := Float_Random.Random(FGen_2); - end loop; - - -- Use the Procedure Save to save the states of the generators - -- to state variables. - - Discrete_Pack.Save(Gen => DGen_1, To_State => DState_1); - Discrete_Pack.Save(DGen_2, To_State => DState_2); - Card_Pack.Save (Gen => EGen_1, To_State => EState_1); - Card_Pack.Save (EGen_2, To_State => EState_2); - Float_Random.Save (FGen_1, To_State => FState_1); - Float_Random.Save (FGen_2, FState_2); - - -- Use the Function Image to produce a representation of the state - -- codes as (bounded) string objects. - - DString_1 := DString_Pack.To_Bounded_String( - Discrete_Pack.Image(Of_State => DState_1)); - DString_2 := DString_Pack.To_Bounded_String( - Discrete_Pack.Image(DState_2)); - EString_1 := EString_Pack.To_Bounded_String( - Card_Pack.Image(Of_State => EState_1)); - EString_2 := EString_Pack.To_Bounded_String( - Card_Pack.Image(EState_2)); - FString_1 := FString_Pack.To_Bounded_String( - Float_Random.Image(Of_State => FState_1)); - FString_2 := FString_Pack.To_Bounded_String( - Float_Random.Image(FState_2)); - - -- Compare the bounded string objects for equality. - - if DString_1 /= DString_2 then - Report.Failed("String values returned from Function Image " & - "depict different states of Discrete generators"); - end if; - if EString_1 /= EString_2 then - Report.Failed("String values returned from Function Image " & - "depict different states of Enumeration " & - "generators"); - end if; - if FString_1 /= FString_2 then - Report.Failed("String values returned from Function Image " & - "depict different states of Float generators"); - end if; - - -- The string representation of a state code is transformed back - -- to a state code variable using the Function Value. - - DState_1 := Discrete_Pack.Value(Coded_State => - DString_Pack.To_String(DString_1)); - EState_1 := Card_Pack.Value(EString_Pack.To_String(EString_1)); - FState_1 := Float_Random.Value(FString_Pack.To_String(FString_1)); - - -- One of the (pair of each type of ) generators is used to generate - -- a series of random values, getting them "out of synch" with the - -- specific generation sequence of the other generators. - - for i in 1..100 loop - DVal_1 := Discrete_Pack.Random(DGen_1); - EVal_1 := Card_Pack.Random(EGen_1); - FVal_1 := Float_Random.Random (FGen_1); - end loop; - - -- The "out of synch" generators are reset to the previous state they - -- had when their states were saved, and they should now have the same - -- states as the generators that did not generate the values above. - - Discrete_Pack.Reset(Gen => DGen_1, From_State => DState_1); - Card_Pack.Reset (Gen => EGen_1, From_State => EState_1); - Float_Random.Reset (Gen => FGen_1, From_State => FState_1); - - -- All generators should now be in the same state, so the - -- random values they produce should be the same. - - for i in 1..1000 loop - if Discrete_Pack.Random(DGen_1) /= Discrete_Pack.Random(DGen_2) - then - TC_Discrete_Check_Failed := True; - exit; - end if; - end loop; - - for i in 1..1000 loop - if Card_Pack.Random(EGen_1) /= Card_Pack.Random(EGen_2) then - TC_Enum_Check_Failed := True; - exit; - end if; - end loop; - - for i in 1..1000 loop - if Float_Random.Random(FGen_1) /= Float_Random.Random(FGen_2) - then - TC_Float_Check_Failed := True; - exit; - end if; - end loop; - - if TC_Discrete_Check_Failed then - Report.Failed("Random values generated following use of " & - "procedures Image and Value were not the same " & - "for Discrete generator"); - end if; - if TC_Enum_Check_Failed then - Report.Failed("Random values generated following use of " & - "procedures Image and Value were not the same " & - "for Enumeration generator"); - end if; - if TC_Float_Check_Failed then - Report.Failed("Random values generated following use of " & - "procedures Image and Value were not the same " & - "for Float generator"); - end if; - - end Objective_2; - - - - Objective_3: - -- Check that a call to Function Value, with a string value that is - -- not the image of any generator state, is a bounded error. This - -- error either raises Constraint_Error or Program_Error, or is - -- accepted. (See Technical Corrigendum 1). - declare - Not_A_State : constant String := ImpDef.Non_State_String; - begin - - begin - DState_1 := Discrete_Pack.Value(Not_A_State); - if Not_A_State /= "**NONE**" then - Report.Failed("Exception not raised by Function " & - "Ada.Numerics.Discrete_Random.Value when " & - "provided a string input that does not " & - "represent the state of a random number " & - "generator"); - else - Report.Comment("All strings represent states for Function " & - "Ada.Numerics.Discrete_Random.Value"); - end if; - Discrete_Pack.Reset(DGen_1, DState_1); - exception - when Constraint_Error => null; -- OK, expected exception. - Report.Comment("Constraint_Error raised by Function " & - "Ada.Numerics.Discrete_Random.Value when " & - "provided a string input that does not " & - "represent the state of a random number " & - "generator"); - when Program_Error => -- OK, expected exception. - Report.Comment("Program_Error raised by Function " & - "Ada.Numerics.Discrete_Random.Value when " & - "provided a string input that does not " & - "represent the state of a random number " & - "generator"); - when others => - Report.Failed("Unexpected exception raised by Function " & - "Ada.Numerics.Discrete_Random.Value when " & - "provided a string input that does not " & - "represent the state of a random number " & - "generator"); - end; - - begin - EState_1 := Card_Pack.Value(Not_A_State); - if Not_A_State /= "**NONE**" then - Report.Failed("Exception not raised by Function " & - "Ada.Numerics.Discrete_Random.Value when " & - "provided a string input that does not " & - "represent the state of an enumeration " & - "random number generator"); - else - Report.Comment("All strings represent states for Function " & - "Ada.Numerics.Discrete_Random.Value"); - end if; - Card_Pack.Reset(EGen_1, EState_1); - exception - when Constraint_Error => null; -- OK, expected exception. - when Program_Error => null; -- OK, expected exception. - when others => - Report.Failed("Unexpected exception raised by Function " & - "Ada.Numerics.Discrete_Random.Value when " & - "provided a string input that does not " & - "represent the state of an enumeration " & - "random number generator"); - end; - - begin - FState_1 := Float_Random.Value(Not_A_State); - if Not_A_State /= "**NONE**" then - Report.Failed("Exception not raised by an " & - "instantiated version of " & - "Ada.Numerics.Float_Random.Value when " & - "provided a string input that does not " & - "represent the state of a random number " & - "generator"); - else - Report.Comment("All strings represent states for Function " & - "Ada.Numerics.Float_Random.Value"); - end if; - Float_Random.Reset(FGen_1, FState_1); - exception - when Constraint_Error => null; -- OK, expected exception. - when Program_Error => null; -- OK, expected exception. - when others => - Report.Failed("Unexpected exception raised by an " & - "instantiated version of " & - "Ada.Numerics.Float_Random.Value when " & - "provided a string input that does not " & - "represent the state of a random number " & - "generator"); - end; - - end Objective_3; - - - exception - when others => Report.Failed ("Exception raised in Test_Block"); - end Test_Block; - - Report.Result; - -end CXA5012; |