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 - metrics - download
Index: T V

⟦5a237896c⟧ TextFile

    Length: 12120 (0x2f58)
    Types: TextFile
    Names: »V«

Derivation

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦12c68c704⟧ 
                └─⟦this⟧ 
└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦220843204⟧ 
                └─⟦this⟧

TextFile

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;