GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — codeql/python/extractor/semmle/profiling.py at codeql-cli/v2.27.2 · github/codeql

Expand file tree

/

profiling.py

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
70 lines (53 loc) · 1.75 KB
/

profiling.py

Copy path

File metadata and controls

70 lines (53 loc) · 1.75 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
from . import util
import os.path
import sys
from time import time
import collections
__all__ = [ 'get_profiler' ]
class NoProfiler(object):
'''Dummy profiler'''
def __init__(self):
pass
def __enter__(self):
return self
def __exit__(self, *args):
pass
class StatProfiler(object):
''' statprof based statistical profiler'''
def __init__(self, outpath):
self.outpath = outpath
def __enter__(self):
statprof.start()
return self
def __exit__(self, *args):
statprof.stop()
with open(self.outpath, "w") as fd:
statprof.display(fd)
def get_profiler(options, id, logger):
'''Returns a profile based on options and version. `id` is used to
label the output file.'''
global statprof
if options.profile_out:
if sys.version_info >= (3,0):
logger.warning("Cannot create profiler: statprof is Python2 only.")
else:
try:
import statprof
util.makedirs(options.profile_out)
outpath = os.path.join(options.profile_out, "profile-%s.txt" % id)
logger.info("Writing profile information to %s", outpath)
return StatProfiler(outpath)
except ImportError:
logger.warning("Cannot create profiler: no statprof module.")
except Exception as ex:
logger.warning("Cannot create profiler: %s", ex)
return NoProfiler()
class MillisecondTimer(object):
def __init__(self):
self.elapsed = 0.0
def __enter__(self):
self.start = time()
return self
def __exit__(self, *_):
self.elapsed += (time() - self.start)*1000
timers = collections.defaultdict(MillisecondTimer)
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.