run-tests.php - OpenGrok cross reference for /PHP-7.1/run-tests.php

Lines Matching refs:file_name
2767  * @param string $file_name
2774 function junit_mark_test_as($type, $file_name, $test_name, $time = null, $message = '', $details = …  argument
2778 	$suite = junit_get_suitename_for($file_name);
2782 	$time = null !== $time ? $time : junit_get_timer($file_name);
2791     $escaped_test_name = basename($file_name) . ' - ' . htmlspecialchars($test_name, ENT_QUOTES);
2792 …$JUNIT['files'][$file_name]['xml'] = "<testcase classname='$suite' name='$escaped_test_name' time=…
2806 		$JUNIT['files'][$file_name]['xml'] .= "<error type='$output_type' message='$escaped_message'/>\n";
2809 		$JUNIT['files'][$file_name]['xml'] .= "<skipped>$escaped_message</skipped>\n";
2812 		$JUNIT['files'][$file_name]['xml'] .= "<warning>$escaped_message</warning>\n";
2815 …$JUNIT['files'][$file_name]['xml'] .= "<failure type='$output_type' message='$escaped_message'>$es…
2818 …$JUNIT['files'][$file_name]['xml'] .= "<error type='$output_type' message='$escaped_message'>$esca…
2821 	$JUNIT['files'][$file_name]['xml'] .= "</testcase>\n";
2832 function junit_get_timer($file_name) {  argument
2836 	if (isset($JUNIT['files'][$file_name]['total'])) {
2837 		return number_format($JUNIT['files'][$file_name]['total'], 4);
2843 function junit_start_timer($file_name) {  argument
2847 	if (!isset($JUNIT['files'][$file_name]['start'])) {
2848 		$JUNIT['files'][$file_name]['start'] = microtime(true);
2850 		$suite = junit_get_suitename_for($file_name);
2852 		$JUNIT['suites'][$suite]['files'][$file_name] = $file_name;
2856 function junit_get_suitename_for($file_name) {  argument
2857 	return junit_path_to_classname(dirname($file_name));
2860 function junit_path_to_classname($file_name) {  argument
2862     return $JUNIT['name'] . '.' . str_replace(DIRECTORY_SEPARATOR, '.', $file_name);
2886 function junit_finish_timer($file_name) {  argument
2890 	if (!isset($JUNIT['files'][$file_name]['start'])) {
2891 		error("Timer for $file_name was not started!");
2894 	if (!isset($JUNIT['files'][$file_name]['total'])) {
2895         $JUNIT['files'][$file_name]['total'] = 0;
2898 	$start = $JUNIT['files'][$file_name]['start'];
2899 	$JUNIT['files'][$file_name]['total'] += microtime(true) - $start;
2900 	unset($JUNIT['files'][$file_name]['start']);