Re: Proposal: pragma Assumption

["Santiago Urueña" <suruena@gmail.com>]

> So the proposal would be adding to the next Ada revision two new
> pragmas:
>
>   pragma Assumption ([Check =>] boolean_expression[,
>                      [Message =>] string_expression]);
>   pragma Assumption_Policy (policy_identifier);   -- Error, Check
>
I've been thinking more about it, and probably the compilers should be
encouraged to choose a long switch name to reduce the chance of
forgetting to remove that it in the final binary. For example, instead
of (say) "-gnatap", choose something like "--allow-unimplemented-
units".

And maybe the pragma Assumption_Policy is a bad idea for the same
reasons: this pragma has preference over the compiler switches (at
least for gnat in the case of pragma Assert_Policy), so it is very
easy to forget to change the policy from "Check" to "Error"...

--
Santiago Urueña-Pascual
Technical University of Madrid (UPM)