アサート(assert.)

APL/J言語

assert. T
アサーション(プログラム検証)の失敗は単一文Tが要素がすべて1の配列でない場合、信号を発し

ます。アサーションは9!:34と9!:35によって制御されるフラグに従って評価されます。

例えば：

cfi=: 4 : 0 " 0   NB.配列i.xにおけるy番目の順列(combination)
 assert. 0<:y
 assert. y=<.y
 assert. y<2^x
 v=. +/\(i.x)!x
 m=. (yy) i. 1
  k,(1+k)+(x-1,1+k)ci(y-k{0,v)
 end.
)

   5 cfi 6
0 1
   5 cfi 6+i.10
0 1
0 2
0 3
0 4
1 2
1 3
1 4
2 3
2 4
3 4
   (i.100) -: 100x cfi 


    

    assertion failure: cfi
    

    

           y<2^x
    


   5 cfi 6.2


    

    assertion failure: cfi
    

    

           y=<.y
    


   5 cfi 'a'


    

    domain error: cfi
    

    

       y=    <.y