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 - download

⟦574823251⟧ Ada Source

    Length: 7168 (0x1c00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, function Get_Pragma_Info, seg_023771, separate Mac_Os_Meridian

Derivation

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

E3 Source Code



separate (Mac_Os_Meridian)
function Get_Pragma_Info return Pragmas.Object is


----------------------------------------------------------------------

    Interface_Arg2_Types : Checking.Miscellaneous_Name_Set :=
       Checking.Build (Valid_Kinds => (Checking.Function_Kind => True,
                                       Checking.Procedure_Kind => True,
                                       others => False),
                       Ambiguity_Allowed => False,
                       For_Target => T_Name);

    Interface_Arg1 : constant Pragmas.Argument :=
       Pragmas.Build_Name_Argument
          (Name => "Language",
           Valid_Special_Identifiers =>
              (Text.Build ("Assembly", T_Name), Text.Build ("C", T_Name),
               Text.Build ("Mpwpascal", T_Name)),
           For_Target => T_Name);

    Interface_Arg2 : constant Pragmas.Argument :=
       Pragmas.Build_Name_Argument
          (Name => "Subprogram",
           Valid_Miscellaneous_Names => Interface_Arg2_Types,
           For_Target => T_Name);

    Interface_Arg3 : constant Pragmas.Argument :=
       Pragmas.Build_Expression_Argument
          (Name => "Link_Name",
           Valid_Expressions => Checking.Build
                                   (Expression_Type => "String",
                                    Constraint => Checking.Null_Constraint
                                                     (For_Target => T_Name),
                                    For_Target => T_Name),
           For_Target => T_Name);

    Interface_Arguments : constant Pragmas.Argument_Array :=
       (Interface_Arg1, Interface_Arg2, Interface_Arg3);

    Interface_Pragma : constant Pragmas.Target_Pragma :=
       Pragmas.Build (Name => "Interface",
                      Valid_Locations =>
                         (Pragmas.Declaration => True, others => True),
                      Arguments => Interface_Arguments,
                      Last_Required_Argument => 3,
                      For_Target => T_Name);


----------------------------------------------------------------------
    Pragma_List : constant Pragmas.Target_Pragma_Array :=
       (1 => Interface_Pragma);

    Ada_Pragmas : constant Pragmas.Ada_Pragma_Array :=
       (Pragmas.Controlled_Pragma => True,
        Pragmas.Elaborate_Pragma => True,
        Pragmas.Inline_Pragma => True,
        Pragmas.Interface_Pragma => True,
        Pragmas.List_Pragma => True,
        Pragmas.Memory_Size_Pragma => True,
        Pragmas.Optimize_Pragma => True,
        Pragmas.Pack_Pragma => True,
        Pragmas.Page_Pragma => True,
        Pragmas.Priority_Pragma => True,
        Pragmas.Shared_Pragma => True,
        Pragmas.Storage_Unit_Pragma => True,
        Pragmas.Suppress_Pragma => True,
        Pragmas.System_Name_Pragma => True);

    Pragma_Object : Pragmas.Object :=
       Pragmas.Build (Supported_Ada_Pragmas => Ada_Pragmas,
                      Target_Pragmas => Pragma_List,
                      Interface_Languages => (Text.Build ("Assembly", T_Name),
                                              Text.Build ("C", T_Name),
                                              Text.Build ("Mpwpascal", T_Name)),
                      For_Target => T_Name);
begin
    return Pragma_Object;
end Get_Pragma_Info;

E3 Meta Data

    nblk1=6
    nid=4
    hdr6=8
        [0x00] rec0=1a rec1=00 rec2=01 rec3=02c
        [0x01] rec0=15 rec1=00 rec2=05 rec3=03e
        [0x02] rec0=1a rec1=00 rec2=02 rec3=012
        [0x03] rec0=08 rec1=00 rec2=03 rec3=000
        [0x04] rec0=05 rec1=00 rec2=04 rec3=000
        [0x05] rec0=0a rec1=00 rec2=04 rec3=000
    tail 0x2171edc4483987e1ff57a 0x42a00088462060003
Free Block Chain:
  0x4: 0000  00 06 00 0a 80 07 6f 6e 20 3d 3e 20 54 07 20 20  ┆      on => T   ┆
  0x6: 0000  00 00 00 79 80 14 4e 61 6d 65 20 3d 3e 20 22 49  ┆   y  Name => "I┆