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
|
'''
Removes timestamp and line info from a webgl log
'''
import os, sys, re
__rootpath__ = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
def path_from_root(*pathelems):
return os.path.join(__rootpath__, *pathelems)
def nice(x):
return '0x' + ('0' * (len(x)-6)) + x[2:].upper()
repdata = open(path_from_root('system', 'include', 'GL', 'gl.h')).readlines() + ['\n'] + \
open(path_from_root('system', 'include', 'GL', 'glext.h')).readlines()
reps = {}
for rep in repdata:
rep = rep.replace('\t', ' ').replace('\n', '')
parts = filter(lambda part: part != '', rep.split(' '))
if len(parts) == 3 and parts[0] == '#define':
reps[nice(parts[2])] = '%s (%s)' % (parts[1], parts[2])
lines = sys.stdin.read().split('\n')
for line in lines:
if line.startswith('['):
line = line[15:]
line = line.split(' @ ')[0]
line = re.sub('(0x[\dabcdef]+)', lambda hexx: reps[nice(hexx.group(0))] if nice(hexx.group(0)) in reps else nice(hexx.group(0)), line)
print line
#for i in range(100):
# print
|
