blob: 37bffe6139543c757fcb3f459feecc3389fcf427 [file] [log] [blame]
Greg Wardd1dc4751999-01-13 16:12:04 +00001"""text_file
2
3provides the TextFile class, which gives an interface to text files
4that (optionally) takes care of stripping comments, ignoring blank
5lines, and joining lines with backslashes."""
6
7# created 1999/01/12, Greg Ward
8
9__revision__ = "$Id$"
10
11from types import *
Greg Ward60cd2862000-09-16 18:04:55 +000012import sys, os, string
Greg Wardd1dc4751999-01-13 16:12:04 +000013
14
15class TextFile:
Greg Wardd1dc4751999-01-13 16:12:04 +000016
Greg Ward274ad9d1999-09-29 13:03:32 +000017 """Provides a file-like object that takes care of all the things you
18 commonly want to do when processing a text file that has some
Greg Ward60cd2862000-09-16 18:04:55 +000019 line-by-line syntax: strip comments (as long as "#" is your
20 comment character), skip blank lines, join adjacent lines by
21 escaping the newline (ie. backslash at end of line), strip
22 leading and/or trailing whitespace. All of these are optional
23 and independently controllable.
Greg Ward274ad9d1999-09-29 13:03:32 +000024
25 Provides a 'warn()' method so you can generate warning messages that
26 report physical line number, even if the logical line in question
27 spans multiple physical lines. Also provides 'unreadline()' for
28 implementing line-at-a-time lookahead.
29
30 Constructor is called as:
31
32 TextFile (filename=None, file=None, **options)
33
34 It bombs (RuntimeError) if both 'filename' and 'file' are None;
35 'filename' should be a string, and 'file' a file object (or
36 something that provides 'readline()' and 'close()' methods). It is
37 recommended that you supply at least 'filename', so that TextFile
38 can include it in warning messages. If 'file' is not supplied,
39 TextFile creates its own using the 'open()' builtin.
40
41 The options are all boolean, and affect the value returned by
42 'readline()':
43 strip_comments [default: true]
44 strip from "#" to end-of-line, as well as any whitespace
45 leading up to the "#" -- unless it is escaped by a backslash
46 lstrip_ws [default: false]
47 strip leading whitespace from each line before returning it
48 rstrip_ws [default: true]
49 strip trailing whitespace (including line terminator!) from
50 each line before returning it
51 skip_blanks [default: true}
52 skip lines that are empty *after* stripping comments and
Greg Ward60cd2862000-09-16 18:04:55 +000053 whitespace. (If both lstrip_ws and rstrip_ws are false,
Greg Ward274ad9d1999-09-29 13:03:32 +000054 then some lines may consist of solely whitespace: these will
55 *not* be skipped, even if 'skip_blanks' is true.)
56 join_lines [default: false]
57 if a backslash is the last non-newline character on a line
58 after stripping comments and whitespace, join the following line
59 to it to form one "logical line"; if N consecutive lines end
60 with a backslash, then N+1 physical lines will be joined to
61 form one logical line.
Greg Ward60cd2862000-09-16 18:04:55 +000062 collapse_join [default: false]
63 strip leading whitespace from lines that are joined to their
64 predecessor; only matters if (join_lines and not lstrip_ws)
Greg Ward274ad9d1999-09-29 13:03:32 +000065
66 Note that since 'rstrip_ws' can strip the trailing newline, the
67 semantics of 'readline()' must differ from those of the builtin file
68 object's 'readline()' method! In particular, 'readline()' returns
69 None for end-of-file: an empty string might just be a blank line (or
70 an all-whitespace line), if 'rstrip_ws' is true but 'skip_blanks' is
71 not."""
72
Greg Wardd1dc4751999-01-13 16:12:04 +000073 default_options = { 'strip_comments': 1,
Greg Wardd1dc4751999-01-13 16:12:04 +000074 'skip_blanks': 1,
Greg Wardd1dc4751999-01-13 16:12:04 +000075 'lstrip_ws': 0,
76 'rstrip_ws': 1,
Greg Ward60cd2862000-09-16 18:04:55 +000077 'join_lines': 0,
78 'collapse_join': 0,
Greg Wardd1dc4751999-01-13 16:12:04 +000079 }
80
Greg Ward782cdfe1999-03-23 14:00:06 +000081 def __init__ (self, filename=None, file=None, **options):
Greg Ward274ad9d1999-09-29 13:03:32 +000082 """Construct a new TextFile object. At least one of 'filename'
83 (a string) and 'file' (a file-like object) must be supplied.
84 They keyword argument options are described above and affect
85 the values returned by 'readline()'."""
Greg Ward782cdfe1999-03-23 14:00:06 +000086
87 if filename is None and file is None:
88 raise RuntimeError, \
89 "you must supply either or both of 'filename' and 'file'"
Greg Wardd1dc4751999-01-13 16:12:04 +000090
91 # set values for all options -- either from client option hash
92 # or fallback to default_options
93 for opt in self.default_options.keys():
94 if options.has_key (opt):
Greg Wardabc2f961999-08-10 20:09:38 +000095 setattr (self, opt, options[opt])
Greg Wardd1dc4751999-01-13 16:12:04 +000096
97 else:
98 setattr (self, opt, self.default_options[opt])
99
100 # sanity check client option hash
101 for opt in options.keys():
102 if not self.default_options.has_key (opt):
103 raise KeyError, "invalid TextFile option '%s'" % opt
104
Greg Ward782cdfe1999-03-23 14:00:06 +0000105 if file is None:
106 self.open (filename)
107 else:
108 self.filename = filename
109 self.file = file
110 self.current_line = 0 # assuming that file is at BOF!
Greg Ward787451b1999-03-26 21:48:59 +0000111
Greg Ward91c488c1999-03-29 18:01:49 +0000112 # 'linebuf' is a stack of lines that will be emptied before we
113 # actually read from the file; it's only populated by an
114 # 'unreadline()' operation
115 self.linebuf = []
Greg Wardd1dc4751999-01-13 16:12:04 +0000116
117
Greg Ward782cdfe1999-03-23 14:00:06 +0000118 def open (self, filename):
Greg Ward274ad9d1999-09-29 13:03:32 +0000119 """Open a new file named 'filename'. This overrides both the
120 'filename' and 'file' arguments to the constructor."""
121
Greg Ward782cdfe1999-03-23 14:00:06 +0000122 self.filename = filename
Greg Wardd1dc4751999-01-13 16:12:04 +0000123 self.file = open (self.filename, 'r')
124 self.current_line = 0
125
126
127 def close (self):
Greg Ward274ad9d1999-09-29 13:03:32 +0000128 """Close the current file and forget everything we know about it
129 (filename, current line number)."""
130
Greg Wardd1dc4751999-01-13 16:12:04 +0000131 self.file.close ()
132 self.file = None
133 self.filename = None
134 self.current_line = None
135
136
Greg Wardf11296b2000-09-16 18:06:31 +0000137 def gen_error (self, msg, line=None):
138 outmsg = []
139 if line is None:
140 line = self.current_line
141 outmsg.append(self.filename + ", ")
142 if type (line) in (ListType, TupleType):
143 outmsg.append("lines %d-%d: " % tuple (line))
144 else:
145 outmsg.append("line %d: " % line)
146 outmsg.append(str(msg))
147 return string.join(outmsg, "")
148
149
150 def error (self, msg, line=None):
151 raise ValueError, "error: " + self.gen_error(msg, line)
152
Greg Ward4e5a7c71999-04-15 17:50:19 +0000153 def warn (self, msg, line=None):
Greg Ward274ad9d1999-09-29 13:03:32 +0000154 """Print (to stderr) a warning message tied to the current logical
155 line in the current file. If the current logical line in the
156 file spans multiple physical lines, the warning refers to the
157 whole range, eg. "lines 3-5". If 'line' supplied, it overrides
158 the current line number; it may be a list or tuple to indicate a
159 range of physical lines, or an integer for a single physical
160 line."""
Greg Wardf11296b2000-09-16 18:06:31 +0000161 sys.stderr.write("warning: " + self.gen_error(msg, line) + "\n")
Greg Wardf6cdcd51999-01-18 17:08:16 +0000162
163
Greg Wardd1dc4751999-01-13 16:12:04 +0000164 def readline (self):
Greg Ward274ad9d1999-09-29 13:03:32 +0000165 """Read and return a single logical line from the current file (or
166 from an internal buffer if lines have previously been "unread"
167 with 'unreadline()'). If the 'join_lines' option is true, this
168 may involve reading multiple physical lines concatenated into a
169 single string. Updates the current line number, so calling
170 'warn()' after 'readline()' emits a warning about the physical
171 line(s) just read. Returns None on end-of-file, since the empty
172 string can occur if 'rstrip_ws' is true but 'strip_blanks' is
173 not."""
Greg Wardd1dc4751999-01-13 16:12:04 +0000174
Greg Ward91c488c1999-03-29 18:01:49 +0000175 # If any "unread" lines waiting in 'linebuf', return the top
176 # one. (We don't actually buffer read-ahead data -- lines only
177 # get put in 'linebuf' if the client explicitly does an
178 # 'unreadline()'.
179 if self.linebuf:
180 line = self.linebuf[-1]
181 del self.linebuf[-1]
182 return line
183
Greg Wardd1dc4751999-01-13 16:12:04 +0000184 buildup_line = ''
185
186 while 1:
Greg Wardabc2f961999-08-10 20:09:38 +0000187 # read the line, make it None if EOF
Greg Wardd1dc4751999-01-13 16:12:04 +0000188 line = self.file.readline()
Greg Wardabc2f961999-08-10 20:09:38 +0000189 if line == '': line = None
190
Greg Wardd1dc4751999-01-13 16:12:04 +0000191 if self.strip_comments and line:
Greg Wardabc2f961999-08-10 20:09:38 +0000192
193 # Look for the first "#" in the line. If none, never
194 # mind. If we find one and it's the first character, or
195 # is not preceded by "\", then it starts a comment --
196 # strip the comment, strip whitespace before it, and
197 # carry on. Otherwise, it's just an escaped "#", so
198 # unescape it (and any other escaped "#"'s that might be
199 # lurking in there) and otherwise leave the line alone.
200
201 pos = string.find (line, "#")
202 if pos == -1: # no "#" -- no comments
203 pass
Greg Wardacff0b32000-09-16 18:33:36 +0000204
205 # It's definitely a comment -- either "#" is the first
206 # character, or it's elsewhere and unescaped.
207 elif pos == 0 or line[pos-1] != "\\":
Greg Ward274ad9d1999-09-29 13:03:32 +0000208 # Have to preserve the trailing newline, because it's
209 # the job of a later step (rstrip_ws) to remove it --
210 # and if rstrip_ws is false, we'd better preserve it!
211 # (NB. this means that if the final line is all comment
212 # and has no trailing newline, we will think that it's
Greg Wardabc2f961999-08-10 20:09:38 +0000213 # EOF; I think that's OK.)
Greg Ward274ad9d1999-09-29 13:03:32 +0000214 eol = (line[-1] == '\n') and '\n' or ''
215 line = line[0:pos] + eol
Greg Wardabc2f961999-08-10 20:09:38 +0000216
Greg Wardacff0b32000-09-16 18:33:36 +0000217 # If all that's left is whitespace, then skip line
218 # *now*, before we try to join it to 'buildup_line' --
219 # that way constructs like
220 # hello \\
221 # # comment that should be ignored
222 # there
223 # result in "hello there".
224 if string.strip(line) == "":
225 continue
226
Greg Wardabc2f961999-08-10 20:09:38 +0000227 else: # it's an escaped "#"
228 line = string.replace (line, "\\#", "#")
229
Greg Wardd1dc4751999-01-13 16:12:04 +0000230
231 # did previous line end with a backslash? then accumulate
232 if self.join_lines and buildup_line:
233 # oops: end of file
Greg Wardabc2f961999-08-10 20:09:38 +0000234 if line is None:
Greg Wardd1dc4751999-01-13 16:12:04 +0000235 self.warn ("continuation line immediately precedes "
236 "end-of-file")
237 return buildup_line
238
Greg Ward60cd2862000-09-16 18:04:55 +0000239 if self.collapse_join:
240 line = string.lstrip (line)
Greg Wardd1dc4751999-01-13 16:12:04 +0000241 line = buildup_line + line
242
243 # careful: pay attention to line number when incrementing it
244 if type (self.current_line) is ListType:
245 self.current_line[1] = self.current_line[1] + 1
246 else:
Greg Wardacff0b32000-09-16 18:33:36 +0000247 self.current_line = [self.current_line,
248 self.current_line+1]
Greg Wardd1dc4751999-01-13 16:12:04 +0000249 # just an ordinary line, read it as usual
250 else:
Greg Wardabc2f961999-08-10 20:09:38 +0000251 if line is None: # eof
Greg Wardd1dc4751999-01-13 16:12:04 +0000252 return None
253
254 # still have to be careful about incrementing the line number!
255 if type (self.current_line) is ListType:
256 self.current_line = self.current_line[1] + 1
257 else:
258 self.current_line = self.current_line + 1
Greg Ward91c488c1999-03-29 18:01:49 +0000259
Greg Wardd1dc4751999-01-13 16:12:04 +0000260
261 # strip whitespace however the client wants (leading and
262 # trailing, or one or the other, or neither)
263 if self.lstrip_ws and self.rstrip_ws:
264 line = string.strip (line)
Greg Ward274ad9d1999-09-29 13:03:32 +0000265 elif self.lstrip_ws:
266 line = string.lstrip (line)
267 elif self.rstrip_ws:
268 line = string.rstrip (line)
Greg Wardd1dc4751999-01-13 16:12:04 +0000269
270 # blank line (whether we rstrip'ed or not)? skip to next line
271 # if appropriate
Greg Ward3d05c162000-09-16 18:09:22 +0000272 if (line == '' or line == '\n') and self.skip_blanks:
Greg Wardd1dc4751999-01-13 16:12:04 +0000273 continue
274
275 if self.join_lines:
276 if line[-1] == '\\':
277 buildup_line = line[:-1]
278 continue
279
280 if line[-2:] == '\\\n':
281 buildup_line = line[0:-2] + '\n'
282 continue
283
Greg Wardd1dc4751999-01-13 16:12:04 +0000284 # well, I guess there's some actual content there: return it
285 return line
286
Greg Wardacff0b32000-09-16 18:33:36 +0000287 # readline ()
Greg Wardd1dc4751999-01-13 16:12:04 +0000288
289
Greg Wardd1dc4751999-01-13 16:12:04 +0000290 def readlines (self):
Greg Ward274ad9d1999-09-29 13:03:32 +0000291 """Read and return the list of all logical lines remaining in the
292 current file."""
293
Greg Wardd1dc4751999-01-13 16:12:04 +0000294 lines = []
295 while 1:
296 line = self.readline()
297 if line is None:
298 return lines
299 lines.append (line)
300
301
Greg Ward91c488c1999-03-29 18:01:49 +0000302 def unreadline (self, line):
Greg Ward274ad9d1999-09-29 13:03:32 +0000303 """Push 'line' (a string) onto an internal buffer that will be
304 checked by future 'readline()' calls. Handy for implementing
305 a parser with line-at-a-time lookahead."""
306
Greg Ward91c488c1999-03-29 18:01:49 +0000307 self.linebuf.append (line)
308
309
Greg Wardd1dc4751999-01-13 16:12:04 +0000310if __name__ == "__main__":
311 test_data = """# test file
312
313line 3 \\
Greg Wardacff0b32000-09-16 18:33:36 +0000314# intervening comment
Greg Ward60cd2862000-09-16 18:04:55 +0000315 continues on next line
Greg Wardd1dc4751999-01-13 16:12:04 +0000316"""
Greg Wardd1dc4751999-01-13 16:12:04 +0000317 # result 1: no fancy options
318 result1 = map (lambda x: x + "\n", string.split (test_data, "\n")[0:-1])
319
320 # result 2: just strip comments
Greg Wardacff0b32000-09-16 18:33:36 +0000321 result2 = ["\n",
322 "line 3 \\\n",
323 " continues on next line\n"]
Greg Wardd1dc4751999-01-13 16:12:04 +0000324
325 # result 3: just strip blank lines
Greg Wardacff0b32000-09-16 18:33:36 +0000326 result3 = ["# test file\n",
327 "line 3 \\\n",
328 "# intervening comment\n",
329 " continues on next line\n"]
Greg Wardd1dc4751999-01-13 16:12:04 +0000330
331 # result 4: default, strip comments, blank lines, and trailing whitespace
Greg Wardacff0b32000-09-16 18:33:36 +0000332 result4 = ["line 3 \\",
333 " continues on next line"]
Greg Wardd1dc4751999-01-13 16:12:04 +0000334
Greg Ward60cd2862000-09-16 18:04:55 +0000335 # result 5: strip comments and blanks, plus join lines (but don't
336 # "collapse" joined lines
337 result5 = ["line 3 continues on next line"]
338
339 # result 6: strip comments and blanks, plus join lines (and
340 # "collapse" joined lines
341 result6 = ["line 3 continues on next line"]
Greg Wardd1dc4751999-01-13 16:12:04 +0000342
343 def test_input (count, description, file, expected_result):
344 result = file.readlines ()
345 # result = string.join (result, '')
346 if result == expected_result:
347 print "ok %d (%s)" % (count, description)
348 else:
349 print "not ok %d (%s):" % (count, description)
350 print "** expected:"
351 print expected_result
352 print "** received:"
353 print result
354
355
356 filename = "test.txt"
357 out_file = open (filename, "w")
358 out_file.write (test_data)
359 out_file.close ()
360
361 in_file = TextFile (filename, strip_comments=0, skip_blanks=0,
Greg Wardabc2f961999-08-10 20:09:38 +0000362 lstrip_ws=0, rstrip_ws=0)
Greg Wardd1dc4751999-01-13 16:12:04 +0000363 test_input (1, "no processing", in_file, result1)
364
365 in_file = TextFile (filename, strip_comments=1, skip_blanks=0,
Greg Wardabc2f961999-08-10 20:09:38 +0000366 lstrip_ws=0, rstrip_ws=0)
Greg Wardd1dc4751999-01-13 16:12:04 +0000367 test_input (2, "strip comments", in_file, result2)
368
369 in_file = TextFile (filename, strip_comments=0, skip_blanks=1,
Greg Wardabc2f961999-08-10 20:09:38 +0000370 lstrip_ws=0, rstrip_ws=0)
Greg Wardd1dc4751999-01-13 16:12:04 +0000371 test_input (3, "strip blanks", in_file, result3)
372
373 in_file = TextFile (filename)
374 test_input (4, "default processing", in_file, result4)
375
376 in_file = TextFile (filename, strip_comments=1, skip_blanks=1,
377 join_lines=1, rstrip_ws=1)
Greg Ward60cd2862000-09-16 18:04:55 +0000378 test_input (5, "join lines without collapsing", in_file, result5)
379
380 in_file = TextFile (filename, strip_comments=1, skip_blanks=1,
381 join_lines=1, rstrip_ws=1, collapse_join=1)
382 test_input (6, "join lines with collapsing", in_file, result6)
Greg Wardd1dc4751999-01-13 16:12:04 +0000383
384 os.remove (filename)
385