Here is an exemple how to use the assertion callback function :
<?php
assert_options( ASSERT_CALLBACK, 'assert_callback');
function assert_callback( $script, $line, $message ) {
echo 'You have a design error in your script <b>', $script,'</b> : line <b>', $line,'</b> :<br />';
echo '<b>', ereg_replace( '^.*//\*', '', $message ), '</b><br /><br />';
echo 'Open the source file and check it, because it\'s not a normal behaviour !';
exit;
}
$x = 3;
assert('is_integer( $x ) && ($x >= 0) && ($x <= 10); //* $x must be an integer value from 0 to 10' );
echo "0 <= $x <= 10";
?>
assertion is usefull for "design by contract" methodology ...
assert_options
(PHP 4, PHP 5)
assert_options — 様々な assert フラグを設定/取得する
説明
mixed assert_options ( int what [, mixed value] )assert_options() を使用して、種々の assert()制御オプションを設定したり、 単にカレントの設定を調べたりすることが可能です。
表 251. assert オプション
| オプション | iniパラメータ | デフォルト | 説明 |
|---|---|---|---|
| ASSERT_ACTIVE | assert.active | 1 | assert()による評価を有効にする |
| ASSERT_WARNING | assert.warning | 1 | assersionに失敗した場合にPHP警告を発生する |
| ASSERT_BAIL | assert.bail | 0 | assersionに失敗した場合に実行を終了する |
| ASSERT_QUIET_EVAL | assert.quiet_eval | 0 | assersion式についてはerror_reportingを無効にする |
| ASSERT_CALLBACK | assert.callback | (NULL) | assertionに失敗した場合にコールされるユーザ関数 |
assert_options() は、指定したオプションの元の 設定値またはエラーの場合にFALSEを返します。
assert_options
Frdric Bouchery
21-Jul-2003 08:25
21-Jul-2003 08:25