13 def getline(filename, lineno, module_globals=None):  argument
14     lines = getlines(filename, module_globals)
33 def getlines(filename, module_globals=None):  argument
37     if filename in cache:
38         return cache[filename][2]
41         return updatecache(filename, module_globals)
47 def checkcache(filename=None):  argument
51     if filename is None:
54         if filename in cache:
55             filenames = [filename]
59     for filename in filenames:
60         size, mtime, lines, fullname = cache[filename]
66             del cache[filename]
69             del cache[filename]
72 def updatecache(filename, module_globals=None):  argument
77     if filename in cache:
78         del cache[filename]
79     if not filename or (filename.startswith('<') and filename.endswith('>')):
82     fullname = filename
86         basename = filename
104                     cache[filename] = (
108                     return cache[filename][2]
112         if os.path.isabs(filename):
138     cache[filename] = size, mtime, lines, fullname