|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 5120 (0x1400) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, function Get_Attribute_Info, seg_021add, separate Mac_Os_Meridian
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦5a81ac88f⟧ »Space Info Vol 1« └─⟦this⟧
separate (Mac_Os_Meridian) 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;
nblk1=4 nid=3 hdr6=6 [0x00] rec0=1c rec1=00 rec2=01 rec3=032 [0x01] rec0=16 rec1=00 rec2=04 rec3=098 [0x02] rec0=02 rec1=00 rec2=02 rec3=000 [0x03] rec0=90 rec1=00 rec2=1d rec3=501 tail 0x2151cfb9e838f52843d14 0x42a00088462060003 Free Block Chain: 0x3: 0000 00 00 00 15 80 0f 41 74 74 72 69 62 75 74 65 5f ┆ Attribute_┆