Re: [SPARK] Code safety and information hiding

[Stephen Leake <stephen_leake@stephe-leake.org>]

Colin Paul Gloster <Colin_Paul_Gloster@ACM.org> writes:

> Stephen Leake has written:
>
> "[..]
>
> Hmm. Now that I think about it, it would be easy to implement a
> run-time check for that rule. But it would be a waste of time in the
> production system. Might still be worth it; I have other run-time
> checks for similar rules (in particular, "symbols must be written
> before being read") that are hard to check otherwise.
>
> [..]"
>
> Was simply Ada code run in the application to check the rule meant by 
> that, or do you have customized run-time checks in your GNAT run-time 
> kernel?

Just Ada code; no modifications to the compiler run-time.

-- 
-- Stephe