-- 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;