Automatic invariant generation

ketmar via Digitalmars-d digitalmars-d at puremagic.com
Fri Jul 7 14:15:06 PDT 2017


Steven Schveighoffer wrote:

> On 7/7/17 4:26 PM, ketmar wrote:
>> Steven Schveighoffer wrote:
>> 
>>> On 7/7/17 2:27 PM, ketmar wrote:
>>>> ketmar wrote:
>>>>
>>>>> yeah, this is annoying. while checking for "null this" in *class* 
>>>>> method may look hacky
>>>> tbh, i see nothing wrong in checking for "null this" even in class 
>>>> methods, but this is a completely different story.
>>>
>>> In *final* methods maybe. Virtual methods are going to crash anyway 
>>> before they get to that point.
>> i meant "in manual checking", i.e. "i think that compiler-inserted 
>> `assert` is not necessary at all". sorry for writing indecipherable 
>> engrish. ;-)
>
> My statement still applies ;)

yeah ;-)


More information about the Digitalmars-d mailing list