DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download
Index: ┃ T V ┃

⟦2efd421a1⟧ TextFile

    Length: 2097 (0x831)
    Types: TextFile
    Names: »V«

Derivation

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

TextFile

with Po_Conditions;
with Po_Access_Modes;
with Po_Handle;
with Test_Set_Element;
with System;

package Test_Set is

  type Object is private;

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

  procedure Destructor (Of_The_Obj : in out Object);

  procedure Append (The_Test_Set_Element : in     Test_Set_Element.Object;
                    In_Test_Set          : in out Object);

  procedure Insert (The_Test_Set_Element : in     Test_Set_Element.Object;
                    In_Test_Set          : in out Object;
                    After_The_Position   : in     Natural);

  -- return value of 0 measn it wasn't there
  function Position (The_Test_Set_Element : in Test_Set_Element.Object;
                     In_Test_Set          : in Object) return Natural;

  procedure Remove_Element (From_Test_Set : in out Object;
                            At_Position   : in     Positive);

  type Iterator is private;

  function  Init  (The_Test_Set : Object) return Iterator;
  function  Done  (The_Iter : Iterator)   return Boolean;
  function  Value (The_Iter : Iterator)   return Test_Set_Element.Object;
  procedure Next  (The_Iter : in out Iterator);

  function Test_Case_Context_Loc (Of_Test_Set : Object) return String;

  procedure Set_Test_Case_Context_Loc
             (The_Test_Set : in out Object; The_Context_Loc : String);


  package Persistent_Operations is

    procedure Get_Condition (Obj  : in     Object;
                             Into : in out Po_Conditions.Condition);


    procedure Open (The_Obj : in out Object;
                    Mode    : in     Po_Access_Modes.Modes;
                    Handle  : in     Po_Handle.Object);


    procedure Create (The_Obj : in out Object; Handle : in Po_Handle.Object);

    function Name (For_Obj : Object) return String;

    procedure Save (The_Obj : in out Object);

    procedure Save_As (The_Obj         : in out Object;
                       With_New_Handle :        Po_Handle.Object);

    procedure Close (The_Obj : in out Object; Abandon : Boolean := False);


  end Persistent_Operations;

end Test_Set;