★ wanayoo — archive 1999 http://fr.php.net/manual/ru/function.assert-options.phpNouvelle recherche | Portail wanayoo
PHP  
downloads | documentation | faq | getting help | mailing lists | reporting bugs | php.net sites | links | my php.net 
search for in the  
<PHP Options/Infoassert>
view the version of this page
Last updated: Wed, 16 Mar 2005

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

optionini-parameterdefaultdescription
ASSERT_ACTIVEassert.active1enable assert() evaluation
ASSERT_WARNINGassert.warning1issue a PHP warning for each failed assertion
ASSERT_BAILassert.bail0terminate execution on failed assertions
ASSERT_QUIET_EVALassert.quiet_eval0 disable error_reporting during assertion expression evaluation
ASSERT_CALLBACKassert.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 add a note User Contributed Notes
assert_options
Frdric Bouchery
21-Jul-2003 01: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 ...

<PHP Options/Infoassert>
 Last updated: Wed, 16 Mar 2005
show source | credits | sitemap | contact | advertising | mirror sites 
Copyright © 2001-2005 The PHP Group
All rights reserved.
This mirror generously provided by: nexen.net
Last updated: Wed Mar 23 05:13:59 2005 CET