2020-02-19 12:26:55 +01:00
|
|
|
#!/usr/bin/env python3
|
2018-03-29 10:18:47 +02:00
|
|
|
|
2020-02-23 21:28:39 +01:00
|
|
|
import sys, os, re, difflib, unicodedata, errno, cgi, itertools
|
2012-05-08 19:38:49 +02:00
|
|
|
from itertools import *
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-05-08 22:44:21 +02:00
|
|
|
diff_symbols = "-+=*&^%$#@!~/"
|
|
|
|
diff_colors = ['red', 'green', 'blue']
|
|
|
|
|
2017-10-25 22:06:01 +02:00
|
|
|
def codepoints(s):
|
|
|
|
return (ord (u) for u in s)
|
|
|
|
|
2012-05-08 23:41:41 +02:00
|
|
|
class ColorFormatter:
|
|
|
|
|
2012-01-21 00:27:52 +01:00
|
|
|
class Null:
|
2012-05-08 23:41:41 +02:00
|
|
|
@staticmethod
|
|
|
|
def start_color (c): return ''
|
|
|
|
@staticmethod
|
|
|
|
def end_color (): return ''
|
|
|
|
@staticmethod
|
|
|
|
def escape (s): return s
|
|
|
|
@staticmethod
|
|
|
|
def newline (): return '\n'
|
|
|
|
|
2012-01-21 00:27:52 +01:00
|
|
|
class ANSI:
|
2012-05-08 23:41:41 +02:00
|
|
|
@staticmethod
|
|
|
|
def start_color (c):
|
|
|
|
return {
|
|
|
|
'red': '\033[41;37;1m',
|
|
|
|
'green': '\033[42;37;1m',
|
|
|
|
'blue': '\033[44;37;1m',
|
|
|
|
}[c]
|
|
|
|
@staticmethod
|
|
|
|
def end_color ():
|
|
|
|
return '\033[m'
|
|
|
|
@staticmethod
|
|
|
|
def escape (s): return s
|
|
|
|
@staticmethod
|
|
|
|
def newline (): return '\n'
|
|
|
|
|
2012-01-21 00:27:52 +01:00
|
|
|
class HTML:
|
2012-05-08 23:41:41 +02:00
|
|
|
@staticmethod
|
|
|
|
def start_color (c):
|
|
|
|
return '<span style="background:%s">' % c
|
|
|
|
@staticmethod
|
|
|
|
def end_color ():
|
|
|
|
return '</span>'
|
|
|
|
@staticmethod
|
|
|
|
def escape (s): return cgi.escape (s)
|
|
|
|
@staticmethod
|
|
|
|
def newline (): return '<br/>\n'
|
2012-01-21 00:27:52 +01:00
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def Auto (argv = [], out = sys.stdout):
|
2012-05-08 23:41:41 +02:00
|
|
|
format = ColorFormatter.ANSI
|
|
|
|
if "--format" in argv:
|
|
|
|
argv.remove ("--format")
|
|
|
|
format = ColorFormatter.ANSI
|
|
|
|
if "--format=ansi" in argv:
|
|
|
|
argv.remove ("--format=ansi")
|
|
|
|
format = ColorFormatter.ANSI
|
|
|
|
if "--format=html" in argv:
|
|
|
|
argv.remove ("--format=html")
|
|
|
|
format = ColorFormatter.HTML
|
|
|
|
if "--no-format" in argv:
|
|
|
|
argv.remove ("--no-format")
|
|
|
|
format = ColorFormatter.Null
|
|
|
|
return format
|
2012-01-21 00:39:27 +01:00
|
|
|
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-05-08 23:41:41 +02:00
|
|
|
class DiffColorizer:
|
2012-01-21 00:27:52 +01:00
|
|
|
|
|
|
|
diff_regex = re.compile ('([a-za-z0-9_]*)([^a-za-z0-9_]?)')
|
|
|
|
|
2012-05-08 23:41:41 +02:00
|
|
|
def __init__ (self, formatter, colors=diff_colors, symbols=diff_symbols):
|
|
|
|
self.formatter = formatter
|
|
|
|
self.colors = colors
|
|
|
|
self.symbols = symbols
|
2012-01-22 01:40:30 +01:00
|
|
|
|
2012-05-08 23:41:41 +02:00
|
|
|
def colorize_lines (self, lines):
|
|
|
|
lines = (l if l else '' for l in lines)
|
|
|
|
ss = [self.diff_regex.sub (r'\1\n\2\n', l).splitlines (True) for l in lines]
|
2012-01-21 00:27:52 +01:00
|
|
|
oo = ["",""]
|
|
|
|
st = [False, False]
|
|
|
|
for l in difflib.Differ().compare (*ss):
|
|
|
|
if l[0] == '?':
|
|
|
|
continue
|
|
|
|
if l[0] == ' ':
|
|
|
|
for i in range(2):
|
|
|
|
if st[i]:
|
2012-05-08 23:41:41 +02:00
|
|
|
oo[i] += self.formatter.end_color ()
|
2012-01-21 00:27:52 +01:00
|
|
|
st[i] = False
|
2012-05-08 23:41:41 +02:00
|
|
|
oo = [o + self.formatter.escape (l[2:]) for o in oo]
|
2012-01-21 00:27:52 +01:00
|
|
|
continue
|
2012-05-08 23:41:41 +02:00
|
|
|
if l[0] in self.symbols:
|
|
|
|
i = self.symbols.index (l[0])
|
|
|
|
if not st[i]:
|
|
|
|
oo[i] += self.formatter.start_color (self.colors[i])
|
|
|
|
st[i] = True
|
|
|
|
oo[i] += self.formatter.escape (l[2:])
|
2012-01-21 00:27:52 +01:00
|
|
|
continue
|
|
|
|
for i in range(2):
|
|
|
|
if st[i]:
|
2012-05-08 23:41:41 +02:00
|
|
|
oo[i] += self.formatter.end_color ()
|
|
|
|
st[i] = False
|
2012-01-21 00:27:52 +01:00
|
|
|
oo = [o.replace ('\n', '') for o in oo]
|
2012-05-08 23:41:41 +02:00
|
|
|
return [s1+s2+self.formatter.newline () for (s1,s2) in zip (self.symbols, oo) if s2]
|
|
|
|
|
|
|
|
def colorize_diff (self, f):
|
|
|
|
lines = [None, None]
|
|
|
|
for l in f:
|
|
|
|
if l[0] not in self.symbols:
|
|
|
|
yield self.formatter.escape (l).replace ('\n', self.formatter.newline ())
|
|
|
|
continue
|
|
|
|
i = self.symbols.index (l[0])
|
|
|
|
if lines[i]:
|
|
|
|
# Flush
|
|
|
|
for line in self.colorize_lines (lines):
|
|
|
|
yield line
|
|
|
|
lines = [None, None]
|
|
|
|
lines[i] = l[1:]
|
|
|
|
if (all (lines)):
|
|
|
|
# Flush
|
|
|
|
for line in self.colorize_lines (lines):
|
|
|
|
yield line
|
|
|
|
lines = [None, None]
|
|
|
|
if (any (lines)):
|
|
|
|
# Flush
|
|
|
|
for line in self.colorize_lines (lines):
|
|
|
|
yield line
|
|
|
|
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-05-08 22:44:21 +02:00
|
|
|
class ZipDiffer:
|
|
|
|
|
2012-01-21 00:27:52 +01:00
|
|
|
@staticmethod
|
2012-05-08 22:44:21 +02:00
|
|
|
def diff_files (files, symbols=diff_symbols):
|
|
|
|
files = tuple (files) # in case it's a generator, copy it
|
2012-01-22 01:15:41 +01:00
|
|
|
try:
|
2020-02-23 21:28:39 +01:00
|
|
|
for lines in itertools.zip_longest (*files):
|
2012-05-08 22:44:21 +02:00
|
|
|
if all (lines[0] == line for line in lines[1:]):
|
|
|
|
sys.stdout.writelines ([" ", lines[0]])
|
2012-01-22 01:15:41 +01:00
|
|
|
continue
|
|
|
|
|
2012-05-08 22:44:21 +02:00
|
|
|
for i, l in enumerate (lines):
|
|
|
|
if l:
|
|
|
|
sys.stdout.writelines ([symbols[i], l])
|
2012-01-22 01:15:41 +01:00
|
|
|
except IOError as e:
|
|
|
|
if e.errno != errno.EPIPE:
|
2020-05-28 20:21:29 +02:00
|
|
|
sys.exit ("%s: %s: %s" % (sys.argv[0], e.filename, e.strerror))
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-01-21 00:39:27 +01:00
|
|
|
|
2012-01-21 00:27:52 +01:00
|
|
|
class DiffFilters:
|
|
|
|
|
|
|
|
@staticmethod
|
2012-05-09 07:30:07 +02:00
|
|
|
def filter_failures (f):
|
2012-05-09 08:16:15 +02:00
|
|
|
for key, lines in DiffHelpers.separate_test_cases (f):
|
|
|
|
lines = list (lines)
|
2012-05-09 07:45:17 +02:00
|
|
|
if not DiffHelpers.test_passed (lines):
|
2012-05-09 07:30:07 +02:00
|
|
|
for l in lines: yield l
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-05-09 09:54:54 +02:00
|
|
|
class Stat:
|
|
|
|
|
|
|
|
def __init__ (self):
|
|
|
|
self.count = 0
|
|
|
|
self.freq = 0
|
|
|
|
|
|
|
|
def add (self, test):
|
|
|
|
self.count += 1
|
|
|
|
self.freq += test.freq
|
|
|
|
|
|
|
|
class Stats:
|
|
|
|
|
|
|
|
def __init__ (self):
|
|
|
|
self.passed = Stat ()
|
|
|
|
self.failed = Stat ()
|
|
|
|
self.total = Stat ()
|
|
|
|
|
|
|
|
def add (self, test):
|
|
|
|
self.total.add (test)
|
|
|
|
if test.passed:
|
|
|
|
self.passed.add (test)
|
|
|
|
else:
|
|
|
|
self.failed.add (test)
|
|
|
|
|
|
|
|
def mean (self):
|
|
|
|
return float (self.passed.count) / self.total.count
|
|
|
|
|
|
|
|
def variance (self):
|
|
|
|
return (float (self.passed.count) / self.total.count) * \
|
|
|
|
(float (self.failed.count) / self.total.count)
|
|
|
|
|
|
|
|
def stddev (self):
|
|
|
|
return self.variance () ** .5
|
|
|
|
|
|
|
|
def zscore (self, population):
|
|
|
|
"""Calculate the standard score.
|
|
|
|
Population is the Stats for population.
|
|
|
|
Self is Stats for sample.
|
|
|
|
Returns larger absolute value if sample is highly unlikely to be random.
|
|
|
|
Anything outside of -3..+3 is very unlikely to be random.
|
2020-02-19 14:02:44 +01:00
|
|
|
See: https://en.wikipedia.org/wiki/Standard_score"""
|
2012-05-09 09:54:54 +02:00
|
|
|
|
|
|
|
return (self.mean () - population.mean ()) / population.stddev ()
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2012-05-09 07:45:17 +02:00
|
|
|
class DiffSinks:
|
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def print_stat (f):
|
|
|
|
passed = 0
|
|
|
|
failed = 0
|
2012-05-09 09:54:54 +02:00
|
|
|
# XXX port to Stats, but that would really slow us down here
|
2012-05-09 08:16:15 +02:00
|
|
|
for key, lines in DiffHelpers.separate_test_cases (f):
|
2012-05-09 07:45:17 +02:00
|
|
|
if DiffHelpers.test_passed (lines):
|
|
|
|
passed += 1
|
|
|
|
else:
|
|
|
|
failed += 1
|
|
|
|
total = passed + failed
|
2015-03-30 00:57:14 +02:00
|
|
|
print ("%d out of %d tests passed. %d failed (%g%%)" % (passed, total, failed, 100. * failed / total))
|
2012-05-09 07:45:17 +02:00
|
|
|
|
2012-05-09 08:57:29 +02:00
|
|
|
|
|
|
|
class Test:
|
|
|
|
|
|
|
|
def __init__ (self, lines):
|
2012-05-09 09:54:54 +02:00
|
|
|
self.freq = 1
|
2012-05-09 08:57:29 +02:00
|
|
|
self.passed = True
|
|
|
|
self.identifier = None
|
|
|
|
self.text = None
|
|
|
|
self.unicodes = None
|
|
|
|
self.glyphs = None
|
|
|
|
for l in lines:
|
|
|
|
symbol = l[0]
|
|
|
|
if symbol != ' ':
|
|
|
|
self.passed = False
|
|
|
|
i = 1
|
|
|
|
if ':' in l:
|
|
|
|
i = l.index (':')
|
|
|
|
if not self.identifier:
|
|
|
|
self.identifier = l[1:i]
|
|
|
|
i = i + 2 # Skip colon and space
|
|
|
|
j = -1
|
|
|
|
if l[j] == '\n':
|
|
|
|
j -= 1
|
|
|
|
brackets = l[i] + l[j]
|
|
|
|
l = l[i+1:-2]
|
|
|
|
if brackets == '()':
|
|
|
|
self.text = l
|
|
|
|
elif brackets == '<>':
|
|
|
|
self.unicodes = Unicode.parse (l)
|
|
|
|
elif brackets == '[]':
|
|
|
|
# XXX we don't handle failed tests here
|
|
|
|
self.glyphs = l
|
|
|
|
|
|
|
|
|
2012-05-09 07:30:07 +02:00
|
|
|
class DiffHelpers:
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-05-09 07:30:07 +02:00
|
|
|
@staticmethod
|
|
|
|
def separate_test_cases (f):
|
|
|
|
'''Reads lines from f, and if the lines have identifiers, ie.
|
|
|
|
have a colon character, groups them by identifier,
|
|
|
|
yielding lists of all lines with the same identifier.'''
|
2012-01-21 00:39:27 +01:00
|
|
|
|
2012-05-09 08:16:15 +02:00
|
|
|
def identifier (l):
|
|
|
|
if ':' in l[1:]:
|
|
|
|
return l[1:l.index (':')]
|
|
|
|
return l
|
|
|
|
return groupby (f, key=identifier)
|
2012-01-21 00:39:27 +01:00
|
|
|
|
2012-05-09 07:45:17 +02:00
|
|
|
@staticmethod
|
|
|
|
def test_passed (lines):
|
2012-07-19 17:30:48 +02:00
|
|
|
lines = list (lines)
|
|
|
|
# XXX This is a hack, but does the job for now.
|
2012-11-14 20:38:50 +01:00
|
|
|
if any (l.find("space+0|space+0") >= 0 for l in lines if l[0] == '+'): return True
|
2012-09-05 21:50:47 +02:00
|
|
|
if any (l.find("uni25CC") >= 0 for l in lines if l[0] == '+'): return True
|
|
|
|
if any (l.find("dottedcircle") >= 0 for l in lines if l[0] == '+'): return True
|
|
|
|
if any (l.find("glyph0") >= 0 for l in lines if l[0] == '+'): return True
|
2012-10-30 03:42:19 +01:00
|
|
|
if any (l.find("gid0") >= 0 for l in lines if l[0] == '+'): return True
|
2012-09-05 21:50:47 +02:00
|
|
|
if any (l.find("notdef") >= 0 for l in lines if l[0] == '+'): return True
|
2012-05-09 07:45:17 +02:00
|
|
|
return all (l[0] == ' ' for l in lines)
|
|
|
|
|
2012-01-21 00:39:27 +01:00
|
|
|
|
2012-01-22 02:03:25 +01:00
|
|
|
class FilterHelpers:
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-01-22 01:55:16 +01:00
|
|
|
@staticmethod
|
2012-01-22 02:03:25 +01:00
|
|
|
def filter_printer_function (filter_callback):
|
2012-01-22 01:55:16 +01:00
|
|
|
def printer (f):
|
2012-01-22 02:03:25 +01:00
|
|
|
for line in filter_callback (f):
|
2015-03-30 00:57:14 +02:00
|
|
|
print (line)
|
2012-01-22 01:55:16 +01:00
|
|
|
return printer
|
|
|
|
|
2012-01-22 02:03:25 +01:00
|
|
|
@staticmethod
|
|
|
|
def filter_printer_function_no_newline (filter_callback):
|
|
|
|
def printer (f):
|
|
|
|
for line in filter_callback (f):
|
|
|
|
sys.stdout.writelines ([line])
|
|
|
|
return printer
|
|
|
|
|
|
|
|
|
2012-05-09 08:57:29 +02:00
|
|
|
class Ngram:
|
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def generator (n):
|
|
|
|
|
|
|
|
def gen (f):
|
|
|
|
l = []
|
|
|
|
for x in f:
|
|
|
|
l.append (x)
|
|
|
|
if len (l) == n:
|
|
|
|
yield tuple (l)
|
|
|
|
l[:1] = []
|
|
|
|
|
|
|
|
gen.n = n
|
|
|
|
return gen
|
|
|
|
|
|
|
|
|
2012-01-22 02:03:25 +01:00
|
|
|
class UtilMains:
|
2012-01-22 01:55:16 +01:00
|
|
|
|
2012-01-21 00:27:52 +01:00
|
|
|
@staticmethod
|
2012-01-21 03:16:34 +01:00
|
|
|
def process_multiple_files (callback, mnemonic = "FILE"):
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-05-08 22:44:21 +02:00
|
|
|
if "--help" in sys.argv:
|
2020-05-28 20:21:29 +02:00
|
|
|
sys.exit ("Usage: %s %s..." % (sys.argv[0], mnemonic))
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-01-22 01:15:41 +01:00
|
|
|
try:
|
2012-05-08 22:44:21 +02:00
|
|
|
files = sys.argv[1:] if len (sys.argv) > 1 else ['-']
|
|
|
|
for s in files:
|
2012-01-22 01:15:41 +01:00
|
|
|
callback (FileHelpers.open_file_or_stdin (s))
|
|
|
|
except IOError as e:
|
|
|
|
if e.errno != errno.EPIPE:
|
2020-05-28 20:21:29 +02:00
|
|
|
sys.exit ("%s: %s: %s" % (sys.argv[0], e.filename, e.strerror))
|
2012-01-21 00:27:52 +01:00
|
|
|
|
|
|
|
@staticmethod
|
2012-01-21 03:16:34 +01:00
|
|
|
def process_multiple_args (callback, mnemonic):
|
|
|
|
|
2012-05-12 15:34:40 +02:00
|
|
|
if len (sys.argv) == 1 or "--help" in sys.argv:
|
2020-05-28 20:21:29 +02:00
|
|
|
sys.exit ("Usage: %s %s..." % (sys.argv[0], mnemonic))
|
2012-01-21 03:16:34 +01:00
|
|
|
|
2012-01-22 01:15:41 +01:00
|
|
|
try:
|
|
|
|
for s in sys.argv[1:]:
|
|
|
|
callback (s)
|
|
|
|
except IOError as e:
|
|
|
|
if e.errno != errno.EPIPE:
|
2020-05-28 20:21:29 +02:00
|
|
|
sys.exit ("%s: %s: %s" % (sys.argv[0], e.filename, e.strerror))
|
2012-01-21 03:16:34 +01:00
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def filter_multiple_strings_or_stdin (callback, mnemonic, \
|
2012-01-21 00:27:52 +01:00
|
|
|
separator = " ", \
|
|
|
|
concat_separator = False):
|
|
|
|
|
2012-05-12 15:34:40 +02:00
|
|
|
if "--help" in sys.argv:
|
2020-05-28 20:21:29 +02:00
|
|
|
sys.exit ("""Usage:
|
|
|
|
%s %s...
|
|
|
|
or:
|
|
|
|
%s
|
|
|
|
When called with no arguments, input is read from standard input.
|
|
|
|
""" % (sys.argv[0], mnemonic, sys.argv[0]))
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-01-22 01:15:41 +01:00
|
|
|
try:
|
2012-05-12 15:34:40 +02:00
|
|
|
if len (sys.argv) == 1:
|
2012-01-22 01:15:41 +01:00
|
|
|
while (1):
|
|
|
|
line = sys.stdin.readline ()
|
|
|
|
if not len (line):
|
|
|
|
break
|
2012-01-22 22:21:19 +01:00
|
|
|
if line[-1] == '\n':
|
|
|
|
line = line[:-1]
|
2015-03-30 00:57:14 +02:00
|
|
|
print (callback (line))
|
2012-01-22 01:15:41 +01:00
|
|
|
else:
|
|
|
|
args = sys.argv[1:]
|
|
|
|
if concat_separator != False:
|
|
|
|
args = [concat_separator.join (args)]
|
2015-03-30 00:57:14 +02:00
|
|
|
print (separator.join (callback (x) for x in (args)))
|
2012-01-22 01:15:41 +01:00
|
|
|
except IOError as e:
|
|
|
|
if e.errno != errno.EPIPE:
|
2020-05-28 20:21:29 +02:00
|
|
|
sys.exit ("%s: %s: %s" % (sys.argv[0], e.filename, e.strerror))
|
2012-01-21 00:27:52 +01:00
|
|
|
|
|
|
|
|
|
|
|
class Unicode:
|
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def decode (s):
|
2020-02-19 12:26:55 +01:00
|
|
|
return ','.join ("U+%04X" % cp for cp in codepoints (s))
|
2012-01-21 00:27:52 +01:00
|
|
|
|
|
|
|
@staticmethod
|
2012-05-09 08:57:29 +02:00
|
|
|
def parse (s):
|
2012-01-21 00:27:52 +01:00
|
|
|
s = re.sub (r"0[xX]", " ", s)
|
2017-09-02 04:09:54 +02:00
|
|
|
s = re.sub (r"[<+>{},;&#\\xXuUnNiI\n\t]", " ", s)
|
2014-08-14 01:42:01 +02:00
|
|
|
return [int (x, 16) for x in s.split ()]
|
2012-05-09 08:57:29 +02:00
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def encode (s):
|
2020-02-19 12:26:55 +01:00
|
|
|
return ''.join (chr (x) for x in Unicode.parse (s))
|
2012-01-21 00:27:52 +01:00
|
|
|
|
|
|
|
shorthands = {
|
|
|
|
"ZERO WIDTH NON-JOINER": "ZWNJ",
|
|
|
|
"ZERO WIDTH JOINER": "ZWJ",
|
|
|
|
"NARROW NO-BREAK SPACE": "NNBSP",
|
|
|
|
"COMBINING GRAPHEME JOINER": "CGJ",
|
|
|
|
"LEFT-TO-RIGHT MARK": "LRM",
|
|
|
|
"RIGHT-TO-LEFT MARK": "RLM",
|
|
|
|
"LEFT-TO-RIGHT EMBEDDING": "LRE",
|
|
|
|
"RIGHT-TO-LEFT EMBEDDING": "RLE",
|
|
|
|
"POP DIRECTIONAL FORMATTING": "PDF",
|
|
|
|
"LEFT-TO-RIGHT OVERRIDE": "LRO",
|
|
|
|
"RIGHT-TO-LEFT OVERRIDE": "RLO",
|
|
|
|
}
|
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def pretty_name (u):
|
|
|
|
try:
|
|
|
|
s = unicodedata.name (u)
|
|
|
|
except ValueError:
|
|
|
|
return "XXX"
|
|
|
|
s = re.sub (".* LETTER ", "", s)
|
|
|
|
s = re.sub (".* VOWEL SIGN (.*)", r"\1-MATRA", s)
|
|
|
|
s = re.sub (".* SIGN ", "", s)
|
|
|
|
s = re.sub (".* COMBINING ", "", s)
|
|
|
|
if re.match (".* VIRAMA", s):
|
|
|
|
s = "HALANT"
|
|
|
|
if s in Unicode.shorthands:
|
|
|
|
s = Unicode.shorthands[s]
|
|
|
|
return s
|
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def pretty_names (s):
|
|
|
|
s = re.sub (r"[<+>\\uU]", " ", s)
|
|
|
|
s = re.sub (r"0[xX]", " ", s)
|
2020-02-19 12:26:55 +01:00
|
|
|
s = [chr (int (x, 16)) for x in re.split ('[, \n]', s) if len (x)]
|
2020-02-23 21:28:39 +01:00
|
|
|
return ' + '.join (Unicode.pretty_name (x) for x in s)
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-01-21 00:39:27 +01:00
|
|
|
|
2012-01-21 03:16:34 +01:00
|
|
|
class FileHelpers:
|
2012-01-21 00:39:27 +01:00
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def open_file_or_stdin (f):
|
|
|
|
if f == '-':
|
|
|
|
return sys.stdin
|
2018-03-29 18:52:47 +02:00
|
|
|
return open (f)
|
2012-01-21 00:27:52 +01:00
|
|
|
|
2012-01-21 03:16:34 +01:00
|
|
|
|
|
|
|
class Manifest:
|
|
|
|
|
|
|
|
@staticmethod
|
2012-01-22 01:37:31 +01:00
|
|
|
def read (s, strict = True):
|
|
|
|
|
2012-01-21 03:16:34 +01:00
|
|
|
if not os.path.exists (s):
|
|
|
|
if strict:
|
2020-05-28 20:21:29 +02:00
|
|
|
sys.exit ("%s: %s does not exist" % (sys.argv[0], s))
|
2012-01-21 03:16:34 +01:00
|
|
|
return
|
|
|
|
|
2012-01-22 01:37:31 +01:00
|
|
|
s = os.path.normpath (s)
|
2012-01-21 03:16:34 +01:00
|
|
|
|
2012-01-22 01:37:31 +01:00
|
|
|
if os.path.isdir (s):
|
2012-01-21 03:16:34 +01:00
|
|
|
|
|
|
|
try:
|
2018-03-29 18:52:47 +02:00
|
|
|
m = open (os.path.join (s, "MANIFEST"))
|
2012-01-21 03:16:34 +01:00
|
|
|
items = [x.strip () for x in m.readlines ()]
|
|
|
|
for f in items:
|
2012-01-22 01:37:31 +01:00
|
|
|
for p in Manifest.read (os.path.join (s, f)):
|
|
|
|
yield p
|
2012-01-21 03:16:34 +01:00
|
|
|
except IOError:
|
|
|
|
if strict:
|
2020-05-28 20:21:29 +02:00
|
|
|
sys.exit ("%s: %s does not exist" % (sys.argv[0], os.path.join (s, "MANIFEST")))
|
2012-01-21 03:16:34 +01:00
|
|
|
return
|
|
|
|
else:
|
2012-01-22 01:37:31 +01:00
|
|
|
yield s
|
|
|
|
|
2012-01-22 01:31:51 +01:00
|
|
|
@staticmethod
|
|
|
|
def update_recursive (s):
|
|
|
|
|
|
|
|
for dirpath, dirnames, filenames in os.walk (s, followlinks=True):
|
|
|
|
|
2012-01-22 22:26:49 +01:00
|
|
|
for f in ["MANIFEST", "README", "LICENSE", "COPYING", "AUTHORS", "SOURCES", "ChangeLog"]:
|
2012-01-22 01:31:51 +01:00
|
|
|
if f in dirnames:
|
|
|
|
dirnames.remove (f)
|
|
|
|
if f in filenames:
|
|
|
|
filenames.remove (f)
|
|
|
|
dirnames.sort ()
|
|
|
|
filenames.sort ()
|
|
|
|
ms = os.path.join (dirpath, "MANIFEST")
|
2015-03-30 00:57:14 +02:00
|
|
|
print (" GEN %s" % ms)
|
2012-01-22 01:31:51 +01:00
|
|
|
m = open (ms, "w")
|
|
|
|
for f in filenames:
|
2015-03-30 00:57:14 +02:00
|
|
|
print (f, file=m)
|
2012-01-22 01:31:51 +01:00
|
|
|
for f in dirnames:
|
2015-03-30 00:57:14 +02:00
|
|
|
print (f, file=m)
|
2012-01-22 01:31:51 +01:00
|
|
|
for f in dirnames:
|
|
|
|
Manifest.update_recursive (os.path.join (dirpath, f))
|
|
|
|
|
2012-01-21 00:27:52 +01:00
|
|
|
if __name__ == '__main__':
|
|
|
|
pass
|