Article View: pl.comp.programming
Article #216010Re: Jak to robią w NASA
From: godek.maciek
Date: Sun, 08 Sep 2019 10:13
Date: Sun, 08 Sep 2019 10:13
25 lines
3364 bytes
3364 bytes
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/n1256.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".
Technical Details
Message-ID:
<55abf034-64c8-4bdf-a66d-72ba1b0b3b07@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!2.eu.feeder.erje.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.giganews.com!nntp.giganews.com!o24no11108553qtl.0!news-out.google.com!c11ni426qtp.0!nntp.google.com!o24no11108549qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<1ua4wui506zbf$.dlg@tyczka.com> <qkicu0$knb$1@gioia.aioe.org> <46e56026-21be-4761-908e-7991c72a1143@googlegroups.com> <qkjqqi$1b59$1@gioia.aioe.org> <0125b7f3-d337-4537-a6d3-237b78065215@googlegroups.com> <rmvauunflug0.dlg@tyczka.com> <eab71553-8760-428b-a4aa-a58ac0f346ec@googlegroups.com> <1794fcdb-d7bb-402f-927f-80010b217989@googlegroups.com> <1a2f7fe3-5745-40b2-9fd6-868fca99dea5@googlegroups.com> <a0c6a1c7-e8bf-4079-b5f2-d5dcec42f7d9@googlegroups.com> <qkoqr3$1eec$1@gioia.aioe.org> <a08139d2-95a7-4568-b224-282cfede80b5@googlegroups.com> <88ce0ee3-a454-e3c8-e800-3eabc7ae41eb@nowhere.net> <1a7664a9-c081-49f9-94a1-941aad8b3b73@googlegroups.com> <qksqus$1h0q$1@gioia.aioe.org> <32d9851d-60a0-4091-8a02-d51d326b9638@googlegroups.com> <5d7219bc$0$6446$426a74cc@news.free.fr> <qktsl4$c9i$1@gioia.aioe.org> <dad26053-c63d-4ecd-a8de-3034ca8abaa0@googlegroups.com> <ql2670$188e$1@gioia.aioe.org> <4e3d526f-791b-4e47-a9e6-6184673735b0@googlegroups.com> <ql2h3v$o8f$1@gioia.aioe.org>Show Full Headers
Complete Article Headers
X-Received: by 2002:a37:a9d1:: with SMTP id s200mr17753253qke.251.1567937595548; 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: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!2.eu.feeder.erje.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.giganews.com!nntp.giganews.com!o24no11108553qtl.0!news-out.google.com!c11ni426qtp.0!nntp.google.com!o24no11108549qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.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: groups-abuse@google.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> <46e56026-21be-4761-908e-7991c72a1143@googlegroups.com> <qkjqqi$1b59$1@gioia.aioe.org> <0125b7f3-d337-4537-a6d3-237b78065215@googlegroups.com> <rmvauunflug0.dlg@tyczka.com> <eab71553-8760-428b-a4aa-a58ac0f346ec@googlegroups.com> <1794fcdb-d7bb-402f-927f-80010b217989@googlegroups.com> <1a2f7fe3-5745-40b2-9fd6-868fca99dea5@googlegroups.com> <a0c6a1c7-e8bf-4079-b5f2-d5dcec42f7d9@googlegroups.com> <qkoqr3$1eec$1@gioia.aioe.org> <a08139d2-95a7-4568-b224-282cfede80b5@googlegroups.com> <88ce0ee3-a454-e3c8-e800-3eabc7ae41eb@nowhere.net> <1a7664a9-c081-49f9-94a1-941aad8b3b73@googlegroups.com> <qksqus$1h0q$1@gioia.aioe.org> <32d9851d-60a0-4091-8a02-d51d326b9638@googlegroups.com> <5d7219bc$0$6446$426a74cc@news.free.fr> <qktsl4$c9i$1@gioia.aioe.org> <dad26053-c63d-4ecd-a8de-3034ca8abaa0@googlegroups.com> <ql2670$188e$1@gioia.aioe.org> <4e3d526f-791b-4e47-a9e6-6184673735b0@googlegroups.com> <ql2h3v$o8f$1@gioia.aioe.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <55abf034-64c8-4bdf-a66d-72ba1b0b3b07@googlegroups.com> Subject: Re: Jak to robią w NASA From: godek.maciek@gmail.com Injection-Date: Sun, 08 Sep 2019 10:13:15 +0000 Lines: 35 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit