/hphp/test/zend/good/ext/standard/tests/strings/vfprintf_basic7_64bit.php
PHP | 38 lines | 24 code | 8 blank | 6 comment | 1 complexity | 8ba0757764939c380ba3a7f11fabdde7 MD5 | raw file
Possible License(s): LGPL-2.1, BSD-2-Clause, BSD-3-Clause, MPL-2.0-no-copyleft-exception, MIT, LGPL-2.0, Apache-2.0
- <?hh
- /* Prototype : int vfprintf ( resource $handle , string $format , array $args )
- * Description: Write a formatted string to a stream
- * Source code: ext/standard/formatted_print.c
- */
- <<__EntryPoint>> function main(): void {
- echo "*** Testing vfprintf() : basic functionality - using unsigned format ***\n";
- // Initialise all required variables
- $format = "format";
- $format1 = "%u";
- $format2 = "%u %u";
- $format3 = "%u %u %u";
- $arg1 = varray[-1111];
- $arg2 = varray[-1111,-1234567];
- $arg3 = varray[-1111,-1234567,-2345432];
- /* creating dumping file */
- $data_file = dirname(__FILE__) . '/vfprintf_basic7_64bit.txt';
- if (!($fp = fopen($data_file, 'wt')))
- return;
-
- vfprintf($fp, $format1,$arg1);
- fprintf($fp, "\n");
- vfprintf($fp, $format2,$arg2);
- fprintf($fp, "\n");
- vfprintf($fp, $format3,$arg3);
- fprintf($fp, "\n");
- fclose($fp);
- print_r(file_get_contents($data_file));
- unlink($data_file);
- echo "===DONE===\n";
- }