⟦980bf0550⟧

E3 Source Code



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;
DataMuseum.dk

Rational R1000/400

⟦980bf0550⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
