DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

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 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download
Index: ┃ B T ┃

⟦d2aef78a0⟧ TextFile

    Length: 3327 (0xcff)
    Types: TextFile
    Names: »B«

Derivation

└─⟦5829e5ed5⟧ Bits:30000534 8mm tape, Rational 1000, RCI 2_0_5
    └─ ⟦c9a165082⟧ »DATA« 
        └─⟦c3895f76e⟧ 
            └─⟦this⟧

TextFile

separate (Template)
function Get_Pragma_Info return Pragmas.Object is


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

    Sample_Pragma_Types : Checking.Type_Set :=
       Checking.Build (Enforced_Type_Restrictions =>
                          Checking.No_Type_Restrictions,
                       Valid_Structural_Types =>
                          (Checking.Enumeration_Type => True, others => False),
                       For_Target => T_Name);

    Sample_Pragma_Arg1 : constant Pragmas.Argument :=
       Pragmas.Build_Name_Argument (Name => "Enumeration_Type",
                                    Valid_Types => Sample_Pragma_Types,
                                    For_Target => T_Name);

    Sample_Pragma_Arg2 : constant Pragmas.Argument :=
       Pragmas.Build_Name_Argument
          (Name => "Enumeration_value",
           Valid_Special_Identifiers => (Text.Build ("Immediate", T_Name),
                                         Text.Build ("Deferred", T_Name)),
           For_Target => T_Name);

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

    Sample_Pragma_Arguments : constant Pragmas.Argument_Array :=
       (Sample_Pragma_Arg1, Sample_Pragma_Arg2, Sample_Pragma_Arg3);

    Sample_Pragma_Pragma : constant Pragmas.Target_Pragma :=
       Pragmas.Build (Name => "Sample_Pragma",
                      Valid_Locations => (Pragmas.Declaration => True,
                                          Pragmas.Task_Spec => True,
                                          others => False),
                      Arguments => Sample_Pragma_Arguments,
                      Last_Required_Argument => 3,
                      For_Target => T_Name);


----------------------------------------------------------------------
    Pragma_List : constant Pragmas.Target_Pragma_Array :=
       (1 => Sample_Pragma_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)),
                      For_Target => T_Name);
begin
    return Pragma_Object;
end Get_Pragma_Info;