<?php

	interface TestReporter {
		
		public function write(TestResult $result);
		
	}

?>