DataMuseum.dk

top - download

    Length: 4176 (0x1050)
    Types: TextFile
    Names: »B«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Text_Io;  
with Umps_Defs;

package body Package_Umps_Defs is

    function Bornes (Str : String) return String is
    begin
        return "(" & Natural'Image (Str'First) & "," &
                  Natural'Image (Str'Last) & ")";
    end Bornes;

    procedure Test_Norme1 (Str1 : String; Str2 : in out String) is
        use Text_Io;
    begin
        Put (">" & Str1 & Bornes (Str1) & "< :=");
        Umps_Defs.Normalize (Str1, Str2);
        Put_Line (">" & Str2 & Bornes (Str2) & "<");
    end Test_Norme1;

    procedure Test_Normalisations is
        use Text_Io;
        The_String : Umps_Defs.String;
        The_Name   : Umps_Defs.Name;
        Chaine1_10 : String (1 .. 10);
        Chaine2_10 : String (2 .. 10);
        Chaine5_8  : String (5 .. 8);
        Chaine6_7  : String (6 .. 7);

    begin  
        Test_Norme1 ("1234567890", Chaine1_10);
        Test_Norme1 ("123456789012345", Chaine1_10);
        Test_Norme1 ("123456", Chaine1_10);
        Test_Norme1 ("", Chaine1_10);
        New_Line;

        Test_Norme1 ("123456789", Chaine2_10);
        Test_Norme1 ("123456789012345", Chaine2_10);
        Test_Norme1 ("123456", Chaine2_10);
        Test_Norme1 ("", Chaine2_10);
        New_Line;

        Test_Norme1 ("1234", Chaine5_8);
        Test_Norme1 ("1234567890", Chaine5_8);
        Test_Norme1 ("12", Chaine5_8);
        Test_Norme1 ("", Chaine5_8);
        Test_Norme1 ("34567890", Chaine5_8);
        New_Line;

        Test_Norme1 (Chaine5_8, Chaine1_10);
        Test_Norme1 (Chaine5_8, Chaine2_10);
        Test_Norme1 (Chaine5_8, Chaine5_8);
        Test_Norme1 (Chaine5_8, Chaine6_7);
        New_Line;

    end Test_Normalisations;

    procedure Test_String (Str : String) is
        use Text_Io;  
        The_String : Umps_Defs.String := Umps_Defs.Normalize (Str);
    begin
        Put_Line (Str & Bornes (Str) & " := " & String (The_String));
    end Test_String;

    procedure Test_Name (Str : String) is
        use Text_Io;  
        The_Name : Umps_Defs.Name := Umps_Defs.Normalize (Str);
    begin
        Put_Line (Str & Bornes (Str) & " := " & String (The_Name));
    end Test_Name;

    procedure Test_Normes is
        use Text_Io;
        Chaine2_10 : String (2 .. 10) := "234567890";

    begin
        Test_String ("123456789");
        Test_String ("");
        Test_String ("123456789012345678901234567890");
        Test_String ("1234567890123456789012345");
        Test_String (Chaine2_10);
        New_Line;

        Test_Name ("1234567890");
        Test_Name ("12345678901234567890");
        Test_Name ("123456789012345");
        Test_Name ("");  
        Test_Name (Chaine2_10);
        New_Line;

    end Test_Normes;

    procedure Denor_Norm_String (Str : String) is
        use Text_Io;  
        use Umps_Defs;  
        The_String : Umps_Defs.String := Normalize (Str);
    begin
        Put_Line (Str & Bornes (Str) & " := " & Denormalize (The_String) &
                  Bornes (Denormalize (The_String)));
    end Denor_Norm_String;

    procedure Denor_Norm_Name (Str : String) is
        use Text_Io;  
        use Umps_Defs;  
        The_Name : Umps_Defs.Name := Normalize (Str);
    begin
        Put_Line (Str & Bornes (Str) & " := " & Denormalize (The_Name) &
                  Bornes (Denormalize (The_Name)));
    end Denor_Norm_Name;

    procedure Test_Denor_Norm is
        use Text_Io;

    begin
        Denor_Norm_String ("");
        Denor_Norm_String ("Hello");
        Denor_Norm_String ("123456789012345678901234567890");
        Denor_Norm_String ("1234567890123456789012345");
        New_Line;

        Denor_Norm_Name ("");
        Denor_Norm_Name ("Hello");
        Denor_Norm_Name ("12345678901234567890");
        Denor_Norm_Name ("123456789012345");
        New_Line;

    end Test_Denor_Norm;

    procedure Test is
        use Text_Io;

    begin  
        New_Line;
        Put_Line ("---> Test Package Umps_defs");
        Put_Line ("-- Test Nomalisations");
        Test_Normalisations;

        Put_Line ("-- Test fonctions normes");
        Test_Normes;

        Put_Line ("-- Test denor( norm)");
        Test_Denor_Norm;
    end Test;

end Package_Umps_Defs;