Re: not null

[Jacob Sparre Andersen <sparre@nbi.dk>]

Adam Beneschan wrote:
> Jacob Sparre Andersen wrote:

>> > Whatever mistakes a programmer could in the actual Ada language
>> > make by forgetting to check whether an access value is null, he
>> > could make in the above example by forgetting to check the
>> > Present discriminant.
>>
>> No.  The _compiler_ checks the discriminant.  The programmer will
>> get a Constraint_Error if he tries to use "Ref" while "Present" is
>> false.
>
> It also checks access values and raises Constraint_Error if they're
> null, so I don't understand what your point is.

Neither do I.  Must have been sleepy.

Greetings,

Jacob
-- 
A password should be like a toothbrush. Use it every day;
change it regularly; and DON'T share it with friends.