関数の引数はどこで検査するべきか

1/** 2* 自然数同士の足し算を行う 3* 4* @param integer $x 自然数であること 5* @param integer $y 自然数であること 6* @return integer $xと$yの合計値 7*/ 8function Add($x, $y) { 9 $sum = $x + $y; 10 return $sum; 11} このようなコードがあるとします。 $x, $yが引数として妥当であること（型がintegerである、自然数である）の検査をする箇所について質問があります。 検査すべき場所として下記3パターンあると思うのですがどれが妥当なのですか？ (a)関数内で行うもの (b)呼び出し側で行うもの (c)a,b両方で行うもの 防衛的プログラミングや契約プログラミングというワードを「達人プログラマー」の書籍でしり混乱しています... 上記3パターン以外の手