[Not important] the “not null” notation in Ada 2005

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

I remember some peoples says here, this is a pity to have “not null”  
annotations, while the case which should be clearly marked, is the one  
where a reference may be null. I'm OK with that principle. But concretely  
what would have been the notation ? “may be null” ? Two reserved words  
added for that ? A simple “null” would not have been really expressive  
(just a though I get right a few minutes ago).


-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.
“ c++; /* this makes c bigger but returns the old value */ ” [Anonymous]