DataMuseum.dk

top - metrics - download

    Length: 1717 (0x6b5)
    Types: TextFile
    Names: »B«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Bounded_String;

package body Symbols is

    procedure Put (This_Object : Object.Reference;
                   Named : Object.Tiny_String;
                   Into : in out Table) is
    begin
        Symbols_Table.Define
           (Into, Bounded_String.Image (Named), This_Object, False);
    end Put;

    procedure Get (Object_Named : Object.Tiny_String;
                   From : Table;
                   Into : in out Object.Reference;
                   Status : out Boolean) is
    begin
        Symbols_Table.Find
           (From, Bounded_String.Image (Object_Named), Into, Status);
    end Get;

    function Exist (This_Name : Object.Tiny_String; Into : Table)
                   return Boolean is
        Success : Boolean;
        An_Object : Object.Reference;
    begin  
        Symbols_Table.Find (Into, Bounded_String.Image (This_Name),
                            An_Object, Success);
        return Success;
    end Exist;

    procedure Remove (This_Name : Object.Tiny_String; From : in out Table) is
    begin
        Symbols_Table.Undefine (From, Bounded_String.Image (This_Name));
    end Remove;

    procedure Free (This_Table : in out Table) is
    begin
        Symbols_Table.Make_Empty (This_Table);
    end Free;

    function Create return Table is
        Map : Symbols_Table.Map;
    begin
        Symbols_Table.Initialize (Map);
        return Map;
    end Create;

    function Is_Empty (This_Table : Table) return Boolean is
    begin
        return Symbols_Table.Is_Empty (This_Table);
    end Is_Empty;

    function Cardinality (Of_This_Table : Table) return Natural is
    begin
        return Symbols_Table.Cardinality (Of_This_Table);
    end Cardinality;

end Symbols;