OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

sem.ads, [...]: Minor comment fixes. 

2009-04-10  Bob Duff  <duff@adacore.com>

	* sem.ads, par.adb, sem_ch6.adb, sem_ch8.adb: Minor comment fixes.

From-SVN: r145890
This commit is contained in:
Bob Duff 2009-04-10 12:34:46 +00:00 committed by Arnaud Charlet
parent b3b9865d06
commit 3764bb000e
4 changed files with 42 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/ChangeLog
View File

@ -1,3 +1,7 @@
2009-04-10 Bob Duff <duff@adacore.com>
* sem.ads, par.adb, sem_ch6.adb, sem_ch8.adb: Minor comment fixes.
2009-04-10 Tristan Gingold <gingold@adacore.com>
* init.c: Install signal handler on Darwin.

58
gcc/ada/sem.ads
View File

@ -397,9 +397,9 @@ package Sem is
-- The scope stack indicates the declarative regions that are currently
-- being processed (analyzed and/or expanded). The scope stack is one of
-- basic visibility structures in the compiler: entities that are declared
-- in a scope that is currently on the scope stack are immediately visible.
-- (leaving aside issues of hiding and overloading).
-- the basic visibility structures in the compiler: entities that are
-- declared in a scope that is currently on the scope stack are immediately
-- visible (leaving aside issues of hiding and overloading).
-- Initially, the scope stack only contains an entry for package Standard.
-- When a compilation unit, subprogram unit, block or declarative region
@ -423,12 +423,12 @@ package Sem is
-- contiguous sections that correspond to the compilation of a given
-- compilation unit. These sections are separated by distinct occurrences
-- of package Standard. The currently active section of the scope stack
-- goes from the current scope to the first occurrence of Standard, which
-- is additionally marked with the flag Is_Active_Stack_Base. The basic
-- visibility routine (Find_Direct_Name, sem_ch8) uses this contiguous
-- section of the scope stack to determine whether a given entity is or
-- is not visible at a point. In_Open_Scopes only examines the currently
-- active section of the scope stack.
-- goes from the current scope to the first (innermost) occurrence of
-- Standard, which is additionally marked with the flag
-- Is_Active_Stack_Base. The basic visibility routine (Find_Direct_Name, in
-- Sem_Ch8) uses this contiguous section of the scope stack to determine
-- whether a given entity is or is not visible at a point. In_Open_Scopes
-- only examines the currently active section of the scope stack.
-- Similar complications arise when processing child instances. These
-- must be compiled in the context of parent instances, and therefore the
@ -462,7 +462,7 @@ package Sem is
-- Save contents of Check_Policy_List on entry to restore on exit
Is_Transient : Boolean;
-- Marks Transient Scopes (See Exp_Ch7 body for details)
-- Marks transient scopes (see Exp_Ch7 body for details)
Previous_Visibility : Boolean;
-- Used when installing the parent(s) of the current compilation unit.
@ -484,11 +484,11 @@ package Sem is
Pending_Freeze_Actions : List_Id;
-- Used to collect freeze entity nodes and associated actions that are
-- generated in a inner context but need to be analyzed outside, such as
-- records and initialization procedures. On exit from the scope, this
-- list of actions is inserted before the scope construct and analyzed
-- to generate the corresponding freeze processing and elaboration of
-- other associated actions.
-- generated in an inner context but need to be analyzed outside, such
-- as records and initialization procedures. On exit from the scope,
-- this list of actions is inserted before the scope construct and
-- analyzed to generate the corresponding freeze processing and
-- elaboration of other associated actions.
First_Use_Clause : Node_Id;
-- Head of list of Use_Clauses in current scope. The list is built when
@ -533,12 +533,12 @@ package Sem is
procedure Analyze (N : Node_Id);
procedure Analyze (N : Node_Id; Suppress : Check_Id);
-- This is the recursive procedure which is applied to individual nodes
-- of the tree, starting at the top level node (compilation unit node)
-- and then moving down the tree in a top down traversal. It calls
-- individual routines with names Analyze_xxx to analyze node xxx. Each
-- of these routines is responsible for calling Analyze on the components
-- of the subtree.
-- This is the recursive procedure that is applied to individual nodes of
-- the tree, starting at the top level node (compilation unit node) and
-- then moving down the tree in a top down traversal. It calls individual
-- routines with names Analyze_xxx to analyze node xxx. Each of these
-- routines is responsible for calling Analyze on the components of the
-- subtree.
--
-- Note: In the case of expression components (nodes whose Nkind is in
-- N_Subexpr), the call to Analyze does not complete the semantic analysis
@ -577,9 +577,9 @@ package Sem is
-- Inserts list L after node N using Nlists.Insert_List_After, and then,
-- after this insertion is complete, analyzes all the nodes in the list,
-- including any additional nodes generated by this analysis. If the list
-- is empty or be No_List, the call has no effect. If the Suppress
-- argument is present, then the analysis is done with the specified
-- check suppressed (can be All_Checks to suppress all checks).
-- is empty or No_List, the call has no effect. If the Suppress argument is
-- present, then the analysis is done with the specified check suppressed
-- (can be All_Checks to suppress all checks).
procedure Insert_List_Before_And_Analyze
(N : Node_Id; L : List_Id);
@ -588,9 +588,9 @@ package Sem is
-- Inserts list L before node N using Nlists.Insert_List_Before, and then,
-- after this insertion is complete, analyzes all the nodes in the list,
-- including any additional nodes generated by this analysis. If the list
-- is empty or be No_List, the call has no effect. If the Suppress
-- argument is present, then the analysis is done with the specified
-- check suppressed (can be All_Checks to suppress all checks).
-- is empty or No_List, the call has no effect. If the Suppress argument is
-- present, then the analysis is done with the specified check suppressed
-- (can be All_Checks to suppress all checks).
procedure Insert_After_And_Analyze
(N : Node_Id; M : Node_Id);
@ -618,7 +618,7 @@ package Sem is
procedure Enter_Generic_Scope (S : Entity_Id);
-- Shall be called each time a Generic subprogram or package scope is
-- entered. S is the entity of the scope.
-- entered. S is the entity of the scope.
-- ??? At the moment, only called for package specs because this mechanism
-- is only used for avoiding freezing of external references in generics
-- and this can only be an issue if the outer generic scope is a package
@ -626,7 +626,7 @@ package Sem is
procedure Exit_Generic_Scope (S : Entity_Id);
-- Shall be called each time a Generic subprogram or package scope is
-- exited. S is the entity of the scope.
-- exited. S is the entity of the scope.
-- ??? At the moment, only called for package specs exit.
function Explicit_Suppress (E : Entity_Id; C : Check_Id) return Boolean;

10
gcc/ada/sem_ch6.adb
View File

@ -188,11 +188,11 @@ package body Sem_Ch6 is
(N : Node_Id;
Spec_Id : Entity_Id;
Body_Id : Entity_Id);
-- Called from Analyze_Body to deal with scanning post conditions for the
-- body and assembling and inserting the _postconditions procedure. N is
-- the node for the subprogram body and Body_Id/Spec_Id are the entities
-- for the body and separate spec (if there is no separate spec, Spec_Id
-- is Empty).
-- Called from Analyze[_Generic]_Subprogram_Body to deal with scanning post
-- conditions for the body and assembling and inserting the _postconditions
-- procedure. N is the node for the subprogram body and Body_Id/Spec_Id are
-- the entities for the body and separate spec (if there is no separate
-- spec, Spec_Id is Empty).
procedure Set_Formal_Validity (Formal_Id : Entity_Id);
-- Formal_Id is an formal parameter entity. This procedure deals with

8
gcc/ada/sem_ch8.adb
View File

@ -3384,10 +3384,10 @@ package body Sem_Ch8 is
-- Saves start of homonym chain
Nvis_Entity : Boolean;
-- Set True to indicate that at there is at least one entity on the
-- homonym chain which, while not visible, is visible enough from the
-- user point of view to warrant an error message of "not visible"
-- rather than undefined.
-- Set True to indicate that there is at least one entity on the homonym
-- chain which, while not visible, is visible enough from the user point
-- of view to warrant an error message of "not visible" rather than
-- undefined.
Nvis_Is_Private_Subprg : Boolean := False;
-- Ada 2005 (AI-262): Set True to indicate that a form of Beaujolais