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

⟦0e715a762⟧ TextFile

    Length: 1951 (0x79f)
    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_Attribute_Info return Attributes.Object is

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


    Prefix1 : Attributes.Prefix :=
       Attributes.Build (Valid_Types => P_Types1, For_Target => T_Name);

    Result1 : Attributes.Result :=
       Attributes.Prefix_Value (For_Target => T_Name);

    Result2 : Attributes.Result :=
       Attributes.Build_With_Value_Result
          (Type_Name => "integer", For_Target => T_Name);

    Designator1 : Attributes.Designator :=
       Attributes.Prefix_Designator (For_Target => T_Name);

    Designator2 : Attributes.Designator :=
       Attributes.Build
          (Function_Parameter =>
              Checking.Build (Expression_Type => "Character",
                              Constraint => Checking.Null_Constraint (T_Name),
                              For_Target => T_Name),
           For_Target => T_Name);

    Attr1 : constant Attributes.Attribute :=
       Attributes.Build (The_Name => "attr1",
                         The_Prefix => Prefix1,
                         The_Result => Result1,
                         --The_Designator => Designator1,
                         For_Target => T_Name);

    Attr2 : constant Attributes.Attribute :=
       Attributes.Build (The_Name => "attr2",
                         The_Prefix => Prefix1,
                         The_Result => Result2,
                         The_Designator => Designator2,
                         For_Target => T_Name);

    Attrs : constant Attributes.Attribute_Array := (Attr1, Attr2);
begin
    return Attributes.Build (Attribute_List => Attrs, For_Target => T_Name);
end Get_Attribute_Info;