/hphp/test/zend/good/ext/standard/tests/strings/vfprintf_variation5.php

<?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
*/

/*
 * Test vfprintf() when different float formats and float values are passed to
 * the '$format' and '$args' arguments of the function
*/
<<__EntryPoint>> function main(): void {
echo "*** Testing vfprintf() : int formats with float values ***\n";


// defining array of float formats
$formats = varray[
  "%f",
  "%+f %-f %F",
  "%lf %Lf, %4f %-4f",
  "%10.4f %-10.4F %04f %04.4f",
  "%'#2f %'2f %'$2f %'_2f",
  "%f %f %f %f",
  "% %%f f%",
  '%3$f %4$f %1$f %2$f'
];

// Arrays of float values for the format defined in $format.
// Each sub array contains float values which correspond to each format string in $format
$args_array = varray[
  varray[0.0],
  varray[-0.1, +0.1, +10.0000006],
  varray[2147483649, -2147483647, +2147483640, -2147483640],
  varray[2e5, 2e-5, -2e5, -2e-5],
  varray[0.2E5, -0.2e40, 0.2E-20, 0.2E+20],
  varray[0x123b, 0xfAb, 0123, 01293],
  varray[1234.1234, -5678.5678, 2345.2345],
  varray[3.33, 4.44, 1.11, 2.22]

];

/* creating dumping file */
$data_file = dirname(__FILE__) . '/vfprintf_variation5.txt';
if (!($fp = fopen($data_file, 'wt')))
   return;

// looping to test vprintf() with different float formats from the above $format array
// and with float values from the above $args_array array
$counter = 1;
foreach($formats as $format) {
  fprintf($fp, "\n-- Iteration %d --\n",$counter);
  vfprintf($fp, $format, $args_array[$counter-1]);
  $counter++;
}

fclose($fp);
print_r(file_get_contents($data_file));
echo "\n";

unlink($data_file);

echo "===DONE===\n";
}