Jul 6th, 2012
Accept warnings relating to hide annotations
Previously, it was not possible to use the accept annotation to justify warnings relating to use of the hide annotation. This restriction has now been lifted. Users may wish to require that all uses of hide are justified in this way as part of their SPARK coding standard. Note that, due to grammar restrictions, if you wish to accept a warning regarding a hidden private part you must place the accept annotation before the word private.