SR : Entity_Id;
SE : constant Entity_Id := Scope (E);
- function Within_Postcondition return Boolean;
- -- Returns True if N is within a Postcondition, a
- -- Refined_Post, an Ensures component in a Test_Case,
- -- or a Contract_Cases.
+ function Within_Contract_Or_Predicate return Boolean;
+ -- Returns True if N is within a contract or predicate,
+ -- an Ensures component in a Test_Case, or a
+ -- Contract_Cases.
- --------------------------
- -- Within_Postcondition --
- --------------------------
+ ----------------------------------
+ -- Within_Contract_Or_Predicate --
+ ----------------------------------
- function Within_Postcondition return Boolean is
+ function Within_Contract_Or_Predicate return Boolean is
Nod, P : Node_Id;
begin
end loop;
return False;
- end Within_Postcondition;
+ end Within_Contract_Or_Predicate;
-- Start of processing for Potential_Unset_Reference
-- postcondition, since the expression occurs in a
-- place unrelated to the actual test.
- if not Within_Postcondition then
+ if not Within_Contract_Or_Predicate then
-- Here we definitely have a case for giving a warning
-- for a reference to an unset value. But we don't