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

⟦176fed902⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Name_Utilities, seg_02ba44

Derivation

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

package Name_Utilities is

    subtype Simple_Name is String;
    subtype Full_Name is String;

    function Releases_Context return Full_Name;

    function Release_Context return Full_Name;

    type Reserved_Names is (Release_Tools, Template, Utilities);

    function Is_Valid_Release_Name
                (This_Release_Name : in String) return Boolean;
    --
    -- Must be simple Ada name, and not one of the reserved names.

    function Full_Release_Name_For
                (This_Release_Name : in Simple_Name) return Full_Name;

    function Release_Template return Full_Name;

    function Users_Context return Full_Name;

    function Master_Training_User return Full_Name;

    function Is_Valid_Username_Prefix
                (This_Username_Prefix : in String) return Boolean;

    function Simple_User_Name_From
                (This_Username_Prefix : in Simple_Name;
                 This_Number : in Positive) return Simple_Name;

    function Full_User_Name_From (This_Username_Prefix : in Simple_Name;
                                  This_Number : in Positive) return Full_Name;

    function Views_In (This_Context : in Full_Name) return Full_Name;

    function Subsystems_And_Views_In
                (This_Context : in Full_Name) return Full_Name;

    function Pdl_Name return Simple_Name;

    function Design_Target return Simple_Name;

    Invalid_Name : exception;

end Name_Utilities;

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=21 rec1=00 rec2=01 rec3=000
        [0x01] rec0=10 rec1=00 rec2=02 rec3=000
    tail 0x21523ff9083f0791bb784 0x42a00088462060003