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

⟦7f6b592eb⟧ Ada Source

    Length: 23552 (0x5c00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Semantic_Attributes, pragma Module_Name 4 1109, pragma Subsystem Ada_Management, seg_02846a

Derivation

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

with Diana;

package Semantic_Attributes is

    function  Has_Sm_Back_Link (Node : Diana.Tree) return Boolean;
    function  Sm_Back_Link     (Node : Diana.Tree) return Diana.Tree;
    procedure Sm_Back_Link     (Node : Diana.Tree; Back_Link : Diana.Tree);

    procedure Sm_Applied_Pragmas (Def_Id          : Diana.Tree;
                                  Applied_Pragmas : Diana.Sequence);
    procedure Add_Applied_Pragma (Def_Id         : Diana.Tree;
                                  Applied_Pragma : Diana.Tree);
    function  Sm_Applied_Pragmas (Def_Id : Diana.Tree) return Diana.Sequence;
    function  Has_Sm_Applied_Pragmas (Def_Id : Diana.Tree) return Boolean;

    procedure Sm_User_Pre_Elab_Key
                 (Package_Id : Diana.Tree; User_Pre_Elab_Key : Integer);
    function  Sm_User_Pre_Elab_Key     (Package_Id : Diana.Tree) return Integer;
    function  Has_Sm_User_Pre_Elab_Key (Package_Id : Diana.Tree) return Boolean;

    procedure Sm_User_Vpid     (Unit_Id : Diana.Tree; User_Vpid : Integer);
    function  Sm_User_Vpid     (Unit_Id : Diana.Tree) return Integer;
    function  Has_Sm_User_Vpid (Unit_Id : Diana.Tree) return Boolean;

    procedure Sm_User_Seg_Num (Unit_Id : Diana.Tree; User_Seg_Num : Integer);
    function  Sm_User_Seg_Num (Unit_Id : Diana.Tree) return Integer;
    function  Has_Sm_User_Seg_Num (Unit_Id : Diana.Tree) return Boolean;

    procedure Sm_User_Offset     (Id : Diana.Tree; User_Offset : Integer);
    function  Sm_User_Offset     (Id : Diana.Tree) return Integer;
    function  Has_Sm_User_Offset (Id : Diana.Tree) return Boolean;

    procedure Sm_Virtual_Processor_Number
                 (Tsk : Diana.Tree; Virtual_Processor_Number : Integer);
    function  Sm_Virtual_Processor_Number     (Tsk : Diana.Tree) return Integer;
    function  Has_Sm_Virtual_Processor_Number (Tsk : Diana.Tree) return Boolean;

    procedure Sm_Utility_Subprogram     (Typ                : Diana.Tree;
                                         Utility_Subprogram : Diana.Tree);
    function  Sm_Utility_Subprogram     (Typ : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Utility_Subprogram (Typ : Diana.Tree) return Boolean;

    procedure Sm_Subsystem_Name     (Unit_Id        : Diana.Tree;
                                     Subsystem_Name : Diana.Tree);
    function  Sm_Subsystem_Name     (Unit_Id : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Subsystem_Name (Unit_Id : Diana.Tree) return Boolean;

    procedure Sm_Enable_Runtime_Privacy
                 (Typ : Diana.Tree; Enable_Runtime_Privacy : Boolean);
    function  Sm_Enable_Runtime_Privacy     (Typ : Diana.Tree) return Boolean;
    function  Has_Sm_Enable_Runtime_Privacy (Typ : Diana.Tree) return Boolean;

    procedure Sm_Subsystem_Interface
                 (Unit_Id : Diana.Tree; Subsystem_Interface : Boolean);
    function  Sm_Subsystem_Interface     (Unit_Id : Diana.Tree) return Boolean;
    function  Has_Sm_Subsystem_Interface (Unit_Id : Diana.Tree) return Boolean;

    procedure Sm_Interface_Private
                 (Unit_Id : Diana.Tree; Interface_Private : Boolean);
    function  Sm_Interface_Private     (Unit_Id : Diana.Tree) return Boolean;
    function  Has_Sm_Interface_Private (Unit_Id : Diana.Tree) return Boolean;

    procedure Sm_Changed_To_Rename_Init
                 (Exp : Diana.Tree; Changed_To_Rename_Init : Boolean);
    function  Sm_Changed_To_Rename_Init     (Exp : Diana.Tree) return Boolean;
    function  Has_Sm_Changed_To_Rename_Init (Exp : Diana.Tree) return Boolean;

    procedure Sm_Heap     (Allocator : Diana.Tree; Heap : Diana.Tree);
    function  Sm_Heap     (Allocator : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Heap (Allocator : Diana.Tree) return Boolean;

    procedure Sm_In_Segmented_Heap
                 (Type_Spec : Diana.Tree; In_Segmented_Heap : Boolean);
    function  Sm_In_Segmented_Heap     (Type_Spec : Diana.Tree) return Boolean;
    function  Has_Sm_In_Segmented_Heap (Type_Spec : Diana.Tree) return Boolean;

    function  Has_Sm_Hidden_Op (Type_Spec : Diana.Tree) return Boolean;
    function  Sm_Hidden_Op     (Type_Spec : Diana.Tree) return Diana.Tree;
    procedure Sm_Hidden_Op     (Type_Spec : Diana.Tree; Ops : Diana.Tree);

    function  Has_Sm_Parent_Type (Type_Spec : Diana.Tree) return Boolean;
    function  Sm_Parent_Type     (Type_Spec : Diana.Tree) return Diana.Tree;
    procedure Sm_Parent_Type     (Type_Spec : Diana.Tree; Ops : Diana.Tree);

    function  Has_Sm_Body_Ops (Type_Spec : Diana.Tree) return Boolean;
    function  Sm_Body_Ops     (Type_Spec : Diana.Tree) return Diana.Sequence;
    procedure Sm_Body_Ops     (Type_Spec : Diana.Tree; Ops : Diana.Sequence);

    function  Has_Sm_First_Named_Subtype_Id
                (Derived_Node : Diana.Tree) return Boolean;
    function  Sm_First_Named_Subtype_Id
                (Derived_Node : Diana.Tree) return Diana.Tree;
    procedure Sm_First_Named_Subtype_Id
                 (Derived_Node : Diana.Tree; Type_Id : Diana.Tree);
   procedure Sm_Parent     (T : Diana.Tree; V : Diana.Tree);
    function  Sm_Parent     (T : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Parent (T : Diana.Tree) return Boolean;

    procedure Sm_Forward     (T : Diana.Tree; V : Diana.Tree);
    function  Sm_Forward     (T : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Forward (T : Diana.Tree) return Boolean;

    procedure Sm_Expanded_Body     (T : Diana.Tree; V : Diana.Tree);
    function  Sm_Expanded_Body     (T : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Expanded_Body (T : Diana.Tree) return Boolean;

    procedure Sm_Used_Ids     (T : Diana.Tree; V : Diana.Sequence);
    function  Sm_Used_Ids     (T : Diana.Tree) return Diana.Sequence;
    function  Has_Sm_Used_Ids (T : Diana.Tree) return Boolean;

    procedure Sm_Default_Ids     (T : Diana.Tree; V : Diana.Sequence);
    function  Sm_Default_Ids     (T : Diana.Tree) return Diana.Sequence;
    function  Has_Sm_Default_Ids (T : Diana.Tree) return Boolean;


    procedure Sm_Anonymous_Id     (T : Diana.Tree; V : Diana.Tree);
    function  Sm_Anonymous_Id     (T : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Anonymous_Id (T : Diana.Tree) return Boolean;

    procedure Sm_Private_Type_Id     (T : Diana.Tree; V : Diana.Tree);
    function  Sm_Private_Type_Id     (T : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Private_Type_Id (T : Diana.Tree) return Boolean;

    procedure Sm_Ops     (T : Diana.Tree; V : Diana.Sequence);
    function  Sm_Ops     (T : Diana.Tree) return Diana.Sequence;
    function  Has_Sm_Ops (T : Diana.Tree) return Boolean;

    procedure Sm_Parent_Op     (T : Diana.Tree; V : Diana.Tree);
    function  Sm_Parent_Op     (T : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Parent_Op (T : Diana.Tree) return Boolean;

    procedure Sm_Variants     (T : Diana.Tree; V : Diana.Sequence);
    function  Sm_Variants     (T : Diana.Tree) return Diana.Sequence;
    function  Has_Sm_Variants (T : Diana.Tree) return Boolean;

    procedure Sm_Agg_Fields     (T : Diana.Tree; V : Diana.Sequence);
    function  Sm_Agg_Fields     (T : Diana.Tree) return Diana.Sequence;
    function  Has_Sm_Agg_Fields (T : Diana.Tree) return Boolean;

    procedure Sm_Range     (T : Diana.Tree; V : Diana.Tree);
    function  Sm_Range     (T : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Range (T : Diana.Tree) return Boolean;


    procedure Sm_Priority     (T : Diana.Tree; V : Integer);
    function  Sm_Priority     (T : Diana.Tree) return Integer;
    function  Has_Sm_Priority (T : Diana.Tree) return Boolean;

    procedure Sm_Discrim_Ref     (T : Diana.Tree; V : Boolean);
    function  Sm_Discrim_Ref     (T : Diana.Tree) return Boolean;
    function  Has_Sm_Discrim_Ref (T : Diana.Tree) return Boolean;

    procedure Sm_Dynamic_Agg     (T : Diana.Tree; V : Boolean);
    function  Sm_Dynamic_Agg     (T : Diana.Tree) return Boolean;
    function  Has_Sm_Dynamic_Agg (T : Diana.Tree) return Boolean;

    procedure Sm_Has_Rep_Spec     (T : Diana.Tree; V : Boolean);
    function  Sm_Has_Rep_Spec     (T : Diana.Tree) return Boolean;
    function  Has_Sm_Has_Rep_Spec (T : Diana.Tree) return Boolean;

    procedure Sm_Scale     (T : Diana.Tree; V : Integer);
    function  Sm_Scale     (T : Diana.Tree) return Integer;
    function  Has_Sm_Scale (T : Diana.Tree) return Boolean;

    procedure Sm_Must_Be_Constrained     (T : Diana.Tree; V : Boolean);
    function  Sm_Must_Be_Constrained     (T : Diana.Tree) return Boolean;
    function  Has_Sm_Must_Be_Constrained (T : Diana.Tree) return Boolean;

    procedure Sm_Instantiators     (T : Diana.Tree; V : Diana.Sequence);
    function  Sm_Instantiators     (T : Diana.Tree) return Diana.Sequence;
    function  Has_Sm_Instantiators (T : Diana.Tree) return Boolean;

    type Syntax_Error_Level is
       (No_Syntax_Errors, Minor_Syntax_Errors,
        Major_Syntax_Errors, Catastrophic_Syntax_Errors);

    procedure Lx_Error_Level     (T : Diana.Tree; V : Syntax_Error_Level);
    function  Lx_Error_Level     (T : Diana.Tree) return Syntax_Error_Level;
    function  Has_Lx_Error_Level (T : Diana.Tree) return Boolean;

    procedure Sm_Hidden_Ops     (T : Diana.Tree; V : Diana.Sequence);
    function  Sm_Hidden_Ops     (T : Diana.Tree) return Diana.Sequence;
    function  Has_Sm_Hidden_Ops (T : Diana.Tree) return Boolean;

    procedure Sm_Read_Only     (T : Diana.Tree; V : Boolean);
    function  Sm_Read_Only     (T : Diana.Tree) return Boolean;
    function  Has_Sm_Read_Only (T : Diana.Tree) return Boolean;

    procedure Sm_Original_Node     (T : Diana.Tree; V : Diana.Tree);
    function  Sm_Original_Node     (T : Diana.Tree) return Diana.Tree;
    function  Has_Sm_Original_Node (T : Diana.Tree) return Boolean;

    procedure Sm_Predefined     (T : Diana.Tree; V : Boolean);
    function  Sm_Predefined     (T : Diana.Tree) return Boolean;
    function  Has_Sm_Predefined (T : Diana.Tree) return Boolean;

    procedure Sm_Static_Scope     (T : Diana.Tree; V : Boolean);
    function  Sm_Static_Scope     (T : Diana.Tree) return Boolean;
    function  Has_Sm_Static_Scope (T : Diana.Tree) return Boolean;
    procedure Sm_Generic_Procedure     (T : Diana.Tree; V : Boolean);
    function  Sm_Generic_Procedure     (T : Diana.Tree) return Boolean;
    function  Has_Sm_Generic_Procedure (T : Diana.Tree) return Boolean;

    -- Identifies the kind of spec associated with a stubbed generic: if
    -- this attribute is not present on the Dn_Stub, the associated spec is
    -- a package_spec; if present on the Dn_Stub and TRUE, the separate
    -- spec is a procedure; if present on the Dn_Stub and FALSE, the
    -- separate spec is a function.

    procedure Sm_Decl_Number     (T : Diana.Tree; I : Diana.Decl_Number);
    function  Sm_Decl_Number     (T : Diana.Tree) return Diana.Decl_Number;
    function  Has_Sm_Decl_Number (T : Diana.Tree) return Boolean;

    function Make_Sm_Decl_Number_Mask
                (T : Diana.Tree) return Diana.Decl_Number_Mask;
    function Sm_Decl_Number_Mask (T : Diana.Tree) return Diana.Decl_Number_Mask;
    function Has_Sm_Decl_Number_Mask (T : Diana.Tree) return Boolean;

    procedure Decl_Number     (T : Diana.Tree; I : Diana.Declaration_Number);
    function  Decl_Number     (T : Diana.Tree) return Diana.Declaration_Number;
    function  Has_Decl_Number (T : Diana.Tree) return Boolean;

    function Make_Decl_Number_Mask (T : Diana.Tree; Size : Natural)
                                   return Diana.Declaration_Number_Mask;
    function Decl_Number_Mask      (T : Diana.Tree)
                              return Diana.Declaration_Number_Mask;
    function Has_Decl_Number_Mask  (T : Diana.Tree) return Boolean;

    procedure Copy_Decl_Number_Map (From : Diana.Tree; To : Diana.Tree);


    procedure Sm_Operator     (Def_Op : Diana.Tree; Op : Diana.Operator);
    function  Sm_Operator     (Def_Op : Diana.Tree) return Diana.Operator;
    function  Has_Sm_Operator (Def_Op : Diana.Tree) return Boolean;

    pragma Subsystem (Ada_Management);
    pragma Module_Name (4, 1109);
end Semantic_Attributes;

    nblk1=16
    nid=0
    hdr6=2c
        [0x00] rec0=16 rec1=00 rec2=01 rec3=03c
        [0x01] rec0=00 rec1=00 rec2=16 rec3=02c
        [0x02] rec0=12 rec1=00 rec2=02 rec3=042
        [0x03] rec0=00 rec1=00 rec2=15 rec3=040
        [0x04] rec0=11 rec1=00 rec2=03 rec3=092
        [0x05] rec0=02 rec1=00 rec2=14 rec3=028
        [0x06] rec0=11 rec1=00 rec2=04 rec3=096
        [0x07] rec0=02 rec1=00 rec2=12 rec3=024
        [0x08] rec0=13 rec1=00 rec2=13 rec3=002
        [0x09] rec0=00 rec1=00 rec2=05 rec3=048
        [0x0a] rec0=15 rec1=00 rec2=06 rec3=014
        [0x0b] rec0=00 rec1=00 rec2=11 rec3=064
        [0x0c] rec0=14 rec1=00 rec2=07 rec3=03c
        [0x0d] rec0=01 rec1=00 rec2=10 rec3=010
        [0x0e] rec0=15 rec1=00 rec2=08 rec3=018
        [0x0f] rec0=00 rec1=00 rec2=0f rec3=06c
        [0x10] rec0=15 rec1=00 rec2=09 rec3=006
        [0x11] rec0=00 rec1=00 rec2=0e rec3=052
        [0x12] rec0=14 rec1=00 rec2=0a rec3=028
        [0x13] rec0=01 rec1=00 rec2=0d rec3=000
        [0x14] rec0=12 rec1=00 rec2=0b rec3=052
        [0x15] rec0=16 rec1=00 rec2=0c rec3=000
    tail 0x21520f8c083c173541ffd 0x42a00088462065003