Rで関数の前提条件と事後条件をチェックして文書化する慣用的な方法は何ですか?Eiffel
ここでは、の組み込みrequire
とensure
構築、またはD
の最先端のブロックを検討しますが、ほとんどの言語にはこれらが組み込まれていないため、それらを近似するためのベストプラクティスが開発されていin
ます。out
前提条件をチェックするということは、関数の仮定を満たさないデータが渡された場合に、ある種のランタイム例外をスローすることを意味します。現在stopifnot
、関数の開始時に考えられるすべての前提条件に対するステートメントがあります。同じことが事後条件にも当てはまりますが、パラメーターではなく戻り値に関してです。
さらに、これらの前提条件と事後条件が何であるかを文書化する標準的な方法はありますか?たとえば、JavaのJavaDocコメントでこれらを詳しく説明するのはかなり標準的です。
この点でRのベストプラクティスは何ですか?