-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2010, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
function Present_System_Aux (N : Node_Id := Empty) return Boolean;
-- Return True if the auxiliary system file has been successfully loaded.
-- Otherwise attempt to load it, using the name supplied by a previous
- -- Extend_System pragma, and report on the success of the load.
- -- If N is present, it is a selected component whose prefix is System,
- -- or else a with-clause on system. N is absent when the function is
- -- called to find the visibility of implicit operators.
+ -- Extend_System pragma, and report on the success of the load. If N is
+ -- present, it is a selected component whose prefix is System, or else a
+ -- with-clause on system. N is absent when the function is called to find
+ -- the visibility of implicit operators.
procedure Restore_Scope_Stack (Handle_Use : Boolean := True);
procedure Save_Scope_Stack (Handle_Use : Boolean := True);
- -- These two procedures are called from Semantics, when a unit U1 is
- -- to be compiled in the course of the compilation of another unit U2.
- -- This happens whenever Rtsfind is called. U1, the unit retrieved by
- -- Rtsfind, must be compiled in its own context, and the current scope
- -- stack containing U2 and local scopes must be made unreachable. On
- -- return, the contents of the scope stack must be made accessible again.
- -- The flag Handle_Use indicates whether local use clauses must be
- -- removed/installed. In the case of inlining of instance bodies, the
- -- visibility handling is done fully in Inline_Instance_Body, and use
- -- clauses are handled there.
+ -- These two procedures are called from Semantics, when a unit U1 is to
+ -- be compiled in the course of the compilation of another unit U2. This
+ -- happens whenever Rtsfind is called. U1, the unit retrieved by Rtsfind,
+ -- must be compiled in its own context, and the current scope stack
+ -- containing U2 and local scopes must be made unreachable. On return, the
+ -- contents of the scope stack must be made accessible again. The flag
+ -- Handle_Use indicates whether local use clauses must be removed or
+ -- installed. In the case of inlining of instance bodies, the visibility
+ -- handling is done fully in Inline_Instance_Body, and use clauses are
+ -- handled there.
procedure Set_Use (L : List_Id);
-- Find use clauses that are declarative items in a package declaration
-- and set the potentially use-visible flags of imported entities before
-- analyzing the corresponding package body.
+ procedure ws;
+ -- Debugging routine for use in gdb: dump all entities on scope stack
+
end Sem_Ch8;