Error_Msg_Warn := SPARK_Mode /= On;
Error_Msg_N
("!empty aggregate returned by the empty function of a container"
- & " aggregate<<<", Parent (N));
+ & " aggregate<<", Parent (N));
Error_Msg_N
- ("\this will result in infinite recursion??", Parent (N));
+ ("\this will result in infinite recursion<<", Parent (N));
end if;
---------------------------
then
Error_Msg_NE
("\packed array component& " &
- "will be initialized to zero??",
+ "will be initialized to zero?o?",
Nam, Comp);
exit;
else
Error_Msg_N
("\use pragma Import for & to " &
- "suppress initialization (RM B.1(24))??",
+ "suppress initialization (RM B.1(24))?o?",
Nam);
end if;
end Warn_Overlay;
-- Set as warning if warning case
if Restriction_Warnings (R) then
- Add_Str ("??");
+ Add_Str ("?*?");
end if;
-- Set main message
Error_Msg_N ("Check_Policy is a non-standard pragma??", N);
Error_Msg_N
("\use Assertion_Policy and aspect names Pre/Post for "
- & "Ada2012 conformance?", N);
+ & "Ada2012 conformance??", N);
end if;
return;