PHP: assert_options - Manual

downloads | documentation | faq | getting help | mailing lists | reporting bugs | php.net sites | links | conferences | my php.net

search for in the

assert PHP Options/Info

Last updated: Fri, 26 Jan 2007

view this page in

# assert_options

(PHP 4, PHP 5)

assert_options -- Set/get the various assert flags

## Description

mixed assert_options ( int what [, mixed value] )

Using assert_options() you may set the various assert() control options or just query their current settings.

Таблица 1. Assert Options

option | ini-parameter | default | description
--- | --- | --- | ---
ASSERT_ACTIVE | assert.active | 1 | enable assert() evaluation
ASSERT_WARNING | assert.warning | 1 | issue a PHP warning for each failed assertion
ASSERT_BAIL | assert.bail | 0 | terminate execution on failed assertions
ASSERT_QUIET_EVAL | assert.quiet_eval | 0 | disable error_reporting during assertion expression evaluation
ASSERT_CALLBACK | assert.callback | (`NULL`) | user function to call on failed assertions

assert_options() will return the original setting of any option or `FALSE` on errors.

add a note User Contributed Notes
assert_options
Fr�d�ric Bouchery
20-Jul-2003 04:25
`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 ...`
add a note
assert PHP Options/Info

Last updated: Fri, 26 Jan 2007
show source | credits | stats | sitemap | contact | advertising | mirror sites
Copyright © 2001-2007 The PHP Group
All rights reserved.
This mirror generously provided by: Yahoo! Inc.
Last updated: Sat Mar 10 11:33:19 2007 PST