source: proto/parabix2/pablo.py @ 1987

Last change on this file since 1987 was 1987, checked in by lindanl, 7 years ago

Add DTD parsing into parabix.py

File size: 5.7 KB
Line 
1#
2# pablo.py
3#
4# Bitstream Utilities
5#
6# These are quick-and-dirty Python implementations of utilities
7# for demo purposes only.
8#
9# Dan Lin, Robert D. Cameron
10# March 24, 2012
11#
12#----------------------------------------------------------------------------
13#
14# We use python's unlimited precision integers for unbounded bit streams.
15# This permits simple logical operations on the entire stream.
16# Assumption: bitstreams are little-endian (e.g., as on x86).
17#
18#----------------------------------------------------------------------------
19#
20import sys
21import codecs
22# Utility functions for demo purposes.
23
24EOF_mask = 0
25data = ''
26
27def writefile(filename, s, charcode='utf-8',):
28        f = codecs.open(filename, 'w', encoding=charcode)
29        f.write(s) # writes encoded bytes to file
30        f.close()
31
32def readfile(filename):
33        f = open(filename, 'r')
34        contents = f.read() 
35        f.close()
36        return contents
37
38def transpose_streams(s, b):
39        mask = 128
40        index = 0
41        global data
42        while index < 8:
43                current = 0
44                cursor = 1
45                for byte in s:
46                        if  (ord(byte) & mask != 0):
47                                current += cursor
48                        cursor <<= 1
49                       
50                index+=1
51                mask>>=1
52                if index == 1:
53                        b.bit_0 = current
54                elif index == 2:
55                        b.bit_1 = current
56                elif index == 3:
57                        b.bit_2 = current
58                elif index == 4:
59                        b.bit_3 = current
60                elif index == 5:
61                        b.bit_4 = current
62                elif index == 6:
63                        b.bit_5 = current
64                elif index == 7:
65                        b.bit_6 = current
66                elif index == 8:
67                        b.bit_7 = current
68        data  = s
69        return cursor-1  # basis streams and EOF mask
70
71def match(s,marker):
72        pos = count_leading_zeroes(marker)
73        i = 0
74        for byte in s:
75                if byte != data[pos+i]:
76                        return 0
77                i +=1
78        return marker
79
80def inFile(lex_error):
81        return EOF_mask & lex_error
82
83def atEOF(strm):
84        if strm > EOF_mask or strm < 0:
85                return EOF_mask + 1
86        else:
87                return 0
88
89def count_leading_zeroes(strm):
90        zeroes = 0
91        while (strm & 0xFFFFFFFF) == 0: 
92                zeroes += 32
93                strm >>= 32
94        while (strm & 1) == 0:
95                zeroes += 1
96                strm >>= 1
97        return zeroes
98       
99#
100#  ScanThru is the core operation for parallel scanning.
101#  Given a bitstream Cursors marking current cursor positions,
102#  advance each cursor through occurrences of a character
103#  class identified by ScanStream.
104
105def ScanThru(Cursors, ScanStream):
106        return (Cursors + ScanStream) & ~ScanStream
107       
108def ScanTo(Cursors, ScanStream): 
109        return (Cursors + (~ScanStream & EOF_mask) ) & ScanStream
110
111def ScanToFirst(ScanStream):
112        return ScanTo(1, ScanStream)
113#
114# Advance all cursors by one position.
115def Advance(stream):
116        return stream + stream
117       
118def AdvancebyPos(stream, pos):
119        return stream << pos
120
121
122#Functions copied from bitutil.py
123def writefile(filename, s, charcode='utf-8',):
124        f = codecs.open(filename, 'w', encoding=charcode)
125        f.write(s) # writes encoded bytes to file
126        f.close()
127
128def EOF_mask(strm_lgth):
129        mask = 1
130        mask <<= (strm_lgth)
131        mask -= 1
132        return mask
133
134def extract_bit(strm, pos):
135        bit = (strm >> pos) & 1
136        return bit
137
138def inverse_transpose(bitset, len):
139        bytestream=""
140        cursor = 1
141        for i in range(0, len):
142                byteval = 0
143                for j in range(0,8):
144                        if bitset[j] & cursor != 0:
145                                byteval += 128 >> j
146                bytestream += chr(byteval)
147                cursor += cursor
148        return bytestream
149                       
150def filter_bits(bitstream, delmask):
151        newstream = 0
152        cursor = 1
153        while delmask > 0:
154                if delmask & 1 == 0:
155                        if bitstream & 1 == 1:
156                                newstream += cursor
157                        cursor += cursor
158                delmask >>= 1
159                bitstream >>= 1
160        while bitstream > 0:
161                if bitstream & 1 == 1:
162                        newstream += cursor
163                cursor += cursor
164                bitstream >>= 1         
165        return newstream
166                       
167def filter_bytes(bytestream, delmask):
168        newstream=""
169        cursor = 1
170        for c in bytestream:
171                if delmask & cursor == 0:
172                        newstream += c
173                cursor += cursor
174        return newstream
175                       
176def merge_bytes(stream1, stream2):
177        s = ""
178        for i in range(len(stream1)):
179                s += stream1[i]
180                s += stream2[i]
181        return s
182
183def bitstream2string(stream, lgth):
184        str = ""
185        for i in range(lgth):
186                if stream & 1 == 1: str += '1'
187                else: str += '_'
188                stream >>= 1
189        return str
190
191def bitstream2stringLE(stream, lgth):
192        str = ""
193        for i in range(lgth):
194                if stream & 1 == 1: str = '1' + str
195                else: str = '_' + str
196                stream >>= 1
197        return str
198
199def print_aligned_streams(stream_list):
200        """Print out a set of aligned streams."""
201        label_max = max([len(p[0]) for p in stream_list])
202        for p in stream_list:
203                print (p[0] + " "*(label_max - len(p[0]))) + ": " + p[1] 
204
205def latex_streams(stream_list):
206        """Return a latex table for streams."""
207        table = "\\begin{tabular}{cr}"
208        for p in stream_list:
209                table += "\\\\\n" + p[0] +" & \\verb`" + p[1] +"`"
210        return table + "\n\\end{tabular}\n"
211
212def print_aligned_u8_byte_streams(u8_byte_stream):
213        """Print out a set of 'encoding' aligned streams."""
214
215        # Set the system info to print utf-8
216        info = codecs.lookup('utf-8')
217        sys.stdout = info.streamwriter(sys.stdout) 
218
219        label_max = max([len(p[0]) for p in u8_byte_stream])
220        for p in u8_byte_stream:
221                sys.stdout.write(p[0] + " "*(label_max - len(p[0])) + ": ")
222               
223                for c in (p[1].decode('utf-8')):                        # for each unicode character
224                        u8_seq_len = len(c.encode('utf-8'))     # encode the unicode character as utf-8 and get the utf-8 sequence length
225                        if u8_seq_len == 1:
226                                sys.stdout.write(c)
227                        elif u8_seq_len == 2:
228                                sys.stdout.write('2_')                          # align 2 byte sequences with a trailing _
229                        elif u8_seq_len == 3:
230                                sys.stdout.write('3__')                         # align 3 byte sequences with 2 trailing _
231                        elif u8_seq_len == 4:
232                                sys.stdout.write('4___')                        # align 2 byte sequences with 3 trailing _               
233                        else:
234                                sys.stdout.write('Error: Invalid UTF-8 character sequence of length: ' + str(u8_seq_len) + '.')                 
235                sys.stdout.write('\n')   
236
237def high_nybble_stream(bytes):
238        str=""
239        for b in bytes:
240                h = hex(ord(b))[-2]
241                if h == 'x': str += '0'
242                else: str += h
243        return str
244
245def low_nybble_stream(bytes):
246        str=""
247        for b in bytes:
248                str += hex(ord(b))[-1]
249        return str
250
Note: See TracBrowser for help on using the repository browser.