View mode: basic / threaded / horizontal-split · Log in · Help
February 09, 2008
Meaning of invariant
I could not find any explanation for the keyword 'invariant' in the PDF 
doc. Is it the equivalent of the C++ 'const' in at least some of the 
latter's usages ?

The only explanation for it existed as part of Contract Programming, but 
it seems to be used otherwise also.
February 09, 2008
Re: Meaning of invariant
Edward Diener さんは書きました:
> I could not find any explanation for the keyword 'invariant' in the PDF 
> doc. Is it the equivalent of the C++ 'const' in at least some of the 
> latter's usages ?
> 
> The only explanation for it existed as part of Contract Programming, but 
> it seems to be used otherwise also.

http://www.digitalmars.com/d/2.0/const3.html
February 10, 2008
Re: Meaning of invariant
Tyro[a.c.edwards] さんは書きました:
> Edward Diener さんは書きました:
>> I could not find any explanation for the keyword 'invariant' in the 
>> PDF doc. Is it the equivalent of the C++ 'const' in at least some of 
>> the latter's usages ?
>>
>> The only explanation for it existed as part of Contract Programming, 
>> but it seems to be used otherwise also.
> 
> http://www.digitalmars.com/d/2.0/const3.html

If I recall correctly invarinats were not introduced until 2.0 so you 
won't find int in 1.0 documentation or usage.

Regards,
Andrew
February 10, 2008
Re: Meaning of invariant
"Edward Diener" <eddielee_no_spam_here@tropicsoft.com> wrote in message 
news:foldqs$47f$1@digitalmars.com...
>I could not find any explanation for the keyword 'invariant' in the PDF 
>doc. Is it the equivalent of the C++ 'const' in at least some of the 
>latter's usages ?
>
> The only explanation for it existed as part of Contract Programming, but 
> it seems to be used otherwise also.

In D1, it's only used in Contract Programming.
February 10, 2008
Re: Meaning of invariant
Jarrett Billingsley wrote:
> "Edward Diener" <eddielee_no_spam_here@tropicsoft.com> wrote in message 
> news:foldqs$47f$1@digitalmars.com...
>> I could not find any explanation for the keyword 'invariant' in the PDF 
>> doc. Is it the equivalent of the C++ 'const' in at least some of the 
>> latter's usages ?
>>
>> The only explanation for it existed as part of Contract Programming, but 
>> it seems to be used otherwise also.
> 
> In D1, it's only used in Contract Programming. 

Thanks !

I do hope there will be a doc pdf version of D2.
February 11, 2008
Re: Meaning of invariant
"Edward Diener" <eddielee_no_spam_here@tropicsoft.com> wrote in message 
news:fonkmi$2hla$1@digitalmars.com...

>
> Thanks !
>
> I do hope there will be a doc pdf version of D2.
>

Honestly, what's wrong with using your web browser?
February 11, 2008
Re: Meaning of invariant
Jarrett Billingsley wrote:
> "Edward Diener" <eddielee_no_spam_here@tropicsoft.com> wrote in message 
> news:fonkmi$2hla$1@digitalmars.com...
> 
>> Thanks !
>>
>> I do hope there will be a doc pdf version of D2.
>>
> 
> Honestly, what's wrong with using your web browser? 

I find it much easier to download a pdf document and view it locally. It 
also can be printed off, either in part or wholly, for studying away 
from a computer.
February 12, 2008
Re: Meaning of invariant
"Edward Diener" <eddielee_no_spam_here@tropicsoft.com> wrote in message 
news:foqjqp$ic1$3@digitalmars.com...
>
> I find it much easier to download a pdf document and view it locally. It 
> also can be printed off, either in part or wholly, for studying away from 
> a computer.

*gasp*

Away... from a _computer_??

There's such a place?
Top | Discussion index | About this forum | D home