Knowledge Center

Developer Gems    

  • Gem #149 : Asserting the truth, but (possibly) not the whole truth

    In Ada 2012, assertions that state desired properties of programs are not limited to pragma Assert. This Gem presents how pragma Assertion_Policy can be used to control which of these assertions should be executed at run time.

  • Gem #148 : Su(per)btypes in Ada 2012 - Part 3

    In the previous two Gems of this series, we saw how the aspects Static_Predicate and Dynamic_Predicate can be used to state properties of objects that should be respected at all times. This Gem is concerned with the Type_Invariant aspect.