sem_ch10.ads, [...] (Check_Redundant_Withs, [...]): If the context of a body includes a use clause for P.Q then a with_clause for P...
2006-10-31 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.ads, sem_ch10.adb (Check_Redundant_Withs,
Process_Body_Clauses): If the context of a body includes a use clause
for P.Q then a with_clause for P in the same body is not redundant,
even if the spec also has a with_clause on P.
Add missing continuation mark to error msg
(Build_Limited_Views): A limited view of a type is tagged if its
declaration includes a record extension.
(Analyze_Proper_Body): Set Corresponding_Stub field in N_Subunit
node, even if the subunit has errors. This avoids malfunction by
Lib.Check_Same_Extended_Unit in the presence of syntax errors.
(Analyze_Compilation_Unit): Add circuit to make sure we get proper
generation of obsolescent messages for with statements (cannot do
this too early, or we cannot implement avoiding the messages in the
case of obsolescent units withing obsolescent units).
(Install_Siblings): If the with_clause is on a remote descendant of
an ancestor of the current compilation unit, find whether there is
a sibling child unit that is immediately visible.
(Remove_Private_With_Clauses): New procedure, invoked after completing
the analysis of the private part of a nested package, to remove from
visibility the private with_clauses of the enclosing package
declaration.
(Analyze_With_Clause): Remove Check_Obsolescent call, this checking is
now centralized in Generate_Reference.
(Install_Limited_Context_Clauses): Remove superfluous error
message associated with unlimited view visible through use
and renamings. In addition, at the point in which the error
is reported, we add the backslash to the text of the error
to ensure that it is reported as a single error message.
Use new // insertion for some continuation messages
(Expand_Limited_With_Clause): Use copy of name rather than name itself,
to create implicit with_clause for parent unit mentioned in original
limited_with_clause.
(Install_Limited_With_Unit): Set entity of parent identifiers if the
unit is a child unit. For ASIS queries.
(Analyze_Subunit): If the subunit appears within a child unit, make all
ancestor child units directly visible again.