diff --git a/src/wiktextract_wrapper.py b/src/wiktextract_wrapper.py index c4e33f1cc0f7abf9f82d1b885193e5c6d6a69733..83f4f64194042d86a202202427aafced81c26b74 100644 --- a/src/wiktextract_wrapper.py +++ b/src/wiktextract_wrapper.py @@ -29,7 +29,8 @@ import time wiktextractime = -1 convertime = -1 startime = -1 - +startparsetime = -1 +getpagetime = -1 class Wiktextract: def __init__(self, wiktlang: str, wordlang: str): @@ -42,11 +43,13 @@ class Wiktextract: global wiktextractime global convertime global startime + global startparsetime + global getpagetime + startparsetime = time.time() page = self.wxr.wtp.get_page(title) if not page: return None - - startime = time.time() + getpagetime = time.time() result = parse_page(self.wxr, title, page.body) wiktextractime = time.time() converted_result = self.convert(result) @@ -119,13 +122,17 @@ class Wiktextract: if __name__ == "__main__": + top = time.time() if args.entry != None: + startime = time.time() wkstrkt = Wiktextract(args.wikt_language, args.word_language) + instantiatime = time.time() result = wkstrkt.parse_page(args.entry) print(json.dumps(result, ensure_ascii=args.force_ascii)) endtime = time.time() - print(f"Execution ({endtime-startime}â€):\n\twiktextract → {wiktextractime-startime}\n\tconversion → {convertime-wiktextractime}\n\tprint result → {endtime - convertime}") + print(f"Execution ({endtime-startime}â€):\n\tinstantiation→{instantiatime-startime}\n\twiktextract get page → {getpagetime-startparsetime}\n\twiktextract parse → {wiktextractime-startparsetime}\n\tconversion → {convertime-wiktextractime}\n\tprint result → {endtime - convertime}") else: print("{'err':'You need to specify a word'}") if formerdir != None: os.chdir(formerdir) + print(time.time()-top)