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
|
#!/usr/bin/env python
import re
import sys
def lookup_uuid(uuids, match):
return "<%s>" % uuids.setdefault(match.group(0), len(uuids))
int_re = re.compile(r'\d+')
def sort_set(match):
s = match.group(0)
uuids = sorted([int(x) for x in int_re.findall(s)])
return '["set",[' + ','.join('["uuid","<%s>"]' % x for x in uuids) + ']]'
u = '[0-9a-fA-F]'
uuid_re = re.compile(r'%s{8}-%s{4}-%s{4}-%s{4}-%s{12}' % ((u,) * 5))
set_re = re.compile(r'(\["set",\[(,?\["uuid","<\d+>"\])+\]\])')
def filter_uuids(src, dst):
uuids = {}
def lf(match):
return lookup_uuid(uuids, match)
while True:
line = src.readline()
if not line:
break
line = uuid_re.sub(lf, line)
# Sort sets like this:
# [["uuid","<1>"],["uuid","<0>"]]
# to look like this:
# [["uuid","<0>"],["uuid","<1>"]]
line = set_re.sub(sort_set, line)
dst.write(line)
if __name__ == '__main__':
if len(sys.argv) > 1:
for src in sys.argv[1:]:
filter_uuids(open(src), sys.stdout)
else:
filter_uuids(sys.stdin, sys.stdout)
|
