From a178608f3756c6c8ec673c6fe2b39d8e75d8c0a4 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Tue, 21 Feb 2012 20:17:18 +0000
Subject: [PATCH] utils/pgf-translate now reports the parsing time

---
 src/runtime/c/utils/pgf-translate.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/runtime/c/utils/pgf-translate.c b/src/runtime/c/utils/pgf-translate.c
index 6d0a8804d..129bd29a4 100644
--- a/src/runtime/c/utils/pgf-translate.c
+++ b/src/runtime/c/utils/pgf-translate.c
@@ -14,6 +14,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <locale.h>
+#include <time.h>
 
 int main(int argc, char* argv[]) {
 	// Set the character locale, so we can produce proper output.
@@ -102,6 +103,8 @@ int main(int argc, char* argv[]) {
 		// sentence, so our memory usage doesn't increase over time.
 		GuPool* ppool = gu_new_pool();
 
+		clock_t start = clock();
+
 		// Begin parsing a sentence of the specified category
 		PgfParse* parse =
 			pgf_parser_parse(from_concr, cat, lin_idx, pool);
@@ -125,6 +128,11 @@ int main(int argc, char* argv[]) {
 			}
 			tok = strtok(NULL, " \n");
 		}
+		
+		clock_t end = clock();
+
+		double cpu_time_used = ((double) (end - start)) / CLOCKS_PER_SEC;
+		printf("%.2f sec\n", cpu_time_used);
 
 		// Now begin enumerating the resulting syntax trees
 		GuEnum* result = pgf_parse_result(parse, ppool);