Thread overview | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|
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 | ||||
---|---|---|---|---|
| ||||
Posted in reply to Edward Diener | 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 | ||||
---|---|---|---|---|
| ||||
Posted in reply to Tyro[a.c.edwards] | 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 | ||||
---|---|---|---|---|
| ||||
Posted in reply to Edward Diener | "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 | ||||
---|---|---|---|---|
| ||||
Posted in reply to Jarrett Billingsley | 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 | ||||
---|---|---|---|---|
| ||||
Posted in reply to Edward Diener | "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 | ||||
---|---|---|---|---|
| ||||
Posted in reply to Jarrett Billingsley | 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 | ||||
---|---|---|---|---|
| ||||
Posted in reply to Edward Diener | "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? |
Copyright © 1999-2021 by the D Language Foundation