-- CXA4021.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_Unbounded are available, and that they produce -- correct results. Specifically, check the subprograms Head, Index, -- Index_Non_Blank, Insert, Length, Overwrite, Replace_Slice, Slice, -- Tail, To_Wide_String, To_Unbounded_Wide_String, "*", "&", -- and "=", "<=", ">=". -- -- TEST DESCRIPTION: -- This test demonstrates the uses of many of the subprograms defined -- in package Ada.Strings.Wide_Unbounded for use with unbounded wide -- strings. -- The test attempts to simulate how unbounded wide strings could be used -- to simulate paragraphs of text. Modifications could be easily be -- performed using the provided subprograms (although in this test, the -- main modification performed was the addition of more text to the -- string). One would not have to worry about the formatting of the -- paragraph until it was finished and correct in content. Then, once -- all required editing is complete, the unbounded strings can be divided -- up into the appropriate lengths based on particular formatting -- requirements. The test then compares the formatted text product -- with a predefined "finished product". -- -- This test attempts to use a large number of the subprograms provided -- by package Ada.Strings.Wide_Unbounded. Often, the processing involved -- could have been performed more efficiently using a minimum number -- of the subprograms, in conjunction with loops, etc. However, for -- testing purposes, and in the interest of minimizing the number of -- tests developed, subprogram variety and feature mixing was stressed. -- -- -- CHANGE HISTORY: -- 06 Dec 94 SAIC ACVC 2.0 -- --! with Report; with Ada.Characters.Handling; with Ada.Strings.Wide_Maps; with Ada.Strings.Wide_Unbounded; procedure CXA4021 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 character and string parameters to simulate the use of non- -- character Wide_Characters and Wide_Strings in actual practice. -- Note: These functions do not actually return "equivalent" wide -- characters to their character inputs, just "non-character" -- wide characters. function Equiv (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 Equiv; function Equiv (Str : String) return Wide_String is WS : Wide_String(Str'First..Str'Last); begin for i in Str'First..Str'Last loop WS(i) := Equiv(Str(i)); end loop; return WS; end Equiv; begin Report.Test ("CXA4021", "Check that the subprograms defined in " & "package Ada.Strings.Wide_Unbounded are " & "available, and that they produce correct " & "results"); Test_Block: declare package ASW renames Ada.Strings.Wide_Unbounded; use type ASW.Unbounded_Wide_String; use Ada.Strings; Pamphlet_Paragraph_Count : constant := 2; Lines : constant := 4; Line_Length : constant := 40; type Document_Type is array (Positive range <>) of ASW.Unbounded_Wide_String; type Camera_Ready_Copy_Type is array (1..Lines) of Wide_String (1..Line_Length); Pamphlet : Document_Type (1..Pamphlet_Paragraph_Count); Camera_Ready_Copy : Camera_Ready_Copy_Type := (others => (others => Ada.Strings.Wide_Space)); TC_Finished_Product : Camera_Ready_Copy_Type := ( 1 => Equiv("Ada is a programming language designed "), 2 => Equiv("to support long-lived, reliable software"), 3 => Equiv(" systems. "), 4 => Equiv("Go with Ada! ")); ----- procedure Enter_Text_Into_Document (Document : in out Document_Type) is begin -- Fill in both "paragraphs" of the document. Each unbounded wide -- string functions as an individual paragraph, containing an -- unspecified number of characters. -- Use a variety of different unbounded wide string subprograms to -- load the data. Document(1) := ASW.To_Unbounded_Wide_String(Equiv("Ada is a language")); -- Insert the word "programming" prior to "language". Document(1) := ASW.Insert(Document(1), ASW.Index(Document(1), Equiv("language")), ASW.To_Wide_String(Equiv("progra") & -- Wd Str & ASW."*"(2,Equiv('m')) & -- Wd Unbd & Equiv("ing "))); -- Wd Str -- Overwrite the word "language" with "language" + additional text. Document(1) := ASW.Overwrite(Document(1), ASW.Index(Document(1), ASW.To_Wide_String( ASW.Tail(Document(1), 8, Equiv(' '))), Ada.Strings.Backward), Equiv("language designed to support long-lifed")); -- Replace the word "lifed" with "lived". Document(1) := ASW.Replace_Slice(Document(1), ASW.Index(Document(1), Equiv("lifed")), ASW.Length(Document(1)), Equiv("lived")); -- Overwrite the word "lived" with "lived" + additional text. Document(1) := ASW.Overwrite(Document(1), ASW.Index(Document(1), ASW.To_Wide_String (ASW.Tail(Document(1), 5, Equiv(' '))), Ada.Strings.Backward), Equiv("lived, reliable software systems.")); -- Use several of the overloaded versions of "&" to form this -- unbounded wide string. Document(2) := Equiv('G') & ASW.To_Unbounded_Wide_String(Equiv("o ")) & ASW.To_Unbounded_Wide_String(Equiv("with")) & Equiv(' ') & Equiv("Ada!"); end Enter_Text_Into_Document; ----- procedure Create_Camera_Ready_Copy (Document : in Document_Type; Camera_Copy : out Camera_Ready_Copy_Type) is begin -- Break the unbounded wide strings into fixed lengths. -- Search the first unbounded wide string for portions of text that -- are less than or equal to the length of a wide string in the -- Camera_Ready_Copy_Type object. Camera_Copy(1) := -- Take characters 1-39, ASW.Slice(Document(1), -- and append a blank space. 1, ASW.Index(ASW.To_Unbounded_Wide_String (ASW.Slice(Document(1), 1, Line_Length)), Ada.Strings.Wide_Maps.To_Set(Equiv(' ')), Ada.Strings.Inside, Ada.Strings.Backward)) & Equiv(' '); Camera_Copy(2) := -- Take characters 40-79. ASW.Slice(Document(1), 40, (ASW.Index_Non_Blank -- Should return 79 (ASW.To_Unbounded_Wide_String (ASW.Slice(Document(1), -- Slice (40..79) 40, 79)), Ada.Strings.Backward) + 39)); -- Increment since -- this slice starts -- at 40. Camera_Copy(3)(1..9) := ASW.Slice(Document(1), -- Characters 80-88 80, ASW.Length(Document(1))); -- Break the second unbounded wide string into the appropriate -- length. It is only twelve characters in length, so the entire -- unbounded wide string will be placed on one string of the output -- object. Camera_Copy(4)(1..ASW.Length(Document(2))) := ASW.To_Wide_String(ASW.Head(Document(2), ASW.Length(Document(2)))); end Create_Camera_Ready_Copy; ----- function Valid_Proofread (Draft, Master : Camera_Ready_Copy_Type) return Boolean is begin -- Evaluate wide strings for equality, using the operators defined -- in package Ada.Strings.Wide_Unbounded. The less than/greater -- than or equal comparisons should evaluate to "equals => True". if ASW.To_Unbounded_Wide_String(Draft(1)) = -- "="(WUnb,WUnb) ASW.To_Unbounded_Wide_String(Master(1)) and ASW.To_Unbounded_Wide_String(Draft(2)) <= -- "<="(WUnb,WUnb) ASW.To_Unbounded_Wide_String(Master(2)) and ASW.To_Unbounded_Wide_String(Draft(3)) >= -- ">="(WUnb,WUnb) ASW.To_Unbounded_Wide_String(Master(3)) and ASW.To_Unbounded_Wide_String(Draft(4)) = -- "="(WUnb,WUnb) ASW.To_Unbounded_Wide_String(Master(4)) then return True; else return False; end if; end Valid_Proofread; ----- begin -- Enter text into the unbounded wide string paragraphs of the document. Enter_Text_Into_Document (Pamphlet); -- Reformat the unbounded wide strings into fixed wide string format. Create_Camera_Ready_Copy (Document => Pamphlet, Camera_Copy => Camera_Ready_Copy); -- Verify the conversion process. if not Valid_Proofread (Draft => Camera_Ready_Copy, Master => TC_Finished_Product) then Report.Failed ("Incorrect unbounded wide string processing result"); end if; exception when others => Report.Failed ("Exception raised in Test_Block"); end Test_Block; Report.Result; end CXA4021;