blob: 24036f17103a9dce2b7de40b6db86eff8bd8f40f [file] [log] [blame]
-- CXA4020.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 the subprograms defined in package Ada.Strings.Wide_Bounded
-- are available, and that they produce correct results, especially under
-- conditions where truncation of the result is required. Specifically,
-- check the subprograms Overwrite (function and procedure), Delete,
-- Function Trim (blanks), Trim (Set wide characters, function and
-- procedure), Head, Tail, and Replicate (wide characters and wide
-- strings).
--
-- TEST DESCRIPTION:
-- This test, in conjunction with tests CXA4017, CXA4018, CXA4019,
-- will provide coverage of the most common usages of the functionality
-- found in the Ada.Strings.Wide_Bounded package. It deals in large part
-- with truncation effects and options. This test contains many small,
-- specific test cases, situations that are often difficult to generate
-- in large numbers in an application-based test. These cases represent
-- specific usage paradigms in-the-small.
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
-- 22 Dec 94 SAIC Changed obsolete constant to Strings.Wide_Space.
-- 13 Apr 95 SAIC Corrected certain subtest acceptance conditions.
--
--!
with Report;
with Ada.Characters.Handling;
with Ada.Strings.Wide_Bounded;
with Ada.Strings.Wide_Maps;
procedure CXA4020 is
-- The following two functions are used to translate character and string
-- values to "Wide" values. They will be applied to all the Wide_Bounded
-- subprogram parameters to simulate the use of Wide_Characters and
-- Wide_Strings in actual practice. Blanks are translated to Wide_Character
-- blanks and all other characters are translated into Wide_Characters with
-- position values 256 greater than their (narrow) character position
-- values.
function Translate (Ch : Character) return Wide_Character is
C : Character := Ch;
begin
if Ch = ' ' then
return Ada.Characters.Handling.To_Wide_Character(C);
else
return Wide_Character'Val(Character'Pos(Ch) +
Character'Pos(Character'Last) + 1);
end if;
end Translate;
function Translate (Str : String) return Wide_String is
WS : Wide_String(Str'First..Str'Last);
begin
for i in Str'First..Str'Last loop
WS(i) := Translate(Str(i));
end loop;
return WS;
end Translate;
begin
Report.Test("CXA4020", "Check that the subprograms defined in " &
"package Ada.Strings.Wide_Bounded are " &
"available, and that they produce correct " &
"results, especially under conditions where " &
"truncation of the result is required");
Test_Block:
declare
package AS renames Ada.Strings;
package ASW renames Ada.Strings.Wide_Bounded;
package Maps renames Ada.Strings.Wide_Maps;
package B10 is new ASW.Generic_Bounded_Length(Max => 10);
use type B10.Bounded_Wide_String;
Result_String : B10.Bounded_Wide_String;
Test_String : B10.Bounded_Wide_String;
AtoE_Bnd_Str : B10.Bounded_Wide_String :=
B10.To_Bounded_Wide_String(Translate("abcde"));
FtoJ_Bnd_Str : B10.Bounded_Wide_String :=
B10.To_Bounded_Wide_String(Translate("fghij"));
AtoJ_Bnd_Str : B10.Bounded_Wide_String :=
B10.To_Bounded_Wide_String(Translate("abcdefghij"));
Location : Natural := 0;
Total_Count : Natural := 0;
CD_Set : Maps.Wide_Character_Set := Maps.To_Set(Translate("cd"));
XY_Set : Maps.Wide_Character_Set := Maps.To_Set(Translate("xy"));
begin
-- Function Overwrite with Truncation
-- Drop = Error (Default).
begin
Test_String := AtoJ_Bnd_Str;
Result_String :=
B10.Overwrite(Source => Test_String, -- "abcdefghij"
Position => 9,
New_Item => Translate("xyz"),
Drop => AS.Error);
Report.Failed("Exception not raised by Function Overwrite");
exception
when AS.Length_Error => null; -- Expected exception raised.
when others =>
Report.Failed("Incorrect exception raised by Function Overwrite");
end;
-- Drop = Left
Result_String :=
B10.Overwrite(Source => Test_String, -- "abcdefghij"
Position => B10.Length(Test_String), -- 10
New_Item => Translate("xyz"),
Drop => Ada.Strings.Left);
if B10.To_Wide_String(Result_String) /=
Translate("cdefghixyz") then -- drop a,b
Report.Failed
("Incorrect result from Function Overwrite, Drop = Left");
end if;
-- Drop = Right
Result_String := B10.Overwrite(Test_String, -- "abcdefghij"
3,
Translate("xxxyyyzzz"),
Ada.Strings.Right);
if B10.To_Wide_String(Result_String) /=
Translate("abxxxyyyzz")
then
Report.Failed
("Incorrect result from Function Overwrite, Drop = Right");
end if;
-- Additional cases of function Overwrite.
if B10.Overwrite(B10.To_Bounded_Wide_String(Translate("a")),
1, -- Source length = 1
Translate(" abc ")) /=
B10.To_Bounded_Wide_String(Translate(" abc ")) or
B10.Overwrite(B10.Null_Bounded_Wide_String, -- Null source
1,
Translate("abcdefghij")) /=
AtoJ_Bnd_Str or
B10.Overwrite(AtoE_Bnd_Str,
B10.To_Wide_String(AtoE_Bnd_Str)'First,
Translate(" ")) /= -- New_Item = 1
B10.To_Bounded_Wide_String(Translate(" bcde"))
then
Report.Failed("Incorrect result from Function Overwrite");
end if;
-- Procedure Overwrite
-- Correct usage, no truncation.
Test_String := AtoE_Bnd_Str; -- "abcde"
B10.Overwrite(Test_String, 2, Translate("xyz"));
if Test_String /= B10.To_Bounded_Wide_String(Translate("axyze")) then
Report.Failed("Incorrect result from Procedure Overwrite - 1");
end if;
Test_String := B10.To_Bounded_Wide_String(Translate("abc"));
B10.Overwrite(Test_String, 2, ""); -- New_Item is null string.
if Test_String /= B10.To_Bounded_Wide_String(Translate("abc")) then
Report.Failed("Incorrect result from Procedure Overwrite - 2");
end if;
-- Drop = Error (Default).
begin
Test_String := AtoJ_Bnd_Str;
B10.Overwrite(Source => Test_String, -- "abcdefghij"
Position => 8,
New_Item => Translate("uvwxyz"));
Report.Failed("Exception not raised by Procedure Overwrite");
exception
when AS.Length_Error => null; -- Expected exception raised.
when others =>
Report.Failed("Incorrect exception raised by Procedure Overwrite");
end;
-- Drop = Left
Test_String := AtoJ_Bnd_Str;
B10.Overwrite(Source => Test_String, -- "abcdefghij"
Position => B10.Length(Test_String) - 2, -- 8
New_Item => Translate("uvwxyz"),
Drop => Ada.Strings.Left);
if B10.To_Wide_String(Test_String) /=
Translate("defguvwxyz")
then
Report.Failed
("Incorrect result from Procedure Overwrite, Drop = Left");
end if;
-- Drop = Right
Test_String := AtoJ_Bnd_Str;
B10.Overwrite(Test_String, -- "abcdefghij"
3,
Translate("xxxyyyzzz"),
Ada.Strings.Right);
if B10.To_Wide_String(Test_String) /= Translate("abxxxyyyzz") then
Report.Failed
("Incorrect result from Procedure Overwrite, Drop = Right");
end if;
-- Function Delete
if B10.Delete(Source => AtoJ_Bnd_Str, -- "abcdefghij"
From => 3,
Through => 8) /=
B10."&"(B10.Head(AtoJ_Bnd_Str, 2),
B10.Tail(AtoJ_Bnd_Str, 2)) or
B10.Delete(AtoJ_Bnd_Str, 6, B10.Length(AtoJ_Bnd_Str)) /=
AtoE_Bnd_Str or
B10.Delete(AtoJ_Bnd_Str, 1, 5) /=
FtoJ_Bnd_Str
then
Report.Failed("Incorrect result from Function Delete - 1");
end if;
if B10.Delete(B10.To_Bounded_Wide_String(Translate("a")), 1, 1) /=
B10.Null_Bounded_Wide_String or
B10.Delete(AtoE_Bnd_Str,
5,
B10.To_Wide_String(AtoE_Bnd_Str)'First) /=
AtoE_Bnd_Str or
B10.Delete(AtoE_Bnd_Str,
B10.To_Wide_String(AtoE_Bnd_Str)'Last,
B10.To_Wide_String(AtoE_Bnd_Str)'Last) /=
B10.To_Bounded_Wide_String(Translate("abcd"))
then
Report.Failed("Incorrect result from Function Delete - 2");
end if;
-- Function Trim
declare
Text : B10.Bounded_Wide_String :=
B10.To_Bounded_Wide_String(Translate("Text"));
type Bnd_Array_Type is array (1..5) of B10.Bounded_Wide_String;
Bnd_Array : Bnd_Array_Type :=
(B10.To_Bounded_Wide_String(Translate(" Text")),
B10.To_Bounded_Wide_String(Translate("Text ")),
B10.To_Bounded_Wide_String(Translate(" Text ")),
B10.To_Bounded_Wide_String(Translate("Text Text")),
B10.To_Bounded_Wide_String(Translate(" Text Text")));
begin
for i in Bnd_Array_Type'Range loop
case i is
when 4 =>
if B10.Trim(Bnd_Array(i), AS.Both) /=
Bnd_Array(i) then -- no change
Report.Failed("Incorrect result from Function Trim - 4");
end if;
when 5 =>
if B10.Trim(Bnd_Array(i), AS.Both) /=
B10."&"(Text, B10."&"(Translate(' '), Text))
then
Report.Failed("Incorrect result from Function Trim - 5");
end if;
when others =>
if B10.Trim(Bnd_Array(i), AS.Both) /= Text then
Report.Failed("Incorrect result from Function Trim - " &
Integer'Image(i));
end if;
end case;
end loop;
end;
-- Function Trim using Sets
-- Trim characters in sets from both sides of the bounded wide string.
if B10.Trim(Source => B10.To_Bounded_Wide_String(Translate("ddabbaxx")),
Left => CD_Set,
Right => XY_Set) /=
B10.To_Bounded_Wide_String(Translate("abba"))
then
Report.Failed
("Incorrect result from Fn Trim - Sets, Left & Right side - 1");
end if;
-- Ensure that the characters in the set provided as the actual to
-- parameter Right are not trimmed from the left side of the bounded
-- wide string; likewise for the opposite side. Only "cd" trimmed
-- from left side, and only "xy" trimmed from right side.
if B10.Trim(B10.To_Bounded_Wide_String(Translate("cdxyabcdxy")),
CD_Set,
XY_Set) /=
B10.To_Bounded_Wide_String(Translate("xyabcd"))
then
Report.Failed
("Incorrect result from Fn Trim - Sets, Left & Right side - 2");
end if;
-- Ensure that characters contained in the sets are not trimmed from
-- the "interior" of the bounded wide string, just the appropriate ends.
if B10.Trim(B10.To_Bounded_Wide_String(Translate("cdabdxabxy")),
CD_Set,
XY_Set) /=
B10.To_Bounded_Wide_String(Translate("abdxab"))
then
Report.Failed
("Incorrect result from Fn Trim - Sets, Left & Right side - 3");
end if;
-- Trim characters in set from right side only. No change to Left side.
if B10.Trim(B10.To_Bounded_Wide_String(Translate("abxyzddcd")),
XY_Set,
CD_Set) /=
B10.To_Bounded_Wide_String(Translate("abxyz"))
then
Report.Failed
("Incorrect result from Fn Trim - Sets, Right side");
end if;
-- Trim no characters on either side of the bounded string.
Result_String := B10.Trim(AtoJ_Bnd_Str, CD_Set, XY_Set);
if Result_String /= AtoJ_Bnd_Str then
Report.Failed("Incorrect result from Fn Trim - Sets, Neither side");
end if;
if B10.Trim(AtoE_Bnd_Str, Maps.Null_Set, Maps.Null_Set) /=
AtoE_Bnd_Str or
B10.Trim(B10.To_Bounded_Wide_String(Translate("dcddcxyyxx")),
CD_Set,
XY_Set) /=
B10.Null_Bounded_Wide_String
then
Report.Failed("Incorrect result from Function Trim");
end if;
-- Procedure Trim using Sets
-- Trim characters in sets from both sides of the bounded wide string.
Test_String := B10.To_Bounded_Wide_String(Translate("dcabbayx"));
B10.Trim(Source => Test_String,
Left => CD_Set,
Right => XY_Set);
if Test_String /= B10.To_Bounded_Wide_String(Translate("abba")) then
Report.Failed
("Incorrect result from Proc Trim - Sets, Left & Right side - 1");
end if;
-- Ensure that the characters in the set provided as the actual to
-- parameter Right are not trimmed from the left side of the bounded
-- wide string; likewise for the opposite side. Only "cd" trimmed
-- from left side, and only "xy" trimmed from right side.
Test_String := B10.To_Bounded_Wide_String(Translate("cdxyabcdxy"));
B10.Trim(Test_String, CD_Set, XY_Set);
if Test_String /= B10.To_Bounded_Wide_String(Translate("xyabcd")) then
Report.Failed
("Incorrect result from Proc Trim - Sets, Left & Right side - 2");
end if;
-- Ensure that characters contained in the sets are not trimmed from
-- the "interior" of the bounded wide string, just the appropriate ends.
Test_String := B10.To_Bounded_Wide_String(Translate("cdabdxabxy"));
B10.Trim(Test_String, CD_Set, XY_Set);
if not
(Test_String = B10.To_Bounded_Wide_String(Translate("abdxab"))) then
Report.Failed
("Incorrect result from Proc Trim - Sets, Left & Right side - 3");
end if;
-- Trim characters in set from Left side only. No change to Right side.
Test_String := B10.To_Bounded_Wide_String(Translate("cccdabxyz"));
B10.Trim(Test_String, CD_Set, XY_Set);
if Test_String /= B10.To_Bounded_Wide_String(Translate("abxyz")) then
Report.Failed
("Incorrect result from Proc Trim for Sets, Left side only");
end if;
-- Trim no characters on either side of the bounded wide string.
Test_String := AtoJ_Bnd_Str;
B10.Trim(Test_String, CD_Set, CD_Set);
if Test_String /= AtoJ_Bnd_Str then
Report.Failed("Incorrect result from Proc Trim-Sets, Neither side");
end if;
-- Function Head with Truncation
-- Drop = Error (Default).
begin
Result_String := B10.Head(Source => AtoJ_Bnd_Str, -- max length
Count => B10.Length(AtoJ_Bnd_Str) + 1,
Pad => Translate('X'));
Report.Failed("Length_Error not raised by Function Head");
exception
when AS.Length_Error => null; -- Expected exception raised.
when others =>
Report.Failed("Incorrect exception raised by Function Head");
end;
-- Drop = Left
-- Pad characters (5) are appended to the right end of the bounded
-- wide string (which is initially at its maximum length), then the
-- first five characters of the intermediate result are dropped to
-- conform to the maximum size limit of the bounded wide string (10).
Result_String :=
B10.Head(B10.To_Bounded_Wide_String(Translate("ABCDEFGHIJ")),
15,
Translate('x'),
Ada.Strings.Left);
if Result_String /=
B10.To_Bounded_Wide_String(Translate("FGHIJxxxxx"))
then
Report.Failed("Incorrect result from Function Head, Drop = Left");
end if;
-- Drop = Right
-- Pad characters (6) are appended to the left end of the bounded
-- wide string (which is initially at one less than its maximum length),
-- then the last five characters of the intermediate result are dropped
-- (which in this case are the pad characters) to conform to the
-- maximum size limit of the bounded wide string (10).
Result_String :=
B10.Head(B10.To_Bounded_Wide_String(Translate("ABCDEFGHI")),
15,
Translate('x'),
Ada.Strings.Right);
if Result_String /=
B10.To_Bounded_Wide_String(Translate("ABCDEFGHIx"))
then
Report.Failed("Incorrect result from Function Head, Drop = Right");
end if;
-- Additional cases.
if B10.Head(B10.Null_Bounded_Wide_String, 5, Translate('a')) /=
B10.To_Bounded_Wide_String(Translate("aaaaa")) or
B10.Head(AtoE_Bnd_Str,
B10.Length(AtoE_Bnd_Str)) /=
AtoE_Bnd_Str
then
Report.Failed("Incorrect result from Function Head");
end if;
-- Function Tail with Truncation
-- Drop = Error (Default Case)
begin
Result_String := B10.Tail(Source => AtoJ_Bnd_Str, -- max length
Count => B10.Length(AtoJ_Bnd_Str) + 1,
Pad => Ada.Strings.Wide_Space,
Drop => Ada.Strings.Error);
Report.Failed("Length_Error not raised by Function Tail");
exception
when AS.Length_Error => null; -- Expected exception raised.
when others =>
Report.Failed("Incorrect exception raised by Function Tail");
end;
-- Drop = Left
-- Pad characters (5) are appended to the left end of the bounded wide
-- string (which is initially at two less than its maximum length),
-- then the first three characters of the intermediate result (in this
-- case, 3 pad characters) are dropped.
Result_String :=
B10.Tail(B10.To_Bounded_Wide_String(Translate("ABCDEFGH")),
13,
Translate('x'),
Ada.Strings.Left);
if Result_String /=
B10.To_Bounded_Wide_String(Translate("xxABCDEFGH"))
then
Report.Failed("Incorrect result from Function Tail, Drop = Left");
end if;
-- Drop = Right
-- Pad characters (3) are appended to the left end of the bounded wide
-- string (which is initially at its maximum length), then the last
-- three characters of the intermediate result are dropped.
Result_String :=
B10.Tail(B10.To_Bounded_Wide_String(Translate("ABCDEFGHIJ")),
13,
Translate('x'),
Ada.Strings.Right);
if Result_String /=
B10.To_Bounded_Wide_String(Translate("xxxABCDEFG"))
then
Report.Failed("Incorrect result from Function Tail, Drop = Right");
end if;
-- Additional cases.
if B10.Tail(B10.Null_Bounded_Wide_String, 3, Translate(' ')) /=
B10.To_Bounded_Wide_String(Translate(" ")) or
B10.Tail(AtoE_Bnd_Str,
B10.To_Wide_String(AtoE_Bnd_Str)'First) /=
B10.To_Bounded_Wide_String(Translate("e"))
then
Report.Failed("Incorrect result from Function Tail");
end if;
-- Function Replicate (#, Char) with Truncation
-- Drop = Error (Default).
begin
Result_String := B10.Replicate(Count => B10.Max_Length + 5,
Item => Translate('A'),
Drop => AS.Error);
Report.Failed
("Length_Error not raised by Replicate for characters");
exception
when AS.Length_Error => null; -- Expected exception raised.
when others =>
Report.Failed
("Incorrect exception raised by Replicate for characters");
end;
-- Drop = Left, Right
-- Since this version of Replicate uses wide character parameters, the
-- result after truncation from left or right will appear the same.
-- The result will be a 10 character bounded wide string, composed of
-- 10 "Item" wide characters.
if B10.Replicate(Count => 20,
Item => Translate('A'),
Drop => Ada.Strings.Left) /=
B10.Replicate(15, Translate('A'), Ada.Strings.Right)
then
Report.Failed("Incorrect result from Replicate for characters - 1");
end if;
-- Blank-filled, 10 character bounded wide strings.
if B10.Replicate(B10.Max_Length + 1,
Translate(' '),
Drop => Ada.Strings.Left) /=
B10.Replicate(B10.Max_Length, Ada.Strings.Wide_Space)
then
Report.Failed("Incorrect result from Replicate for characters - 2");
end if;
-- Additional cases.
if B10.Replicate(0, Translate('a')) /= B10.Null_Bounded_Wide_String or
B10.Replicate(1, Translate('a')) /=
B10.To_Bounded_Wide_String(Translate("a"))
then
Report.Failed("Incorrect result from Replicate for characters - 3");
end if;
-- Function Replicate (#, String) with Truncation
-- Drop = Error (Default).
begin
Result_String := B10.Replicate(Count => 5, -- result would be 15.
Item => Translate("abc"));
Report.Failed
("Length_Error not raised by Replicate for wide strings");
exception
when AS.Length_Error => null; -- Expected exception raised.
when others =>
Report.Failed
("Incorrect exception raised by Replicate for wide strings");
end;
-- Drop = Left
Result_String := B10.Replicate(3, Translate("abcd"), Ada.Strings.Left);
if Result_String /=
B10.To_Bounded_Wide_String(Translate("cdabcdabcd"))
then
Report.Failed
("Incorrect result from Replicate for wide strings, Drop = Left");
end if;
-- Drop = Right
Result_String := B10.Replicate(3, Translate("abcd"), Ada.Strings.Right);
if Result_String /=
B10.To_Bounded_Wide_String(Translate("abcdabcdab")) then
Report.Failed
("Incorrect result from Replicate for wide strings, Drop = Right");
end if;
-- Additional cases.
if B10.Replicate(5, Translate("X")) /=
B10.To_Bounded_Wide_String(Translate("XXXXX")) or
B10.Replicate(10, "") /=
B10.Null_Bounded_Wide_String or
B10.Replicate(0, Translate("ab")) /=
B10.Null_Bounded_Wide_String
then
Report.Failed("Incorrect result from Replicate for wide strings");
end if;
exception
when others => Report.Failed("Exception raised in Test_Block");
end Test_Block;
Report.Result;
end CXA4020;