From e6b7f367445377c6f6bdbc7e6dfccdea5997ec8e Mon Sep 17 00:00:00 2001 From: Mathieu Loiseau <mathieu.loiseau@liris.cnrs.fr> Date: Tue, 23 Jan 2024 17:56:10 +0100 Subject: [PATCH] + de tops --- src/wiktextract_wrapper.py | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/src/wiktextract_wrapper.py b/src/wiktextract_wrapper.py index c4e33f1..83f4f64 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) -- GitLab