nul and non null types

[sonntag benoit]

Pierre-Alexandre Voye <ontologiae at gmail.com> a écrit :

> + local : TYPE [ local =! NULL ];
>
> You want a syntax for this ?

Yes, ça fait bien double emploi avec les contrats...

>
> 2010/1/26 Mildred Ki'Lya <ml.mildred593 at gmail.com>
>
>> Hi,
>>
>>
>>
>> earlier, we discussed the possibility to specify in the type of a local
>> (possibly a parameter to a function) if it should be allowed to be null
>> or not.
>>
>> I recently found an interesting syntax, but we have to spend a special
>> character for it (it shouldn't be ambiguous though). It comes from the
>> vala language:
>> http://www.vala-project.org/doc/vala/types.html#nullabletypes
>>
>>
>> local : TYPE?
>>    (local is allowed to be NULL)
>>
>> local : TYPE
>>    (local must never be NULL, if it is, it's an error, either
>> compile-time or run-time)
>>
>>
>> That was my idea of the moment.
>>
>> --
>> Mildred Ki'Lya
>> ?????????? ???????????????????? ??????????
>> ? Jabber, GoogleTalk: <mildred at jabber.fr>
>> ? Website: <http://ki.lya.online.fr>           GPG ID: 9A7D 2E2B
>> ? Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B
>>
>>
>> _______________________________________________
>> Lisaac-devel mailing list
>> Lisaac-devel at lists.alioth.debian.org
>> http://lists.alioth.debian.org/mailman/listinfo/lisaac-devel
>>
>>
>
>
> --
> ---------------------
> Isaac Project - http://www.lisaac.org/
>