Why is Dynamic_Predicate not working?

Question

215 views Asked by Markus At 10 November 2014 at 17:26

I started to learn Ada yesterday but I don't really understand the Dynamic_Predicate'aspect. when declaring:

type evenInt is new Integer
 with Dynamic_Predicate => evenInt mod 2 = 0;

Why is it still possible to:

anOddNum : evenInt := 7;

since:

Dynamic_Predicate => evenInt mod 2 = 0

forbids to declare odd numbers?

There are 1 answers

**egilhh** · Accepted Answer · 2014-11-10T17:30:30+00:00

egilhh On 10 November 2014 at 17:30 BEST ANSWER

You need to compile with assertions enabled (-gnata)