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

⟦47c108920⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Design_Implementation, pragma Module_Name 4 3599, pragma Subsystem Design_Facility, seg_028ad3

Derivation

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

E3 Source Code



package Design_Implementation is

    procedure Complete   (Include_Optional_Annotations : Boolean := False);
    procedure Definition (In_Place : Boolean := False;
                          Visible  : Boolean := True);
    procedure Enclosing  (In_Place : Boolean := False);
    procedure Explain;
    procedure Format;
    procedure Show_Usage (In_World : String := "$$");

    procedure Display_All_Targets;
    procedure Display_Target (For_World : String := "$$");

    procedure Set_Target (To_Value  : String := ">>DESIGN TARGET<<";
                          For_World : String := "$$");

    procedure Display_All_Phases (For_World : String := "$$");
    procedure Display_Phase      (For_World : String := "$$");

    procedure Set_Phase (To_Value  : String := ">>DESIGN PHASE<<";
                         For_World : String := "$$");

    function Current_Target_Image (For_World : String := "$$") return String;
    function Current_Phase_Image  (For_World : String := "$$") return String;


    procedure Create_Model (Compiler_Model        : String;
                            Design_Facility_Model : String;
                            New_Model_Name        : String);


    pragma Subsystem (Design_Facility, Closed);
    pragma Module_Name (4, 3599);
    pragma Bias_Key (27);

end Design_Implementation;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=19 rec1=00 rec2=01 rec3=05a
        [0x01] rec0=0d rec1=00 rec2=02 rec3=000
    tail 0x21521159a83c246e7cdd0 0x42a00088462065003