-- above. The action is analyzed using the default checks after it is
-- inserted. Assoc_Node is the node with which the action is associated.
-- When flag Spec_Expr_OK is set, insertions triggered in the context of
- -- spec expressions are honoured, even though they contradict "Handling
+ -- spec expressions are honored, even though they contradict "Handling
-- of Default and Per-Object Expressions".
procedure Insert_Action
-- by the given Suppress argument after it is inserted. Assoc_Node is
-- the node with which the action is associated. When flag Spec_Expr_OK
-- is set, insertions triggered in the context of spec expressions are
- -- honoured, even though they contradict "Handling of Default and Per-
+ -- honored, even though they contradict "Handling of Default and Per-
-- Object Expressions".
procedure Insert_Actions
-- after they are inserted. Assoc_Node is the node with which the actions
-- are associated. Ins_Actions may be No_List, in which case the call has
-- no effect. When flag Spec_Expr_OK is set, insertions triggered in the
- -- context of spec expressions are honoured, even though they contradict
+ -- context of spec expressions are honored, even though they contradict
-- "Handling of Default and Per-Object Expressions".
procedure Insert_Actions
-- Assoc_Node is the node with which the actions are associated. List
-- Ins_Actions may be No_List, in which case the call has no effect.
-- When flag Spec_Expr_OK is set, insertions triggered in the context of
- -- spec expressions are honoured, even though they contradict "Handling
+ -- spec expressions are honored, even though they contradict "Handling
-- of Default and Per-Object Expressions".
procedure Insert_Action_After
--------------------
procedure Perm_Mismatch
- (Exp_Perm, Act_Perm : Perm_Kind;
- N : Node_Id);
+ (Exp_Perm, Act_Perm : Perm_Kind;
+ N : Node_Id);
-- Issues a continuation error message about a mismatch between a
-- desired permission Exp_Perm and a permission obtained Act_Perm. N
-- is the node on which the error is reported.
if Present (Iteration_Scheme (Loop_N)) then
declare
- Exit_Env : constant Perm_Env_Access := new Perm_Env;
+ Exit_Env : constant Perm_Env_Access := new Perm_Env;
begin
Copy_Env (From => Current_Perm_Env, To => Exit_Env.all);