DataMuseum.dk

top - metrics - download

    Length: 1700 (0x6a4)
    Types: TextFile
    Names: »B«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with String_Map_Generic;
with Text_Io;
with String_Utilities;
package body Keyword is

    package Table is new String_Map_Generic (Size => 50,
                                             Range_Type => Message.Selector,
                                             Ignore_Case => True);

    The_Table : Table.Map;
    procedure Init_The_Table is
    begin  
        Table.Initialize (The_Map => The_Table);  
        for I in Message.Selector'First .. Message.Selector'Last loop
            Table.Define (The_Map => The_Table,
                          D => Message.Selector'Image (I),
                          R => I,
                          Trap_Multiples => True);
        end loop;
    end Init_The_Table;


    function Search (S : String) return Message.Selector is
        Found : Boolean := False;
        Result : Message.Selector := Message.Sans_Parametre;
    begin
        Table.Find
           (The_Map => The_Table, D => S, R => Result, Success => Found);
        return Result;
    end Search;


    procedure En_Text is
        The_Iterator : Table.Iterator;
    begin
        Table.Init (Iter => The_Iterator, The_Map => The_Table);
        while not Table.Done (The_Iterator) loop
            Text_Io.Put ("String :");
            Text_Io.Put (Table.Value (The_Iterator));
            Text_Io.Put (" ==> ");
            Text_Io.Put_Line (Item =>
                                 Message.Selector'Image
                                    (Table.Eval (The_Table,
                                                 Table.Value (The_Iterator))));

            Table.Next (Iter => The_Iterator);
        end loop;
    end En_Text;

begin
    Init_The_Table;


end Keyword;