DataMuseum.dk

top - metrics - download

    Length: 1759 (0x6df)
    Types: TextFile
    Names: »V«

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

TextFile

with Access_String;
with Po_Handle;
with System;

package Unit_Data_Pair is

  type Object is private;

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

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

  procedure Destructor (The_Obj : in out Object);

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

  procedure Set_Po_Handle (The_Obj : in out Object; To : Po_Handle.Object);

  function Handle (Of_Obj : Object) return Po_Handle.Object;

  function Time_Stamp (Of_Obj : Object) return Access_String.Object;

  function Checked_Out (Of_Obj : Object) return Boolean;

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

  function Convert (Of_Obj : Object) return String;

  function Hash (The_Key : Object) return Integer;

  type Line_Iterator is private;

  function  Init  (The_Object : Object)      return Line_Iterator;
  function  Done  (The_Iter : Line_Iterator) return Boolean;
  function  Value (The_Iter : Line_Iterator) return String;
  procedure Next  (The_Iter : in out Line_Iterator);

private

  type Object is
    record
      Heap       : System.Segment;
      Name       : Po_Handle.Object;
      Time_Stamp : Access_String.Object;
    end record;

  type Component_Ids is (None, Name, Time);

  type Line_Iterator is
    record
      The_Obj            : Object;
      Done               : Boolean       := False;
      The_Id             : Component_Ids := None;
      First_Element_Line : Boolean       := True;
    end record;

end Unit_Data_Pair;