ヨタの日々

_ 朝

0530 起床。

ふに。

_ 朝飯

今日もメローンていうかなぜこんなにノルマのようにメロンがあるんだ...。

_ 仕事

0640 へいしゃー。

昨日教わったのでセコム対策はばっちりだ。

_ 整然

以前 djb なプログラムのうち if が整然と並んでいて美しいなあなどと感心したのだけどどのプログラムだったかと探してみた。

djbdns( 和訳 djbdns 入門 ) だった。

たとえば dnsq.c の main() のところ。

 int main(int argc,char **argv)
 {
   uint16 u16;

   dns_random_init(seed);

   if (!*argv) usage();
   if (!*++argv) usage();
   if (!parsetype(*argv,type)) usage();

   if (!*++argv) usage();
   if (!dns_domain_fromdot(&q,*argv,str_len(*argv))) oops();

   if (!*++argv) usage();
   if (!stralloc_copys(&out,*argv)) oops();
   if (dns_ip4_qualify(&ip,&fqdn,&out) == -1) oops();
   if (ip.len >= 64) ip.len = 64;
   byte_zero(servers,64);
   byte_copy(servers,ip.len,ip.s);

   if (!stralloc_copys(&out,"")) oops();
   uint16_unpack_big(type,&u16);
   if (!stralloc_catulong0(&out,u16,0)) oops();
   if (!stralloc_cats(&out," ")) oops();
   if (!dns_domain_todot_cat(&out,q)) oops();
   if (!stralloc_cats(&out,":\n")) oops();

   if (resolve(q,type,servers) == -1) {
     if (!stralloc_cats(&out,error_str(errno))) oops();
     if (!stralloc_cats(&out,"\n")) oops();
   }
   else {
     if (!printpacket_cat(&out,tx.packet,tx.packetlen)) oops();
   }

   buffer_putflush(buffer_1,out.s,out.len);
   _exit(0);
 }

このように関数や機能の「 契約 」がしっかりしているとテストしやすいのでありますな。

「 契約 」とは、関数でいえば「 この引数を渡すとこの戻り値が返る 」ということを保証するもの。

プログラムのテストというのはこの「 契約 」についてテストするのであります。むしろ「 契約 」がないとテストできない。

「 契約 」については達人プログラマーに書いてあったのだだったか。

4894712741

_ 肉体 hero

自転車に乗って

帰宅すると

足がしびれた。

どうやら酸欠らしい。

帰宅時の疲労の原因は酸欠だったか。

_ 飯

カレーうどん。