Re: Jak to robią w NASA - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Jak to robią w NASA › Re: Jak to robią w NASA

X-Received: by 2002:a37:27d0:: with SMTP id n199mr17559179qkn.313.1567937595421; Sun,
08 Sep 2019 03:13:15 -0700 (PDT)
X-Received: by 2002:a37:27d0:: with SMTP id n199mr17559179qkn.313.1567937595421; Sun,
08 Sep 2019 03:13:15 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!2.eu.feeder.erj
e.net!4.us.feeder.erje.net!feeder.erje.net!weretis.net!feeder6.news.weretis.net
!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.g
iganews.com!nntp.giganews.com!o24no11108553qtl.0!news-out.google.com!c11ni426qt
p.0!nntp.google.com!o24no11108549qtl.0!postnews.google.com!glegroupsg2000goo.go
oglegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Sun, 8 Sep 2019 03:13:15 -0700 (PDT)
In-Reply-To: <ql2h3v$o8f$1@gioia.aioe.org>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=83.25.253.100;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 83.25.253.100
References: <1ua4wui506zbf$.dlg@tyczka.com> <qkicu0$knb$1@gioia.aioe.org>
<4...@g...com>
<qkjqqi$1b59$1@gioia.aioe.org>
<0...@g...com>
<r...@t...com>
<e...@g...com>
<1...@g...com>
<1...@g...com>
<a...@g...com>
<qkoqr3$1eec$1@gioia.aioe.org>
<a...@g...com>
<8...@n...net>
<1...@g...com>
<qksqus$1h0q$1@gioia.aioe.org>
<3...@g...com>
<5d7219bc$0$6446$426a74cc@news.free.fr> <qktsl4$c9i$1@gioia.aioe.org>
<d...@g...com>
<ql2670$188e$1@gioia.aioe.org>
<4...@g...com>
<ql2h3v$o8f$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5...@g...com>
Subject: Re: Jak to robią w NASA
From: g...@g...com
Injection-Date: Sun, 08 Sep 2019 10:13:15 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 35
Xref: news-archive.icm.edu.pl pl.comp.programming:213978
[ ukryj nagłówki ]
W dniu niedziela, 8 września 2019 11:20:03 UTC+2 użytkownik AK napisał:

> > Jest sobie słowo. Tym słowem jest 'asercja' w języku polskim (albo 'assertion' po
angielsku). To słowo ma swoje określone znaczenie.
> > Nawet standard C w paru miejscach używa tego słowa w tym znaczeniu.
>
> Ales ty guuupi :)

Bo...?

A, wiem.
"Bo piszę głupoty".

Szkoda mi czasu na taki "poziom argumentacji".

Przykładowo, ISO/IEC 9899:TC3 [http://www.open-std.org/jtc1/sc22/wg14/www/docs/n12
56.pdf], strona 111

EXAMPLE 1 The file scope declarations

int * restrict a;
int * restrict b;
extern int c[];

assert that if an object is accessed using one of a, b, or c, and that object is
modified anywhere in the program, then it is never accessed using either of the other
two.

Możesz zobaczyć, że pierwszym słowem następującym po fragmencie kodu jest słowo
"assert". I mogę Ci podpowiedzieć, że to nie jest makro w C. Frazę "assert that"
przetłumaczyłbym w tym miejscu jako "stwierdzają, że".