| """Cache lines from files. |
| |
| This is intended to read lines from modules imported -- hence if a filename |
| is not found, it will look down the module search path for a file by |
| that name. |
| """ |
| |
| import sys |
| import os |
| from stat import * |
| |
| def getline(filename, lineno): |
| lines = getlines(filename) |
| if 1 <= lineno <= len(lines): |
| return lines[lineno-1] |
| else: |
| return '' |
| |
| |
| # The cache |
| |
| cache = {} # The cache |
| |
| |
| def clearcache(): |
| """Clear the cache entirely.""" |
| |
| global cache |
| cache = {} |
| |
| |
| def getlines(filename): |
| """Get the lines for a file from the cache. |
| Update the cache if it doesn't contain an entry for this file already.""" |
| |
| if cache.has_key(filename): |
| return cache[filename][2] |
| else: |
| return updatecache(filename) |
| |
| |
| def checkcache(): |
| """Discard cache entries that are out of date. |
| (This is not checked upon each call!)""" |
| |
| for filename in cache.keys(): |
| size, mtime, lines, fullname = cache[filename] |
| try: |
| stat = os.stat(fullname) |
| except os.error: |
| del cache[filename] |
| continue |
| if size != stat[ST_SIZE] or mtime != stat[ST_MTIME]: |
| del cache[filename] |
| |
| |
| def updatecache(filename): |
| """Update a cache entry and return its list of lines. |
| If something's wrong, print a message, discard the cache entry, |
| and return an empty list.""" |
| |
| if cache.has_key(filename): |
| del cache[filename] |
| if not filename or filename[0] + filename[-1] == '<>': |
| return [] |
| fullname = filename |
| try: |
| stat = os.stat(fullname) |
| except os.error, msg: |
| # Try looking through the module search path |
| basename = os.path.split(filename)[1] |
| for dirname in sys.path: |
| fullname = os.path.join(dirname, basename) |
| try: |
| stat = os.stat(fullname) |
| break |
| except os.error: |
| pass |
| else: |
| # No luck |
| ## print '*** Cannot stat', filename, ':', msg |
| return [] |
| try: |
| fp = open(fullname, 'r') |
| lines = fp.readlines() |
| fp.close() |
| except IOError, msg: |
| ## print '*** Cannot open', fullname, ':', msg |
| return [] |
| size, mtime = stat[ST_SIZE], stat[ST_MTIME] |
| cache[filename] = size, mtime, lines, fullname |
| return lines |