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/files.py at codeql-cli/v2.27.2 · github/codeql

Expand file tree

/

files.py

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
97 lines (79 loc) · 3.25 KB
/

files.py

Copy path

File metadata and controls

97 lines (79 loc) · 3.25 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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
import os.path
import sys
from semmle.util import base64digest, makedirs
_WINDOWS = os.name == "nt"
LONG_PATH_PREFIX = "\\\\?\\"
def make_renamer(renamer):
if os.name == "nt":
if renamer is None:
return lambda path : path.replace('\\', '/')
else:
return lambda path : renamer(path).replace('\\', '/')
else:
if renamer is None:
return lambda path : path
else:
return renamer
class NullArchive(object):
'''A fake source archive object for use when there is no
source archive folder. For example, by qltest.'''
def __init__(self, renamer=None):
self.renamer = make_renamer(renamer)
def write(self, path, source, encoding=None):
pass
def get_virtual_path(self, real_path):
'''Gets the virtual (potentially renamed) path for the given real path'''
return self.renamer(real_path)
class RenamingFolder(object):
'''A folder that can rename its contents according to the given renamer
(usually derived from a project layout file).'''
def __init__(self, folder, renamer, logger):
assert folder is not None
self.folder = folder
self.renamer = make_renamer(renamer)
self.logger = logger
def get_virtual_path(self, real_path):
'''Gets the virtual (potentially renamed) path for the given real path'''
return self.renamer(real_path)
def get_storage_path(self, *subpath):
'''Gets the path for storing an item at.
Creates the necessary sub folders and
handles long paths on Windows.'''
#Remove empty path elements
subpath = [ p for p in subpath if p ]
suffix = os.sep.join(subpath)
suffix = suffix.replace(':', '_')
if suffix[0] in '/\\':
result = self.folder + suffix
else:
result = self.folder + os.sep + suffix
if _WINDOWS and len(result) > 240:
result = LONG_PATH_PREFIX + result
folder = os.path.dirname(result)
if not os.path.exists(folder):
makedirs(folder)
return result
class TrapFolder(RenamingFolder):
def _trap_path(self, namespace, path, extension='.trap.gz'):
vpath = self.get_virtual_path(path)
parts = vpath.split('/')
basename = parts[-1]
hashcode = base64digest(vpath + namespace)
filename = basename + '.' + hashcode + extension
return self.get_storage_path(filename)
def write_trap(self, namespace, path, data, extension='.trap.gz'):
'''Write the trap file for `path` in `namespace` using the given file extension (defaults to .trap.gz)'''
outpath = self._trap_path(namespace, path, extension)
with open(outpath, "wb") as out:
out.write(data)
class SourceArchive(RenamingFolder):
def write(self, path, bytes_source):
'''Write the `source` to `path` in this source archive folder.'''
vpath = self.get_virtual_path(path)
if vpath != path:
self.logger.debug("Renaming '%s' to '%s'", path, vpath)
self.logger.debug("Writing source to '%s'", vpath)
subpath = vpath.split('/')
outpath = self.get_storage_path(*subpath)
with open(outpath, "wb") as out:
out.write(bytes_source)
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.