Thread overview
Meaning of invariant
Feb 09, 2008
Edward Diener
Feb 09, 2008
Tyro[a.c.edwards]
Feb 10, 2008
Tyro[a.c.edwards]
Feb 10, 2008
Edward Diener
Feb 11, 2008
Edward Diener
February 09, 2008
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
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
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
"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
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
"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
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
"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?