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

Lines Matching refs:file_name
2689  * @param string $file_name
2696 function junit_mark_test_as($type, $file_name, $test_name, $time = null, $message = '', $details = …  argument
2700 	$suite = junit_get_suitename_for($file_name);
2704 	$time = null !== $time ? $time : junit_get_timer($file_name);
2713     $escaped_test_name = basename($file_name) . ' - ' . htmlspecialchars($test_name, ENT_QUOTES);
2714 …$JUNIT['files'][$file_name]['xml'] = "<testcase classname='$suite' name='$escaped_test_name' time=…
2728 		$JUNIT['files'][$file_name]['xml'] .= "<error type='$output_type' message='$escaped_message'/>\n";
2731 		$JUNIT['files'][$file_name]['xml'] .= "<skipped>$escaped_message</skipped>\n";
2734 		$JUNIT['files'][$file_name]['xml'] .= "<warning>$escaped_message</warning>\n";
2737 …$JUNIT['files'][$file_name]['xml'] .= "<failure type='$output_type' message='$escaped_message'>$es…
2740 …$JUNIT['files'][$file_name]['xml'] .= "<error type='$output_type' message='$escaped_message'>$esca…
2743 	$JUNIT['files'][$file_name]['xml'] .= "</testcase>\n";
2754 function junit_get_timer($file_name) {  argument
2758 	if (isset($JUNIT['files'][$file_name]['total'])) {
2759 		return number_format($JUNIT['files'][$file_name]['total'], 4);
2765 function junit_start_timer($file_name) {  argument
2769 	if (!isset($JUNIT['files'][$file_name]['start'])) {
2770 		$JUNIT['files'][$file_name]['start'] = microtime(true);
2772 		$suite = junit_get_suitename_for($file_name);
2774 		$JUNIT['suites'][$suite]['files'][$file_name] = $file_name;
2778 function junit_get_suitename_for($file_name) {  argument
2779 	return junit_path_to_classname(dirname($file_name));
2782 function junit_path_to_classname($file_name) {  argument
2784     return $JUNIT['name'] . '.' . str_replace(DIRECTORY_SEPARATOR, '.', $file_name);
2808 function junit_finish_timer($file_name) {  argument
2812 	if (!isset($JUNIT['files'][$file_name]['start'])) {
2813 		error("Timer for $file_name was not started!");
2816 	if (!isset($JUNIT['files'][$file_name]['total'])) {
2817         $JUNIT['files'][$file_name]['total'] = 0;
2820 	$start = $JUNIT['files'][$file_name]['start'];
2821 	$JUNIT['files'][$file_name]['total'] += microtime(true) - $start;
2822 	unset($JUNIT['files'][$file_name]['start']);