Lines Matching defs:time
13 import time
50 startTime = time.process_time()
56 endTime = time.process_time()
1041 parser.add_argument('-time', action='store_true',
1080 if args.time:
1092 startTimer(args.time)
1094 endTimer(args.time, '* Time to make ElementTree =')
1097 startTimer(args.time)
1099 endTimer(args.time, '* Time to parse ElementTree =')
1109 startTimer(args.time)
1111 endTimer(args.time, '* Time to generate ' + options.filename + ' =')