URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cxa/] [cxa4032.a] - Rev 867
Go to most recent revision | Compare with Previous | Blame | View Log
-- CXA4032.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 procedures defined in package Ada.Strings.Unbounded
-- are available, and that they produce correct results. Specifically,
-- check the procedures Replace_Slice, Insert, Overwrite, Delete,
-- Trim (2 versions), Head, and Tail.
--
-- TEST DESCRIPTION:
-- This test demonstrates the uses of many of the procedures defined
-- in package Ada.Strings.Unbounded for use with unbounded strings.
-- The test simulates how unbounded strings could be processed in a
-- user environment, using the procedures provided in this package.
--
-- This test, when taken in conjunction with tests CXA4010, CXA4011,
-- CXA4030, and CXA4031 will constitute a test of all the functionality
-- contained in package Ada.Strings.Unbounded. This test uses a variety
-- of the procedures defined in the unbounded string package in ways
-- typical of common usage.
--
--
-- CHANGE HISTORY:
-- 02 Mar 95 SAIC Initial prerelease version.
--
--!
with Report;
with Ada.Strings;
with Ada.Strings.Maps;
with Ada.Strings.Maps.Constants;
with Ada.Strings.Unbounded;
procedure CXA4032 is
begin
Report.Test ("CXA4032", "Check that the subprograms defined in " &
"package Ada.Strings.Unbounded are available, " &
"and that they produce correct results");
Test_Block:
declare
package Unb renames Ada.Strings.Unbounded;
use Unb;
use Ada.Strings;
TC_Null_String : constant String := "";
TC_String_5 : String(1..5) := "ABCDE";
TC_Unb_String : Unb.Unbounded_String :=
Unb.To_Unbounded_String("Test String");
begin
-- Procedure Replace_Slice
begin -- Low > Source'Last+1
Unb.Replace_Slice(Source => TC_Unb_String,
Low => Unb.Length(TC_Unb_String) + 2,
High => Unb.Length(TC_Unb_String),
By => TC_String_5);
Report.Failed("Index_Error not raised by Replace_Slice when Low " &
"> Source'Last+1");
exception
when Index_Error => null; -- OK, expected exception.
when others =>
Report.Failed("Unexpected exception raised by Replace_Slice" &
"when Low > Source'Last+1");
end;
-- High >= Low
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Replace_Slice(TC_Unb_String, 5, 5, TC_String_5);
if TC_Unb_String /= Unb.To_Unbounded_String("TestABCDEString") then
Report.Failed("Incorrect results from Replace_Slice - 1");
end if;
Unb.Replace_Slice(TC_Unb_String, 1, 4, TC_String_5);
if TC_Unb_String /= Unb.To_Unbounded_String("ABCDEABCDEString") then
Report.Failed("Incorrect results from Replace_Slice - 2");
end if;
Unb.Replace_Slice(TC_Unb_String,
11,
Unb.Length(TC_Unb_String),
TC_Null_String);
if TC_Unb_String /= Unb.To_Unbounded_String("ABCDEABCDE") then
Report.Failed("Incorrect results from Replace_Slice - 3");
end if;
-- High < Low
Unb.Replace_Slice(TC_Unb_String, Low => 4, High => 1, By => "xxx");
if TC_Unb_String /= Unb.To_Unbounded_String("ABCxxxDEABCDE") then
Report.Failed("Incorrect results from Replace_Slice - 4");
end if;
Unb.Replace_Slice(TC_Unb_String, Low => 1, High => 0, By => "yyy");
if TC_Unb_String /= Unb.To_Unbounded_String("yyyABCxxxDEABCDE") then
Report.Failed("Incorrect results from Replace_Slice - 5");
end if;
Unb.Replace_Slice(TC_Unb_String,
Unb.Length(TC_Unb_String) + 1,
Unb.Length(TC_Unb_String),
By => "zzz");
if TC_Unb_String /= Unb.To_Unbounded_String("yyyABCxxxDEABCDEzzz") then
Report.Failed("Incorrect results from Replace_Slice - 6");
end if;
-- Procedure Insert
TC_Unb_String := Unb.To_Unbounded_String("Test String");
begin -- Before not in Source'First..Source'Last + 1
Unb.Insert(Source => TC_Unb_String,
Before => Unb.Length(TC_Unb_String) + 2,
New_Item => TC_String_5);
Report.Failed("Index_Error not raised by Insert when Before " &
"not in the range Source'First..Source'Last+1");
exception
when Index_Error => null; -- OK, expected exception.
when others =>
Report.Failed
("Unexpected exception raised by Insert when Before not in " &
"the range Source'First..Source'Last+1");
end;
Unb.Insert(TC_Unb_String, 1, "**");
if TC_Unb_String /= Unb.To_Unbounded_String("**Test String") then
Report.Failed("Incorrect results from Insert - 1");
end if;
Unb.Insert(TC_Unb_String, Unb.Length(TC_Unb_String)+1, "**");
if TC_Unb_String /= Unb.To_Unbounded_String("**Test String**") then
Report.Failed("Incorrect results from Insert - 2");
end if;
Unb.Insert(TC_Unb_String, 8, "---");
if TC_Unb_String /= Unb.To_Unbounded_String("**Test ---String**") then
Report.Failed("Incorrect results from Insert - 3");
end if;
Unb.Insert(TC_Unb_String, 3, TC_Null_String);
if TC_Unb_String /= Unb.To_Unbounded_String("**Test ---String**") then
Report.Failed("Incorrect results from Insert - 4");
end if;
-- Procedure Overwrite
begin -- Position not in Source'First..Source'Last + 1
Unb.Overwrite(Source => TC_Unb_String,
Position => Unb.Length(TC_Unb_String) + 2,
New_Item => TC_String_5);
Report.Failed("Index_Error not raised by Overwrite when Position " &
"not in the range Source'First..Source'Last+1");
exception
when Index_Error => null; -- OK, expected exception.
when others =>
Report.Failed
("Unexpected exception raised by Overwrite when Position not " &
"in the range Source'First..Source'Last+1");
end;
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Overwrite(Source => TC_Unb_String,
Position => 1,
New_Item => "XXXX");
if TC_Unb_String /= Unb.To_Unbounded_String("XXXX String") then
Report.Failed("Incorrect results from Overwrite - 1");
end if;
Unb.Overwrite(TC_Unb_String, Unb.Length(TC_Unb_String)+1, "**");
if TC_Unb_String /= Unb.To_Unbounded_String("XXXX String**") then
Report.Failed("Incorrect results from Overwrite - 2");
end if;
Unb.Overwrite(TC_Unb_String, 3, TC_Null_String);
if TC_Unb_String /= Unb.To_Unbounded_String("XXXX String**") then
Report.Failed("Incorrect results from Overwrite - 3");
end if;
Unb.Overwrite(TC_Unb_String, 1, "abcdefghijklmn");
if TC_Unb_String /= Unb.To_Unbounded_String("abcdefghijklmn") then
Report.Failed("Incorrect results from Overwrite - 4");
end if;
-- Procedure Delete
TC_Unb_String := Unb.To_Unbounded_String("Test String");
-- From > Through (No change to Source)
Unb.Delete(Source => TC_Unb_String,
From => Unb.Length(TC_Unb_String),
Through => Unb.Length(TC_Unb_String)-1);
if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then
Report.Failed("Incorrect results from Delete - 1");
end if;
Unb.Delete(TC_Unb_String, 1, 0);
if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then
Report.Failed("Incorrect results from Delete - 2");
end if;
-- From <= Through
Unb.Delete(TC_Unb_String, 1, 5);
if TC_Unb_String /= Unb.To_Unbounded_String("String") then
Report.Failed("Incorrect results from Delete - 3");
end if;
Unb.Delete(TC_Unb_String, 3, 3);
if TC_Unb_String /= Unb.To_Unbounded_String("Sting") then
Report.Failed("Incorrect results from Delete - 4");
end if;
-- Procedure Trim
TC_Unb_String := Unb.To_Unbounded_String("No Spaces");
Unb.Trim(Source => TC_Unb_String, Side => Ada.Strings.Both);
if TC_Unb_String /= Unb.To_Unbounded_String("No Spaces") then
Report.Failed("Incorrect results from Trim - 1");
end if;
TC_Unb_String := Unb.To_Unbounded_String(" Leading Spaces ");
Unb.Trim(TC_Unb_String, Ada.Strings.Left);
if TC_Unb_String /= Unb.To_Unbounded_String("Leading Spaces ") then
Report.Failed("Incorrect results from Trim - 2");
end if;
TC_Unb_String := Unb.To_Unbounded_String(" Ending Spaces ");
Unb.Trim(TC_Unb_String, Ada.Strings.Right);
if TC_Unb_String /= Unb.To_Unbounded_String(" Ending Spaces") then
Report.Failed("Incorrect results from Trim - 3");
end if;
TC_Unb_String :=
Unb.To_Unbounded_String(" Spaces on both ends ");
Unb.Trim(TC_Unb_String, Ada.Strings.Both);
if TC_Unb_String /=
Unb.To_Unbounded_String("Spaces on both ends")
then
Report.Failed("Incorrect results from Trim - 4");
end if;
-- Procedure Trim (with Character Set parameters)
TC_Unb_String := Unb.To_Unbounded_String("lowerCASEletters");
Unb.Trim(Source => TC_Unb_String,
Left => Ada.Strings.Maps.Constants.Lower_Set,
Right => Ada.Strings.Maps.Constants.Lower_Set);
if TC_Unb_String /= Unb.To_Unbounded_String("CASE") then
Report.Failed("Incorrect results from Trim with Sets - 1");
end if;
TC_Unb_String := Unb.To_Unbounded_String("lowerCASEletters");
Unb.Trim(TC_Unb_String,
Ada.Strings.Maps.Constants.Upper_Set,
Ada.Strings.Maps.Constants.Upper_Set);
if TC_Unb_String /= Unb.To_Unbounded_String("lowerCASEletters") then
Report.Failed("Incorrect results from Trim with Sets - 2");
end if;
TC_Unb_String := Unb.To_Unbounded_String("012abcdefghGFEDCBA789ab");
Unb.Trim(TC_Unb_String,
Ada.Strings.Maps.Constants.Hexadecimal_Digit_Set,
Ada.Strings.Maps.Constants.Hexadecimal_Digit_Set);
if TC_Unb_String /= Unb.To_Unbounded_String("ghG") then
Report.Failed("Incorrect results from Trim with Sets - 3");
end if;
-- Procedure Head
-- Count <= Source'Length
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Head(Source => TC_Unb_String,
Count => 0,
Pad => '*');
if TC_Unb_String /= Unb.Null_Unbounded_String then
Report.Failed("Incorrect results from Head - 1");
end if;
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Head(Source => TC_Unb_String,
Count => 4,
Pad => '*');
if TC_Unb_String /= Unb.To_Unbounded_String("Test") then
Report.Failed("Incorrect results from Head - 2");
end if;
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Head(Source => TC_Unb_String,
Count => Unb.Length(TC_Unb_String),
Pad => '*');
if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then
Report.Failed("Incorrect results from Head - 3");
end if;
-- Count > Source'Length
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Head(Source => TC_Unb_String,
Count => Unb.Length(TC_Unb_String) + 4,
Pad => '*');
if TC_Unb_String /= Unb.To_Unbounded_String("Test String****") then
Report.Failed("Incorrect results from Head - 4");
end if;
TC_Unb_String := Unb.Null_Unbounded_String;
Unb.Head(Source => TC_Unb_String,
Count => Unb.Length(TC_Unb_String) + 3,
Pad => '*');
if TC_Unb_String /= Unb.To_Unbounded_String("***") then
Report.Failed("Incorrect results from Head - 5");
end if;
-- Procedure Tail
-- Count <= Source'Length
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Tail(Source => TC_Unb_String,
Count => 0,
Pad => '*');
if TC_Unb_String /= Unb.Null_Unbounded_String then
Report.Failed("Incorrect results from Tail - 1");
end if;
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Tail(Source => TC_Unb_String,
Count => 6,
Pad => '*');
if TC_Unb_String /= Unb.To_Unbounded_String("String") then
Report.Failed("Incorrect results from Tail - 2");
end if;
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Tail(Source => TC_Unb_String,
Count => Unb.Length(TC_Unb_String),
Pad => '*');
if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then
Report.Failed("Incorrect results from Tail - 3");
end if;
-- Count > Source'Length
TC_Unb_String := Unb.To_Unbounded_String("Test String");
Unb.Tail(Source => TC_Unb_String,
Count => Unb.Length(TC_Unb_String) + 5,
Pad => 'x');
if TC_Unb_String /= Unb.To_Unbounded_String("xxxxxTest String") then
Report.Failed("Incorrect results from Tail - 4");
end if;
TC_Unb_String := Unb.Null_Unbounded_String;
Unb.Tail(Source => TC_Unb_String,
Count => Unb.Length(TC_Unb_String) + 3,
Pad => 'X');
if TC_Unb_String /= Unb.To_Unbounded_String("XXX") then
Report.Failed("Incorrect results from Tail - 5");
end if;
exception
when others => Report.Failed ("Exception raised in Test_Block");
end Test_Block;
Report.Result;
end CXA4032;
Go to most recent revision | Compare with Previous | Blame | View Log