DataMuseum.dk

top - download

    Length: 2229 (0x8b5)
    Types: TextFile
    Names: »V«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Calendar;
with Requirements;
with Remote_Operations;
package Hierarchy is

    type Module is private;
    Nil : constant Module;

    type Module_Iterator is private;


    procedure Build (Model : in String;  
                     Host : in String;
                     Root : out Module;
                     Build_Time : out Calendar.Time);

    procedure Build (Model : in String;  
                     In_Context : in Remote_Operations.Context;
                     Root : out Module;
                     Build_Time : out Calendar.Time);


    function Make (Identifier : in String) return Module;


    function Children_Of (M : in Module) return Module_Iterator;
    function Parent_Of (M : in Module) return Module;


    function Identifier (M : in Module) return String;
    function Simple_Name (M : in Module) return String;
    function Full_Name (M : in Module) return String;

    function Node_Number (M : in Module) return String;
    function Comment (M : in Module) return String;

    function Requirement
                (M : in Module;  
                 Number : in Requirements.Functional_Requirement_Number)
                return String;

    function Done (M : in Module_Iterator) return Boolean;
    function Value (M : in Module_Iterator) return Module;
    procedure Next (M : in out Module_Iterator);

    function Size (M : in Module_Iterator) return Natural;

    function Make (M : in Module) return Module_Iterator;

private

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

    type Requirement_List is
       array (Requirements.Functional_Requirement_Number) of Access_String;

    type Module_Record is
        record
            Identifier : Access_String;
            Node_Number : Access_String;  
            Comment : Access_String;  
            Requirements : Requirement_List;
            Parent : Module;
            First_Child : Module;
            Next_Sibling : Module;
            Remaining_Children : Natural; -- Used for construction only.
        end record;

    type Module is access Module_Record;
    pragma Segmented_Heap (Module);

    Nil : constant Module := null;

    type Module_Iterator is new Module;

end Hierarchy;