DataMuseum.dk

top - metrics - download

    Length: 714 (0x2ca)
    Types: TextFile
    Names: »V«

└─⟦db1c56801⟧ Bits:30000748 8mm tape, Rational 1000, TESTMATE 2_2_0
    └─⟦866d14df1⟧ »DATA« 
        └─⟦97c804b2f⟧ 
            └─⟦this⟧ 

TextFile

with System;
package Access_String is

  type Object is private;

  function Nil return Object;

  function Convert (From : Object) return String;

  function Constructor (The_Segment : System.Segment) return Object;

  procedure Destructor (Of_Object : in out Object);

  function Constructor
            (From : String; The_Segment : System.Segment) return Object;

  function Equal (L, R : Object) return Boolean;

  procedure Copy (Target      : in out Object;
                  Source      :        Object;
                  The_Segment :        System.Segment);

  function Hash (Obj : in Object) return Integer;

private

  type Object is access String;
  pragma Segmented_Heap (Object);

end Access_String;