DataMuseum.dk

top - download

    Length: 4881 (0x1311)
    Types: TextFile
    Names: »V«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦c84a2ac9b⟧ 
                └─⟦this⟧ 

TextFile

with Ada_Program;
package Compilation_Units is

    --
    --    The use of this system is subject to the software license terms and
    --    conditions agreed upon between Rational and the Customer.
    --
    --               Copyright 1987, 1988, 1989, 1990 by Rational.
    --
    --                          RESTRICTED RIGHTS LEGEND
    --
    --    Use, duplication, or disclosure by the Government is subject to
    --    restrictions as set forth in subdivision (b)(3)(ii) of the Rights in
    --    Technical Data and Computer Software clause at 52.227-7013.
    --
    --
    --                Rational
    --                3320 Scott Boulevard
    --                Santa Clara, California 95054
    --
    --   PROPRIETARY AND CONFIDENTIAL INFORMATION OF RATIONAL;
    --   USE OR COPYING WITHOUT EXPRESS WRITTEN AUTHORIZATION
    --   IS STRICTLY PROHIBITED.  THIS MATERIAL IS PROTECTED AS
    --   AN UNPUBLISHED WORK UNDER THE U.S. COPYRIGHT ACT OF
    --   1976.  CREATED 1987, 1988, 1989, 1990.  ALL RIGHTS RESERVED.
    --


    -- LRM 10.1
    --
    -- Compilation units are composed of two distinct parts:
    -- A context clause part and a declarative part.
    -- The context clause part may contain actual context clauses
    -- (with and use clauses) and pragmas.
    -- The declaration associated with a compilation unit can either
    -- be a package, procedure, function, or subunit.

    -- Local Renamings:
    subtype Compilation_Unit is Ada_Program.Compilation_Unit;
    subtype Context_Clause is Ada_Program.Context_Clause;
    subtype Declaration is Ada_Program.Declaration;

    subtype Context_Clause_Or_Pragma_Iterator is
       Ada_Program.Context_Clause_Or_Pragma_Iterator;
    subtype Name_Iterator is Ada_Program.Name_Iterator;
    subtype Pragma_Iterator is Ada_Program.Pragma_Iterator;
    ---------------------------------------------------------------


    function Unit_Declaration
                (A_Compilation_Unit : Compilation_Unit) return Declaration;
    -- Returns the package, procedure, or function declaration of the
    -- compilation unit.  (Library and Secondary units as defined in the
    -- LRM.  The operations on declarations can be used to further
    -- decompose these elements.


    function Context_Clause_Elements (Of_Compilation_Unit : Compilation_Unit)
                                     return Context_Clause_Or_Pragma_Iterator;
    -- Returns a list of context clauses and pragmas that
    -- reside in the context part of the compilation unit.

    -- Context clauses are made up of one or more unit references.
    --
    -- ie  with Bar;       -- has one unit reference
    --     use Foo, Bar;   -- has two named unit references
    --
    -- All context clauses have an Image but only their elements
    -- have a name.


    type Context_Clause_Kinds is
       (A_With_Clause, A_Use_Clause, Not_A_Context_Clause);

    function Context_Clause_Kind
                (A_Context_Clause : Context_Clause) return Context_Clause_Kinds;


    function Referenced_Units
                (A_Context_Clause : Context_Clause) return Name_Iterator;
    -- Returns a list of identifier references in a context clause


    function Parent_Compilation_Unit (Of_Program_Element : Ada_Program.Element)
                                     return Compilation_Unit;
    -- Returns the compilation unit that contains a particular
    -- program element. If the PROGRAM_ELEMENT in question is a
    -- compilation unit then this is an identity function.


    function Is_Subunit (A_Compilation_Unit : Compilation_Unit) return Boolean;
    -- Returns true if the compilation unit is a package, subprogram, or task
    -- subunit.


    function Subunit_Parent (Of_Subunit : Compilation_Unit)
                            return Compilation_Unit;
    -- Returns the compilation unit that is the parent unit of the subunit.

    function Body_Stub (Of_Subunit : Compilation_Unit) return Declaration;
    -- Returns the subunit declaration in the parent.


    function Attached_Pragmas
                (To_Compilation_Unit : Compilation_Unit) return Pragma_Iterator;
    -- Returns the list of pragmas attached to a compilation unit.  Only
    -- those pragmas that follow the compilation unit are returned here.
    -- Pragmas that precede the compilation unit are part of the context
    -- clause.

    function Is_Main_Program
                (Procedure_Or_Function : Compilation_Unit) return Boolean;
    -- Returns true if the unit has a pragma Main attached.


    subtype Name_Expression is Ada_Program.Expression;

    function Parent_Unit_Name
                (Of_Subunit : Compilation_Unit) return Name_Expression;
    -- Returns a name expression describing the parent unit.


    pragma Subsystem (Design_Facility, Closed);
    pragma Module_Name (4, 3571);
    pragma Bias_Key (27);
end Compilation_Units;