Mercurial > hg > CbC > CbC_gcc

comparison gcc/ada/sem_ch3.ads @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
4 -- -- 4 -- --
5 -- S E M _ C H 3 -- 5 -- S E M _ C H 3 --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 1992-2016, Free Software Foundation, Inc. -- 9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
234 (Typ : Entity_Id; 234 (Typ : Entity_Id;
235 Exp : Node_Id) return Boolean; 235 Exp : Node_Id) return Boolean;
236 -- Always False in Ada 95 mode. Equivalent to OK_For_Limited_Init_In_05 in 236 -- Always False in Ada 95 mode. Equivalent to OK_For_Limited_Init_In_05 in
237 -- Ada 2005 mode. 237 -- Ada 2005 mode.
238 238
239 procedure Preanalyze_Assert_Expression (N : Node_Id; T : Entity_Id);
240 -- Wrapper on Preanalyze_Spec_Expression for assertion expressions, so that
241 -- In_Assertion_Expr can be properly adjusted.
242
239 procedure Preanalyze_Spec_Expression (N : Node_Id; T : Entity_Id); 243 procedure Preanalyze_Spec_Expression (N : Node_Id; T : Entity_Id);
240 -- Default and per object expressions do not freeze their components, and 244 -- Default and per object expressions do not freeze their components, and
241 -- must be analyzed and resolved accordingly. The analysis is done by 245 -- must be analyzed and resolved accordingly. The analysis is done by
242 -- calling the Preanalyze_And_Resolve routine and setting the global 246 -- calling the Preanalyze_And_Resolve routine and setting the global
243 -- In_Default_Expression flag. See the documentation section entitled 247 -- In_Default_Expression flag. See the documentation section entitled
244 -- "Handling of Default and Per-Object Expressions" in sem.ads for full 248 -- "Handling of Default and Per-Object Expressions" in sem.ads for full
245 -- details. N is the expression to be analyzed, T is the expected type. 249 -- details. N is the expression to be analyzed, T is the expected type.
246 -- This mechanism is also used for aspect specifications that have an 250 -- This mechanism is also used for aspect specifications that have an
247 -- expression parameter that needs similar preanalysis. 251 -- expression parameter that needs similar preanalysis.
248
249 procedure Preanalyze_Assert_Expression (N : Node_Id; T : Entity_Id);
250 -- Wrapper on Preanalyze_Spec_Expression for assertion expressions, so that
251 -- In_Assertion_Expr can be properly adjusted.
252
253 procedure Preanalyze_Default_Expression (N : Node_Id; T : Entity_Id);
254 -- Wrapper on Preanalyze_Spec_Expression for default expressions, so that
255 -- In_Default_Expr can be properly adjusted.
256 252
257 procedure Process_Full_View (N : Node_Id; Full_T, Priv_T : Entity_Id); 253 procedure Process_Full_View (N : Node_Id; Full_T, Priv_T : Entity_Id);
258 -- Process some semantic actions when the full view of a private type is 254 -- Process some semantic actions when the full view of a private type is
259 -- encountered and analyzed. The first action is to create the full views 255 -- encountered and analyzed. The first action is to create the full views
260 -- of the dependant private subtypes. The second action is to recopy the 256 -- of the dependant private subtypes. The second action is to recopy the