summaryrefslogtreecommitdiff
path: root/gcc/ada/sem.ads
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2009-04-10 12:34:46 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2009-04-10 12:34:46 +0000
commit9f42b990b834dd3aade1818d5ab7cd56a3b94a5a (patch)
tree725d8780d6ac810b9034d046d393b34a3759db2a /gcc/ada/sem.ads
parent2b523281ea1be61a944ddfc4aba01ca6faa68a88 (diff)
downloadgcc-9f42b990b834dd3aade1818d5ab7cd56a3b94a5a.tar.gz
2009-04-10 Bob Duff <duff@adacore.com>
* sem.ads, par.adb, sem_ch6.adb, sem_ch8.adb: Minor comment fixes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145890 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem.ads')
-rw-r--r--gcc/ada/sem.ads58
1 files changed, 29 insertions, 29 deletions
diff --git a/gcc/ada/sem.ads b/gcc/ada/sem.ads
index 93f0780edf8..f6aabfb8049 100644
--- a/gcc/ada/sem.ads
+++ b/gcc/ada/sem.ads
@@ -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;