DataMuseum.dk Presents historical artifacts from the history of: Rational R1000/400

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 Excavated with: AutoArchaeologist - Free & Open Source Software.

top - metrics - download

⟦ca0c4072d⟧ Ada Source

    Length: 4096 (0x1000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Set_Of_Connections, seg_0489e3

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

with Binary_Trees_Pkg, Bounded_String;
use Bounded_String;

package Set_Of_Connections is

    Duplicate_Value : exception;

    type Object is private;

    type Lock is (No_State, Linked, Unlinked);


    -- Creation d'un ensemble de connexions -----------------------------------------------

    procedure Create (Set : in out Object);


    -- Destruction d'un ensemble ----------------------------------------------------------

    procedure Destroy (Set : in out Object);


    -- Ajout d'une nouvelle connexion (source, destination, qualificateur) a l'ensemble ---
    --
    -- Duplicate_Value (Exception) est levee si le couple (source, qualificateur) a deja
    --                             ete defini dans l'ensemble

    procedure Add_New (Src_Item, Dst_Item, Qualif : String;
                       Connection_State : Lock;
                       Set : in out Object);


    -- Modifie l'etat d'une connexion -----------------------------------------------------

    procedure Modify_State (Src_Item, Qualif : String;
                            Connection_State : Lock;
                            Set : in out Object);


    -- Test l'existance d'une connexion dans l'ensemble -----------------------------------

    function Exist (Src_Item, Qualif : String; Set : Object) return Boolean;


    -- Retourne l'etat d'une connexion ----------------------------------------------------

    function What_State (Src_Item, Qualif : String; Set : Object) return Lock;


    -- Retourne la destination d'une connexion --------------------------------------------

    function What_Destination
                (Src_Item, Qualif : String; Set : Object) return String;


    -- Affiche toutes les destinations possibles a partir d'une source --------------------

    procedure List (Src_Item : String; Set : Object);


    -- Affiche un ensemble de connexions --------------------------------------------------

    procedure Dump (Set : Object);

private

    type Connection is
        record
            Source : Variable_String (32);
            Destination : Variable_String (32);
            Qualification : Variable_String (32);
            State : Lock;
        end record;

    function Compare (A, B : Connection) return Integer;

    package Connections_Tree is new Binary_Trees_Pkg (Connection, Compare);

    type Object is
        record
            Root : Connections_Tree.Tree;
        end record;

end Set_Of_Connections;

    nblk1=3
    nid=0
    hdr6=6
        [0x00] rec0=22 rec1=00 rec2=01 rec3=07c
        [0x01] rec0=1c rec1=00 rec2=02 rec3=09a
        [0x02] rec0=19 rec1=00 rec2=03 rec3=001
    tail 0x2174ce4ca865a4fc89b26 0x42a00088462060003