Output total processing time at end of run.

Author: wkiri

src/parserindexer/parse_all.py

@@ -5,7 +5,7 @@
 from jsreparser import JsreParser
 import io, ntpath
 from utils import canonical_name, canonical_target_name
-
+import datetime
 
 class ParseAll(CoreNLPParser):
 
@@ -177,4 +177,7 @@ def parse_file(self, path):
     cli_p.add_argument("-j", "--jsre", help="Path to jSRE installation directory.", required=True)
     cli_p.add_argument("-m", "--jsre-model", help="Base path to jSRE models.", required=True)
     args = vars(cli_p.parse_args())
+    start_time = datetime.datetime.now()
     main(ParseAll, args)
+    print('Took ' + str(datetime.datetime.now() - start_time)[:-4] +
+          ' (H:M:S) to process all files.')