blob: 3ebf5aec003b2404f230257ed6c59be2dc1c7e21 [file] [log] [blame]
Guido van Rossum53807da2007-04-10 19:01:47 +00001"""New I/O library conforming to PEP 3116.
Guido van Rossum28524c72007-02-27 05:47:44 +00002
Guido van Rossumb9c4c3e2007-04-11 16:07:50 +00003This is a prototype; hopefully eventually some of this will be
4reimplemented in C.
Guido van Rossum17e43e52007-02-27 15:45:13 +00005
Guido van Rossum53807da2007-04-10 19:01:47 +00006Conformance of alternative implementations: all arguments are intended
7to be positional-only except the arguments of the open() function.
8Argument names except those of the open() function are not part of the
9specification. Instance variables and methods whose name starts with
10a leading underscore are not part of the specification (except "magic"
11names like __iter__). Only the top-level names listed in the __all__
12variable are part of the specification.
Guido van Rossumc819dea2007-03-15 18:59:31 +000013
Guido van Rossumb9c4c3e2007-04-11 16:07:50 +000014XXX edge cases when switching between reading/writing
Guido van Rossumc819dea2007-03-15 18:59:31 +000015XXX need to support 1 meaning line-buffered
Guido van Rossum9b76da62007-04-11 01:09:03 +000016XXX whenever an argument is None, use the default value
17XXX read/write ops should check readable/writable
Guido van Rossumd4103952007-04-12 05:44:49 +000018XXX buffered readinto should work with arbitrary buffer objects
Guido van Rossumd76e7792007-04-17 02:38:04 +000019XXX use incremental encoder for text output, at least for UTF-16 and UTF-8-SIG
Guido van Rossum5abbf752007-08-27 17:39:33 +000020XXX check writable, readable and seekable in appropriate places
Guido van Rossum28524c72007-02-27 05:47:44 +000021"""
22
Guido van Rossum68bbcd22007-02-27 17:19:33 +000023__author__ = ("Guido van Rossum <guido@python.org>, "
Guido van Rossum78892e42007-04-06 17:31:18 +000024 "Mike Verdone <mike.verdone@gmail.com>, "
25 "Mark Russell <mark.russell@zen.co.uk>")
Guido van Rossum28524c72007-02-27 05:47:44 +000026
Guido van Rossum141f7672007-04-10 00:22:16 +000027__all__ = ["BlockingIOError", "open", "IOBase", "RawIOBase", "FileIO",
Guido van Rossum5abbf752007-08-27 17:39:33 +000028 "BytesIO", "StringIO", "BufferedIOBase",
Guido van Rossum01a27522007-03-07 01:00:12 +000029 "BufferedReader", "BufferedWriter", "BufferedRWPair",
Guido van Rossum141f7672007-04-10 00:22:16 +000030 "BufferedRandom", "TextIOBase", "TextIOWrapper"]
Guido van Rossum28524c72007-02-27 05:47:44 +000031
32import os
Guido van Rossumb7f136e2007-08-22 18:14:10 +000033import abc
Guido van Rossum78892e42007-04-06 17:31:18 +000034import sys
35import codecs
Guido van Rossum141f7672007-04-10 00:22:16 +000036import _fileio
Neal Norwitz1e50a9f2007-08-11 18:37:05 +000037import io
Guido van Rossum78892e42007-04-06 17:31:18 +000038import warnings
Guido van Rossum28524c72007-02-27 05:47:44 +000039
Guido van Rossum5abbf752007-08-27 17:39:33 +000040# open() uses st_blksize whenever we can
Guido van Rossum4f0db6e2007-04-08 23:59:06 +000041DEFAULT_BUFFER_SIZE = 8 * 1024 # bytes
Guido van Rossum01a27522007-03-07 01:00:12 +000042
43
Guido van Rossum141f7672007-04-10 00:22:16 +000044class BlockingIOError(IOError):
Guido van Rossum78892e42007-04-06 17:31:18 +000045
Guido van Rossum141f7672007-04-10 00:22:16 +000046 """Exception raised when I/O would block on a non-blocking I/O stream."""
47
48 def __init__(self, errno, strerror, characters_written=0):
Guido van Rossum01a27522007-03-07 01:00:12 +000049 IOError.__init__(self, errno, strerror)
50 self.characters_written = characters_written
51
Guido van Rossum68bbcd22007-02-27 17:19:33 +000052
Guido van Rossum9cbfffd2007-06-07 00:54:15 +000053def open(file, mode="r", buffering=None, encoding=None, newline=None):
Guido van Rossum17e43e52007-02-27 15:45:13 +000054 """Replacement for the built-in open function.
55
56 Args:
Guido van Rossum4f0db6e2007-04-08 23:59:06 +000057 file: string giving the name of the file to be opened;
Guido van Rossum9b76da62007-04-11 01:09:03 +000058 or integer file descriptor of the file to be wrapped (*).
59 mode: optional mode string; see below.
Guido van Rossum17e43e52007-02-27 15:45:13 +000060 buffering: optional int >= 0 giving the buffer size; values
61 can be: 0 = unbuffered, 1 = line buffered,
Guido van Rossum9b76da62007-04-11 01:09:03 +000062 larger = fully buffered.
Guido van Rossum9b76da62007-04-11 01:09:03 +000063 encoding: optional string giving the text encoding.
Guido van Rossum8358db22007-08-18 21:39:55 +000064 newline: optional newlines specifier; must be None, '', '\n', '\r'
65 or '\r\n'; all other values are illegal. It controls the
66 handling of line endings. It works as follows:
67
68 * On input, if `newline` is `None`, universal newlines
69 mode is enabled. Lines in the input can end in `'\n'`,
70 `'\r'`, or `'\r\n'`, and these are translated into
71 `'\n'` before being returned to the caller. If it is
72 `''`, universal newline mode is enabled, but line endings
73 are returned to the caller untranslated. If it has any of
74 the other legal values, input lines are only terminated by
75 the given string, and the line ending is returned to the
76 caller untranslated.
77
78 * On output, if `newline` is `None`, any `'\n'`
79 characters written are translated to the system default
80 line separator, `os.linesep`. If `newline` is `''`,
81 no translation takes place. If `newline` is any of the
82 other legal values, any `'\n'` characters written are
83 translated to the given string.
Guido van Rossum17e43e52007-02-27 15:45:13 +000084
Guido van Rossum4f0db6e2007-04-08 23:59:06 +000085 (*) If a file descriptor is given, it is closed when the returned
86 I/O object is closed. If you don't want this to happen, use
87 os.dup() to create a duplicate file descriptor.
88
Guido van Rossum17e43e52007-02-27 15:45:13 +000089 Mode strings characters:
90 'r': open for reading (default)
91 'w': open for writing, truncating the file first
92 'a': open for writing, appending to the end if the file exists
93 'b': binary mode
94 't': text mode (default)
95 '+': open a disk file for updating (implies reading and writing)
Guido van Rossum9be55972007-04-07 02:59:27 +000096 'U': universal newline mode (for backwards compatibility)
Guido van Rossum17e43e52007-02-27 15:45:13 +000097
98 Constraints:
99 - encoding must not be given when a binary mode is given
100 - buffering must not be zero when a text mode is given
101
102 Returns:
103 Depending on the mode and buffering arguments, either a raw
104 binary stream, a buffered binary stream, or a buffered text
105 stream, open for reading and/or writing.
106 """
Guido van Rossum5abbf752007-08-27 17:39:33 +0000107 if not isinstance(file, (basestring, int)):
108 raise TypeError("invalid file: %r" % file)
109 if not isinstance(mode, basestring):
110 raise TypeError("invalid mode: %r" % mode)
111 if buffering is not None and not isinstance(buffering, int):
112 raise TypeError("invalid buffering: %r" % buffering)
113 if encoding is not None and not isinstance(encoding, basestring):
114 raise TypeError("invalid encoding: %r" % encoding)
Guido van Rossum28524c72007-02-27 05:47:44 +0000115 modes = set(mode)
Guido van Rossum9be55972007-04-07 02:59:27 +0000116 if modes - set("arwb+tU") or len(mode) > len(modes):
Guido van Rossum28524c72007-02-27 05:47:44 +0000117 raise ValueError("invalid mode: %r" % mode)
118 reading = "r" in modes
Guido van Rossum17e43e52007-02-27 15:45:13 +0000119 writing = "w" in modes
Guido van Rossum28524c72007-02-27 05:47:44 +0000120 appending = "a" in modes
121 updating = "+" in modes
Guido van Rossum17e43e52007-02-27 15:45:13 +0000122 text = "t" in modes
123 binary = "b" in modes
Guido van Rossum7165cb12007-07-10 06:54:34 +0000124 if "U" in modes:
125 if writing or appending:
126 raise ValueError("can't use U and writing mode at once")
Guido van Rossum9be55972007-04-07 02:59:27 +0000127 reading = True
Guido van Rossum28524c72007-02-27 05:47:44 +0000128 if text and binary:
129 raise ValueError("can't have text and binary mode at once")
130 if reading + writing + appending > 1:
131 raise ValueError("can't have read/write/append mode at once")
132 if not (reading or writing or appending):
133 raise ValueError("must have exactly one of read/write/append mode")
134 if binary and encoding is not None:
Guido van Rossum9b76da62007-04-11 01:09:03 +0000135 raise ValueError("binary mode doesn't take an encoding argument")
136 if binary and newline is not None:
137 raise ValueError("binary mode doesn't take a newline argument")
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000138 raw = FileIO(file,
Guido van Rossum28524c72007-02-27 05:47:44 +0000139 (reading and "r" or "") +
140 (writing and "w" or "") +
141 (appending and "a" or "") +
142 (updating and "+" or ""))
143 if buffering is None:
Guido van Rossumc2f93dc2007-05-24 00:50:02 +0000144 buffering = -1
Guido van Rossum5abbf752007-08-27 17:39:33 +0000145 if buffering < 0 and raw.isatty():
146 buffering = 1
Guido van Rossumc2f93dc2007-05-24 00:50:02 +0000147 if buffering < 0:
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000148 buffering = DEFAULT_BUFFER_SIZE
Guido van Rossum17e43e52007-02-27 15:45:13 +0000149 try:
150 bs = os.fstat(raw.fileno()).st_blksize
151 except (os.error, AttributeError):
Guido van Rossumbb09b212007-03-18 03:36:28 +0000152 pass
153 else:
Guido van Rossum17e43e52007-02-27 15:45:13 +0000154 if bs > 1:
155 buffering = bs
Guido van Rossum28524c72007-02-27 05:47:44 +0000156 if buffering < 0:
157 raise ValueError("invalid buffering size")
158 if buffering == 0:
159 if binary:
Guido van Rossum13633bb2007-04-13 18:42:35 +0000160 raw._name = file
161 raw._mode = mode
Guido van Rossum28524c72007-02-27 05:47:44 +0000162 return raw
163 raise ValueError("can't have unbuffered text I/O")
164 if updating:
165 buffer = BufferedRandom(raw, buffering)
Guido van Rossum17e43e52007-02-27 15:45:13 +0000166 elif writing or appending:
Guido van Rossum28524c72007-02-27 05:47:44 +0000167 buffer = BufferedWriter(raw, buffering)
Guido van Rossum5abbf752007-08-27 17:39:33 +0000168 elif reading:
Guido van Rossum28524c72007-02-27 05:47:44 +0000169 buffer = BufferedReader(raw, buffering)
Guido van Rossum5abbf752007-08-27 17:39:33 +0000170 else:
171 raise ValueError("unknown mode: %r" % mode)
Guido van Rossum28524c72007-02-27 05:47:44 +0000172 if binary:
Guido van Rossum13633bb2007-04-13 18:42:35 +0000173 buffer.name = file
174 buffer.mode = mode
Guido van Rossum28524c72007-02-27 05:47:44 +0000175 return buffer
Guido van Rossum13633bb2007-04-13 18:42:35 +0000176 text = TextIOWrapper(buffer, encoding, newline)
177 text.name = file
178 text.mode = mode
179 return text
Guido van Rossum28524c72007-02-27 05:47:44 +0000180
181
Guido van Rossum4b5386f2007-07-10 09:12:49 +0000182class UnsupportedOperation(ValueError, IOError):
183 pass
184
185
Guido van Rossumb7f136e2007-08-22 18:14:10 +0000186class IOBase(metaclass=abc.ABCMeta):
Guido van Rossum28524c72007-02-27 05:47:44 +0000187
Guido van Rossum141f7672007-04-10 00:22:16 +0000188 """Base class for all I/O classes.
Guido van Rossum17e43e52007-02-27 15:45:13 +0000189
Guido van Rossum141f7672007-04-10 00:22:16 +0000190 This class provides dummy implementations for many methods that
Guido van Rossum17e43e52007-02-27 15:45:13 +0000191 derived classes can override selectively; the default
192 implementations represent a file that cannot be read, written or
193 seeked.
194
Guido van Rossum141f7672007-04-10 00:22:16 +0000195 This does not define read(), readinto() and write(), nor
196 readline() and friends, since their signatures vary per layer.
Guido van Rossum53807da2007-04-10 19:01:47 +0000197
198 Not that calling any method (even inquiries) on a closed file is
199 undefined. Implementations may raise IOError in this case.
Guido van Rossum17e43e52007-02-27 15:45:13 +0000200 """
201
Guido van Rossum141f7672007-04-10 00:22:16 +0000202 ### Internal ###
203
204 def _unsupported(self, name: str) -> IOError:
205 """Internal: raise an exception for unsupported operations."""
Guido van Rossum4b5386f2007-07-10 09:12:49 +0000206 raise UnsupportedOperation("%s.%s() not supported" %
207 (self.__class__.__name__, name))
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000208
Guido van Rossum141f7672007-04-10 00:22:16 +0000209 ### Positioning ###
210
Guido van Rossum53807da2007-04-10 19:01:47 +0000211 def seek(self, pos: int, whence: int = 0) -> int:
212 """seek(pos: int, whence: int = 0) -> int. Change stream position.
Guido van Rossum141f7672007-04-10 00:22:16 +0000213
214 Seek to byte offset pos relative to position indicated by whence:
215 0 Start of stream (the default). pos should be >= 0;
216 1 Current position - whence may be negative;
217 2 End of stream - whence usually negative.
Guido van Rossum53807da2007-04-10 19:01:47 +0000218 Returns the new absolute position.
Guido van Rossum141f7672007-04-10 00:22:16 +0000219 """
220 self._unsupported("seek")
221
222 def tell(self) -> int:
223 """tell() -> int. Return current stream position."""
Guido van Rossum53807da2007-04-10 19:01:47 +0000224 return self.seek(0, 1)
Guido van Rossum141f7672007-04-10 00:22:16 +0000225
Guido van Rossum87429772007-04-10 21:06:59 +0000226 def truncate(self, pos: int = None) -> int:
227 """truncate(size: int = None) -> int. Truncate file to size bytes.
Guido van Rossum141f7672007-04-10 00:22:16 +0000228
229 Size defaults to the current IO position as reported by tell().
Guido van Rossum87429772007-04-10 21:06:59 +0000230 Returns the new size.
Guido van Rossum141f7672007-04-10 00:22:16 +0000231 """
232 self._unsupported("truncate")
233
234 ### Flush and close ###
235
236 def flush(self) -> None:
237 """flush() -> None. Flushes write buffers, if applicable.
238
239 This is a no-op for read-only and non-blocking streams.
240 """
Guido van Rossumd4103952007-04-12 05:44:49 +0000241 # XXX Should this return the number of bytes written???
Guido van Rossum141f7672007-04-10 00:22:16 +0000242
243 __closed = False
244
245 def close(self) -> None:
246 """close() -> None. Flushes and closes the IO object.
247
248 This must be idempotent. It should also set a flag for the
249 'closed' property (see below) to test.
250 """
251 if not self.__closed:
Guido van Rossum469734b2007-07-10 12:00:45 +0000252 try:
253 self.flush()
Guido van Rossum33e7a8e2007-07-22 20:38:07 +0000254 except IOError:
255 pass # If flush() fails, just give up
256 self.__closed = True
Guido van Rossum141f7672007-04-10 00:22:16 +0000257
258 def __del__(self) -> None:
259 """Destructor. Calls close()."""
260 # The try/except block is in case this is called at program
261 # exit time, when it's possible that globals have already been
262 # deleted, and then the close() call might fail. Since
263 # there's nothing we can do about such failures and they annoy
264 # the end users, we suppress the traceback.
265 try:
266 self.close()
267 except:
268 pass
269
270 ### Inquiries ###
271
272 def seekable(self) -> bool:
273 """seekable() -> bool. Return whether object supports random access.
274
275 If False, seek(), tell() and truncate() will raise IOError.
276 This method may need to do a test seek().
277 """
278 return False
279
Guido van Rossum5abbf752007-08-27 17:39:33 +0000280 def _checkSeekable(self, msg=None):
281 """Internal: raise an IOError if file is not seekable
282 """
283 if not self.seekable():
284 raise IOError("File or stream is not seekable."
285 if msg is None else msg)
286
287
Guido van Rossum141f7672007-04-10 00:22:16 +0000288 def readable(self) -> bool:
289 """readable() -> bool. Return whether object was opened for reading.
290
291 If False, read() will raise IOError.
292 """
293 return False
294
Guido van Rossum5abbf752007-08-27 17:39:33 +0000295 def _checkReadable(self, msg=None):
296 """Internal: raise an IOError if file is not readable
297 """
298 if not self.readable():
299 raise IOError("File or stream is not readable."
300 if msg is None else msg)
301
Guido van Rossum141f7672007-04-10 00:22:16 +0000302 def writable(self) -> bool:
303 """writable() -> bool. Return whether object was opened for writing.
304
305 If False, write() and truncate() will raise IOError.
306 """
307 return False
308
Guido van Rossum5abbf752007-08-27 17:39:33 +0000309 def _checkWritable(self, msg=None):
310 """Internal: raise an IOError if file is not writable
311 """
312 if not self.writable():
313 raise IOError("File or stream is not writable."
314 if msg is None else msg)
315
Guido van Rossum141f7672007-04-10 00:22:16 +0000316 @property
317 def closed(self):
318 """closed: bool. True iff the file has been closed.
319
320 For backwards compatibility, this is a property, not a predicate.
321 """
322 return self.__closed
323
Guido van Rossum5abbf752007-08-27 17:39:33 +0000324 def _checkClosed(self, msg=None):
325 """Internal: raise an ValueError if file is closed
326 """
327 if self.closed:
328 raise ValueError("I/O operation on closed file."
329 if msg is None else msg)
330
Guido van Rossum141f7672007-04-10 00:22:16 +0000331 ### Context manager ###
332
333 def __enter__(self) -> "IOBase": # That's a forward reference
334 """Context management protocol. Returns self."""
335 return self
336
337 def __exit__(self, *args) -> None:
338 """Context management protocol. Calls close()"""
339 self.close()
340
341 ### Lower-level APIs ###
342
343 # XXX Should these be present even if unimplemented?
344
345 def fileno(self) -> int:
346 """fileno() -> int. Returns underlying file descriptor if one exists.
347
348 Raises IOError if the IO object does not use a file descriptor.
349 """
350 self._unsupported("fileno")
351
352 def isatty(self) -> bool:
353 """isatty() -> int. Returns whether this is an 'interactive' stream.
354
355 Returns False if we don't know.
356 """
Guido van Rossum5abbf752007-08-27 17:39:33 +0000357 self._checkClosed()
Guido van Rossum141f7672007-04-10 00:22:16 +0000358 return False
359
Guido van Rossum7165cb12007-07-10 06:54:34 +0000360 ### Readline[s] and writelines ###
Guido van Rossum7d0a8262007-05-21 23:13:11 +0000361
Guido van Rossum48fc58a2007-06-07 23:45:37 +0000362 def readline(self, limit: int = -1) -> bytes:
363 """For backwards compatibility, a (slowish) readline()."""
Guido van Rossum2bf71382007-06-08 00:07:57 +0000364 if hasattr(self, "peek"):
365 def nreadahead():
366 readahead = self.peek(1, unsafe=True)
367 if not readahead:
368 return 1
369 n = (readahead.find(b"\n") + 1) or len(readahead)
370 if limit >= 0:
371 n = min(n, limit)
372 return n
373 else:
374 def nreadahead():
375 return 1
Guido van Rossum48fc58a2007-06-07 23:45:37 +0000376 if limit is None:
377 limit = -1
378 res = bytes()
379 while limit < 0 or len(res) < limit:
Guido van Rossum2bf71382007-06-08 00:07:57 +0000380 b = self.read(nreadahead())
Guido van Rossum7d0a8262007-05-21 23:13:11 +0000381 if not b:
382 break
383 res += b
Guido van Rossum48fc58a2007-06-07 23:45:37 +0000384 if res.endswith(b"\n"):
Guido van Rossum7d0a8262007-05-21 23:13:11 +0000385 break
386 return res
387
Guido van Rossum7165cb12007-07-10 06:54:34 +0000388 def __iter__(self):
Guido van Rossum5abbf752007-08-27 17:39:33 +0000389 self._checkClosed()
Guido van Rossum7165cb12007-07-10 06:54:34 +0000390 return self
391
392 def __next__(self):
393 line = self.readline()
394 if not line:
395 raise StopIteration
396 return line
397
398 def readlines(self, hint=None):
399 if hint is None:
400 return list(self)
401 n = 0
402 lines = []
403 for line in self:
404 lines.append(line)
405 n += len(line)
406 if n >= hint:
407 break
408 return lines
409
410 def writelines(self, lines):
Guido van Rossum5abbf752007-08-27 17:39:33 +0000411 self._checkClosed()
Guido van Rossum7165cb12007-07-10 06:54:34 +0000412 for line in lines:
413 self.write(line)
414
Guido van Rossum141f7672007-04-10 00:22:16 +0000415
416class RawIOBase(IOBase):
417
418 """Base class for raw binary I/O.
419
420 The read() method is implemented by calling readinto(); derived
421 classes that want to support read() only need to implement
422 readinto() as a primitive operation. In general, readinto()
423 can be more efficient than read().
424
425 (It would be tempting to also provide an implementation of
426 readinto() in terms of read(), in case the latter is a more
427 suitable primitive operation, but that would lead to nasty
428 recursion in case a subclass doesn't implement either.)
429 """
430
Guido van Rossum7165cb12007-07-10 06:54:34 +0000431 def read(self, n: int = -1) -> bytes:
Guido van Rossum78892e42007-04-06 17:31:18 +0000432 """read(n: int) -> bytes. Read and return up to n bytes.
Guido van Rossum01a27522007-03-07 01:00:12 +0000433
434 Returns an empty bytes array on EOF, or None if the object is
435 set not to block and has no data to read.
436 """
Guido van Rossum7165cb12007-07-10 06:54:34 +0000437 if n is None:
438 n = -1
439 if n < 0:
440 return self.readall()
Guido van Rossum28524c72007-02-27 05:47:44 +0000441 b = bytes(n.__index__())
Guido van Rossum00efead2007-03-07 05:23:25 +0000442 n = self.readinto(b)
443 del b[n:]
Guido van Rossum28524c72007-02-27 05:47:44 +0000444 return b
445
Guido van Rossum7165cb12007-07-10 06:54:34 +0000446 def readall(self):
447 """readall() -> bytes. Read until EOF, using multiple read() call."""
448 res = bytes()
449 while True:
450 data = self.read(DEFAULT_BUFFER_SIZE)
451 if not data:
452 break
453 res += data
454 return res
455
Guido van Rossum141f7672007-04-10 00:22:16 +0000456 def readinto(self, b: bytes) -> int:
457 """readinto(b: bytes) -> int. Read up to len(b) bytes into b.
Guido van Rossum78892e42007-04-06 17:31:18 +0000458
459 Returns number of bytes read (0 for EOF), or None if the object
460 is set not to block as has no data to read.
461 """
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000462 self._unsupported("readinto")
Guido van Rossum28524c72007-02-27 05:47:44 +0000463
Guido van Rossum141f7672007-04-10 00:22:16 +0000464 def write(self, b: bytes) -> int:
Guido van Rossum78892e42007-04-06 17:31:18 +0000465 """write(b: bytes) -> int. Write the given buffer to the IO stream.
Guido van Rossum01a27522007-03-07 01:00:12 +0000466
Guido van Rossum78892e42007-04-06 17:31:18 +0000467 Returns the number of bytes written, which may be less than len(b).
Guido van Rossum01a27522007-03-07 01:00:12 +0000468 """
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000469 self._unsupported("write")
Guido van Rossum28524c72007-02-27 05:47:44 +0000470
Guido van Rossum78892e42007-04-06 17:31:18 +0000471
Guido van Rossum141f7672007-04-10 00:22:16 +0000472class FileIO(_fileio._FileIO, RawIOBase):
Guido van Rossum28524c72007-02-27 05:47:44 +0000473
Guido van Rossum141f7672007-04-10 00:22:16 +0000474 """Raw I/O implementation for OS files.
Guido van Rossum28524c72007-02-27 05:47:44 +0000475
Guido van Rossum141f7672007-04-10 00:22:16 +0000476 This multiply inherits from _FileIO and RawIOBase to make
477 isinstance(io.FileIO(), io.RawIOBase) return True without
478 requiring that _fileio._FileIO inherits from io.RawIOBase (which
479 would be hard to do since _fileio.c is written in C).
480 """
Guido van Rossuma9e20242007-03-08 00:43:48 +0000481
Guido van Rossum87429772007-04-10 21:06:59 +0000482 def close(self):
483 _fileio._FileIO.close(self)
484 RawIOBase.close(self)
485
Guido van Rossum13633bb2007-04-13 18:42:35 +0000486 @property
487 def name(self):
488 return self._name
489
490 @property
491 def mode(self):
492 return self._mode
493
Guido van Rossuma9e20242007-03-08 00:43:48 +0000494
Guido van Rossumcce92b22007-04-10 14:41:39 +0000495class BufferedIOBase(IOBase):
Guido van Rossum141f7672007-04-10 00:22:16 +0000496
497 """Base class for buffered IO objects.
498
499 The main difference with RawIOBase is that the read() method
500 supports omitting the size argument, and does not have a default
501 implementation that defers to readinto().
502
503 In addition, read(), readinto() and write() may raise
504 BlockingIOError if the underlying raw stream is in non-blocking
505 mode and not ready; unlike their raw counterparts, they will never
506 return None.
507
508 A typical implementation should not inherit from a RawIOBase
509 implementation, but wrap one.
510 """
511
Guido van Rossumc2f93dc2007-05-24 00:50:02 +0000512 def read(self, n: int = None) -> bytes:
513 """read(n: int = None) -> bytes. Read and return up to n bytes.
Guido van Rossum141f7672007-04-10 00:22:16 +0000514
Guido van Rossum024da5c2007-05-17 23:59:11 +0000515 If the argument is omitted, None, or negative, reads and
516 returns all data until EOF.
Guido van Rossum141f7672007-04-10 00:22:16 +0000517
518 If the argument is positive, and the underlying raw stream is
519 not 'interactive', multiple raw reads may be issued to satisfy
520 the byte count (unless EOF is reached first). But for
521 interactive raw streams (XXX and for pipes?), at most one raw
522 read will be issued, and a short result does not imply that
523 EOF is imminent.
524
525 Returns an empty bytes array on EOF.
526
527 Raises BlockingIOError if the underlying raw stream has no
528 data at the moment.
529 """
530 self._unsupported("read")
531
532 def readinto(self, b: bytes) -> int:
533 """readinto(b: bytes) -> int. Read up to len(b) bytes into b.
534
535 Like read(), this may issue multiple reads to the underlying
536 raw stream, unless the latter is 'interactive' (XXX or a
537 pipe?).
538
539 Returns the number of bytes read (0 for EOF).
540
541 Raises BlockingIOError if the underlying raw stream has no
542 data at the moment.
543 """
Guido van Rossumd4103952007-04-12 05:44:49 +0000544 # XXX This ought to work with anything that supports the buffer API
Guido van Rossum87429772007-04-10 21:06:59 +0000545 data = self.read(len(b))
546 n = len(data)
Guido van Rossum7165cb12007-07-10 06:54:34 +0000547 try:
548 b[:n] = data
549 except TypeError as err:
550 import array
551 if not isinstance(b, array.array):
552 raise err
553 b[:n] = array.array('b', data)
Guido van Rossum87429772007-04-10 21:06:59 +0000554 return n
Guido van Rossum141f7672007-04-10 00:22:16 +0000555
556 def write(self, b: bytes) -> int:
557 """write(b: bytes) -> int. Write the given buffer to the IO stream.
558
559 Returns the number of bytes written, which is never less than
560 len(b).
561
562 Raises BlockingIOError if the buffer is full and the
563 underlying raw stream cannot accept more data at the moment.
564 """
565 self._unsupported("write")
566
567
568class _BufferedIOMixin(BufferedIOBase):
569
570 """A mixin implementation of BufferedIOBase with an underlying raw stream.
571
572 This passes most requests on to the underlying raw stream. It
573 does *not* provide implementations of read(), readinto() or
574 write().
575 """
576
577 def __init__(self, raw):
578 self.raw = raw
579
580 ### Positioning ###
581
582 def seek(self, pos, whence=0):
Guido van Rossum53807da2007-04-10 19:01:47 +0000583 return self.raw.seek(pos, whence)
Guido van Rossum141f7672007-04-10 00:22:16 +0000584
585 def tell(self):
586 return self.raw.tell()
587
588 def truncate(self, pos=None):
Guido van Rossum7165cb12007-07-10 06:54:34 +0000589 if pos is None:
590 pos = self.tell()
Guido van Rossum87429772007-04-10 21:06:59 +0000591 return self.raw.truncate(pos)
Guido van Rossum141f7672007-04-10 00:22:16 +0000592
593 ### Flush and close ###
594
595 def flush(self):
596 self.raw.flush()
597
598 def close(self):
Guido van Rossum4b5386f2007-07-10 09:12:49 +0000599 if not self.closed:
Guido van Rossum33e7a8e2007-07-22 20:38:07 +0000600 try:
601 self.flush()
602 except IOError:
603 pass # If flush() fails, just give up
Guido van Rossum4b5386f2007-07-10 09:12:49 +0000604 self.raw.close()
Guido van Rossum141f7672007-04-10 00:22:16 +0000605
606 ### Inquiries ###
607
608 def seekable(self):
609 return self.raw.seekable()
610
611 def readable(self):
612 return self.raw.readable()
613
614 def writable(self):
615 return self.raw.writable()
616
617 @property
618 def closed(self):
619 return self.raw.closed
620
621 ### Lower-level APIs ###
622
623 def fileno(self):
624 return self.raw.fileno()
625
626 def isatty(self):
627 return self.raw.isatty()
628
629
Guido van Rossum024da5c2007-05-17 23:59:11 +0000630class BytesIO(BufferedIOBase):
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000631
Guido van Rossum024da5c2007-05-17 23:59:11 +0000632 """Buffered I/O implementation using an in-memory bytes buffer."""
Guido van Rossum28524c72007-02-27 05:47:44 +0000633
Guido van Rossum024da5c2007-05-17 23:59:11 +0000634 # XXX More docs
635
636 def __init__(self, initial_bytes=None):
637 buffer = b""
638 if initial_bytes is not None:
639 buffer += initial_bytes
Guido van Rossum78892e42007-04-06 17:31:18 +0000640 self._buffer = buffer
Guido van Rossum28524c72007-02-27 05:47:44 +0000641 self._pos = 0
Guido van Rossum28524c72007-02-27 05:47:44 +0000642
643 def getvalue(self):
644 return self._buffer
645
Guido van Rossum024da5c2007-05-17 23:59:11 +0000646 def read(self, n=None):
647 if n is None:
648 n = -1
Guido van Rossum141f7672007-04-10 00:22:16 +0000649 if n < 0:
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000650 n = len(self._buffer)
Guido van Rossum28524c72007-02-27 05:47:44 +0000651 newpos = min(len(self._buffer), self._pos + n)
652 b = self._buffer[self._pos : newpos]
653 self._pos = newpos
654 return b
655
Guido van Rossum024da5c2007-05-17 23:59:11 +0000656 def read1(self, n):
657 return self.read(n)
658
Guido van Rossum28524c72007-02-27 05:47:44 +0000659 def write(self, b):
Guido van Rossum4b5386f2007-07-10 09:12:49 +0000660 if self.closed:
661 raise ValueError("write to closed file")
Guido van Rossum28524c72007-02-27 05:47:44 +0000662 n = len(b)
663 newpos = self._pos + n
Guido van Rossumb972a782007-07-21 00:25:15 +0000664 if newpos > len(self._buffer):
665 # Inserts null bytes between the current end of the file
666 # and the new write position.
667 padding = '\x00' * (newpos - len(self._buffer) - n)
668 self._buffer[self._pos:newpos - n] = padding
Guido van Rossum28524c72007-02-27 05:47:44 +0000669 self._buffer[self._pos:newpos] = b
670 self._pos = newpos
671 return n
672
673 def seek(self, pos, whence=0):
674 if whence == 0:
675 self._pos = max(0, pos)
676 elif whence == 1:
677 self._pos = max(0, self._pos + pos)
678 elif whence == 2:
679 self._pos = max(0, len(self._buffer) + pos)
680 else:
681 raise IOError("invalid whence value")
Guido van Rossum53807da2007-04-10 19:01:47 +0000682 return self._pos
Guido van Rossum28524c72007-02-27 05:47:44 +0000683
684 def tell(self):
685 return self._pos
686
687 def truncate(self, pos=None):
688 if pos is None:
689 pos = self._pos
Guido van Rossum28524c72007-02-27 05:47:44 +0000690 del self._buffer[pos:]
Guido van Rossum87429772007-04-10 21:06:59 +0000691 return pos
Guido van Rossum28524c72007-02-27 05:47:44 +0000692
693 def readable(self):
694 return True
695
696 def writable(self):
697 return True
698
699 def seekable(self):
700 return True
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000701
702
Guido van Rossum141f7672007-04-10 00:22:16 +0000703class BufferedReader(_BufferedIOMixin):
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000704
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000705 """Buffer for a readable sequential RawIO object."""
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000706
Guido van Rossum78892e42007-04-06 17:31:18 +0000707 def __init__(self, raw, buffer_size=DEFAULT_BUFFER_SIZE):
Guido van Rossum01a27522007-03-07 01:00:12 +0000708 """Create a new buffered reader using the given readable raw IO object.
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000709 """
Guido van Rossum5abbf752007-08-27 17:39:33 +0000710 raw._checkReadable()
Guido van Rossum141f7672007-04-10 00:22:16 +0000711 _BufferedIOMixin.__init__(self, raw)
Guido van Rossum01a27522007-03-07 01:00:12 +0000712 self._read_buf = b""
Guido van Rossum78892e42007-04-06 17:31:18 +0000713 self.buffer_size = buffer_size
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000714
Guido van Rossum024da5c2007-05-17 23:59:11 +0000715 def read(self, n=None):
Guido van Rossum01a27522007-03-07 01:00:12 +0000716 """Read n bytes.
717
718 Returns exactly n bytes of data unless the underlying raw IO
Walter Dörwalda3270002007-05-29 19:13:29 +0000719 stream reaches EOF or if the call would block in non-blocking
Guido van Rossum141f7672007-04-10 00:22:16 +0000720 mode. If n is negative, read until EOF or until read() would
Guido van Rossum01a27522007-03-07 01:00:12 +0000721 block.
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000722 """
Guido van Rossum024da5c2007-05-17 23:59:11 +0000723 if n is None:
724 n = -1
Guido van Rossum78892e42007-04-06 17:31:18 +0000725 nodata_val = b""
Guido van Rossum141f7672007-04-10 00:22:16 +0000726 while n < 0 or len(self._read_buf) < n:
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000727 to_read = max(self.buffer_size,
728 n if n is not None else 2*len(self._read_buf))
Guido van Rossum78892e42007-04-06 17:31:18 +0000729 current = self.raw.read(to_read)
Guido van Rossum78892e42007-04-06 17:31:18 +0000730 if current in (b"", None):
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000731 nodata_val = current
732 break
Guido van Rossum01a27522007-03-07 01:00:12 +0000733 self._read_buf += current
734 if self._read_buf:
Guido van Rossum141f7672007-04-10 00:22:16 +0000735 if n < 0:
Guido van Rossum01a27522007-03-07 01:00:12 +0000736 n = len(self._read_buf)
737 out = self._read_buf[:n]
738 self._read_buf = self._read_buf[n:]
739 else:
740 out = nodata_val
741 return out
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000742
Guido van Rossum13633bb2007-04-13 18:42:35 +0000743 def peek(self, n=0, *, unsafe=False):
744 """Returns buffered bytes without advancing the position.
745
746 The argument indicates a desired minimal number of bytes; we
747 do at most one raw read to satisfy it. We never return more
748 than self.buffer_size.
749
750 Unless unsafe=True is passed, we return a copy.
751 """
752 want = min(n, self.buffer_size)
753 have = len(self._read_buf)
754 if have < want:
755 to_read = self.buffer_size - have
756 current = self.raw.read(to_read)
757 if current:
758 self._read_buf += current
759 result = self._read_buf
760 if unsafe:
761 result = result[:]
762 return result
763
764 def read1(self, n):
765 """Reads up to n bytes.
766
767 Returns up to n bytes. If at least one byte is buffered,
768 we only return buffered bytes. Otherwise, we do one
769 raw read.
770 """
771 if n <= 0:
772 return b""
773 self.peek(1, unsafe=True)
774 return self.read(min(n, len(self._read_buf)))
775
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000776 def tell(self):
777 return self.raw.tell() - len(self._read_buf)
778
779 def seek(self, pos, whence=0):
780 if whence == 1:
781 pos -= len(self._read_buf)
Guido van Rossum53807da2007-04-10 19:01:47 +0000782 pos = self.raw.seek(pos, whence)
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000783 self._read_buf = b""
Guido van Rossum53807da2007-04-10 19:01:47 +0000784 return pos
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000785
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000786
Guido van Rossum141f7672007-04-10 00:22:16 +0000787class BufferedWriter(_BufferedIOMixin):
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000788
Guido van Rossum78892e42007-04-06 17:31:18 +0000789 # XXX docstring
790
Guido van Rossum141f7672007-04-10 00:22:16 +0000791 def __init__(self, raw,
792 buffer_size=DEFAULT_BUFFER_SIZE, max_buffer_size=None):
Guido van Rossum5abbf752007-08-27 17:39:33 +0000793 raw._checkWritable()
Guido van Rossum141f7672007-04-10 00:22:16 +0000794 _BufferedIOMixin.__init__(self, raw)
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000795 self.buffer_size = buffer_size
Guido van Rossum141f7672007-04-10 00:22:16 +0000796 self.max_buffer_size = (2*buffer_size
797 if max_buffer_size is None
798 else max_buffer_size)
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000799 self._write_buf = b""
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000800
801 def write(self, b):
Guido van Rossum4b5386f2007-07-10 09:12:49 +0000802 if self.closed:
803 raise ValueError("write to closed file")
Guido van Rossumc2f93dc2007-05-24 00:50:02 +0000804 if not isinstance(b, bytes):
Guido van Rossum7165cb12007-07-10 06:54:34 +0000805 if hasattr(b, "__index__"):
806 raise TypeError("Can't write object of type %s" %
807 type(b).__name__)
Guido van Rossumc2f93dc2007-05-24 00:50:02 +0000808 b = bytes(b)
Guido van Rossum01a27522007-03-07 01:00:12 +0000809 # XXX we can implement some more tricks to try and avoid partial writes
Guido van Rossum01a27522007-03-07 01:00:12 +0000810 if len(self._write_buf) > self.buffer_size:
811 # We're full, so let's pre-flush the buffer
812 try:
813 self.flush()
Guido van Rossum141f7672007-04-10 00:22:16 +0000814 except BlockingIOError as e:
Guido van Rossum01a27522007-03-07 01:00:12 +0000815 # We can't accept anything else.
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000816 # XXX Why not just let the exception pass through?
Guido van Rossum141f7672007-04-10 00:22:16 +0000817 raise BlockingIOError(e.errno, e.strerror, 0)
Guido van Rossumd4103952007-04-12 05:44:49 +0000818 before = len(self._write_buf)
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000819 self._write_buf.extend(b)
Guido van Rossumd4103952007-04-12 05:44:49 +0000820 written = len(self._write_buf) - before
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000821 if len(self._write_buf) > self.buffer_size:
Guido van Rossum01a27522007-03-07 01:00:12 +0000822 try:
823 self.flush()
Guido van Rossum141f7672007-04-10 00:22:16 +0000824 except BlockingIOError as e:
Guido van Rossum01a27522007-03-07 01:00:12 +0000825 if (len(self._write_buf) > self.max_buffer_size):
826 # We've hit max_buffer_size. We have to accept a partial
827 # write and cut back our buffer.
828 overage = len(self._write_buf) - self.max_buffer_size
829 self._write_buf = self._write_buf[:self.max_buffer_size]
Guido van Rossum141f7672007-04-10 00:22:16 +0000830 raise BlockingIOError(e.errno, e.strerror, overage)
Guido van Rossumd4103952007-04-12 05:44:49 +0000831 return written
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000832
833 def flush(self):
Guido van Rossum4b5386f2007-07-10 09:12:49 +0000834 if self.closed:
835 raise ValueError("flush of closed file")
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000836 written = 0
Guido van Rossum01a27522007-03-07 01:00:12 +0000837 try:
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000838 while self._write_buf:
839 n = self.raw.write(self._write_buf)
840 del self._write_buf[:n]
841 written += n
Guido van Rossum141f7672007-04-10 00:22:16 +0000842 except BlockingIOError as e:
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000843 n = e.characters_written
844 del self._write_buf[:n]
845 written += n
Guido van Rossum141f7672007-04-10 00:22:16 +0000846 raise BlockingIOError(e.errno, e.strerror, written)
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000847
848 def tell(self):
849 return self.raw.tell() + len(self._write_buf)
850
851 def seek(self, pos, whence=0):
852 self.flush()
Guido van Rossum53807da2007-04-10 19:01:47 +0000853 return self.raw.seek(pos, whence)
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000854
Guido van Rossum01a27522007-03-07 01:00:12 +0000855
Guido van Rossum141f7672007-04-10 00:22:16 +0000856class BufferedRWPair(BufferedIOBase):
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000857
Guido van Rossum01a27522007-03-07 01:00:12 +0000858 """A buffered reader and writer object together.
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000859
Guido van Rossum141f7672007-04-10 00:22:16 +0000860 A buffered reader object and buffered writer object put together
861 to form a sequential IO object that can read and write.
Guido van Rossum78892e42007-04-06 17:31:18 +0000862
863 This is typically used with a socket or two-way pipe.
Guido van Rossum141f7672007-04-10 00:22:16 +0000864
865 XXX The usefulness of this (compared to having two separate IO
866 objects) is questionable.
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000867 """
868
Guido van Rossum141f7672007-04-10 00:22:16 +0000869 def __init__(self, reader, writer,
870 buffer_size=DEFAULT_BUFFER_SIZE, max_buffer_size=None):
871 """Constructor.
872
873 The arguments are two RawIO instances.
874 """
Guido van Rossum5abbf752007-08-27 17:39:33 +0000875 reader._checkReadable()
876 writer._checkWritable()
Guido van Rossum141f7672007-04-10 00:22:16 +0000877 self.reader = BufferedReader(reader, buffer_size)
878 self.writer = BufferedWriter(writer, buffer_size, max_buffer_size)
Guido van Rossum01a27522007-03-07 01:00:12 +0000879
Guido van Rossum024da5c2007-05-17 23:59:11 +0000880 def read(self, n=None):
881 if n is None:
882 n = -1
Guido van Rossum01a27522007-03-07 01:00:12 +0000883 return self.reader.read(n)
884
Guido van Rossum141f7672007-04-10 00:22:16 +0000885 def readinto(self, b):
886 return self.reader.readinto(b)
887
Guido van Rossum01a27522007-03-07 01:00:12 +0000888 def write(self, b):
889 return self.writer.write(b)
890
Guido van Rossum13633bb2007-04-13 18:42:35 +0000891 def peek(self, n=0, *, unsafe=False):
892 return self.reader.peek(n, unsafe=unsafe)
893
894 def read1(self, n):
895 return self.reader.read1(n)
896
Guido van Rossum01a27522007-03-07 01:00:12 +0000897 def readable(self):
898 return self.reader.readable()
899
900 def writable(self):
901 return self.writer.writable()
902
903 def flush(self):
904 return self.writer.flush()
Guido van Rossum68bbcd22007-02-27 17:19:33 +0000905
Guido van Rossum01a27522007-03-07 01:00:12 +0000906 def close(self):
Guido van Rossum01a27522007-03-07 01:00:12 +0000907 self.writer.close()
Guido van Rossum141f7672007-04-10 00:22:16 +0000908 self.reader.close()
909
910 def isatty(self):
911 return self.reader.isatty() or self.writer.isatty()
Guido van Rossum01a27522007-03-07 01:00:12 +0000912
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000913 @property
914 def closed(self):
Guido van Rossum141f7672007-04-10 00:22:16 +0000915 return self.writer.closed()
Guido van Rossum01a27522007-03-07 01:00:12 +0000916
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000917
Guido van Rossum141f7672007-04-10 00:22:16 +0000918class BufferedRandom(BufferedWriter, BufferedReader):
Guido van Rossum01a27522007-03-07 01:00:12 +0000919
Guido van Rossum78892e42007-04-06 17:31:18 +0000920 # XXX docstring
921
Guido van Rossum141f7672007-04-10 00:22:16 +0000922 def __init__(self, raw,
923 buffer_size=DEFAULT_BUFFER_SIZE, max_buffer_size=None):
Guido van Rossum5abbf752007-08-27 17:39:33 +0000924 raw._checkSeekable()
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000925 BufferedReader.__init__(self, raw, buffer_size)
Guido van Rossum01a27522007-03-07 01:00:12 +0000926 BufferedWriter.__init__(self, raw, buffer_size, max_buffer_size)
927
Guido van Rossum01a27522007-03-07 01:00:12 +0000928 def seek(self, pos, whence=0):
929 self.flush()
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000930 # First do the raw seek, then empty the read buffer, so that
931 # if the raw seek fails, we don't lose buffered data forever.
Guido van Rossum53807da2007-04-10 19:01:47 +0000932 pos = self.raw.seek(pos, whence)
Guido van Rossum76c5d4d2007-04-06 19:10:29 +0000933 self._read_buf = b""
Guido van Rossum53807da2007-04-10 19:01:47 +0000934 return pos
Guido van Rossum01a27522007-03-07 01:00:12 +0000935
936 def tell(self):
937 if (self._write_buf):
938 return self.raw.tell() + len(self._write_buf)
939 else:
940 return self.raw.tell() - len(self._read_buf)
941
Guido van Rossum024da5c2007-05-17 23:59:11 +0000942 def read(self, n=None):
943 if n is None:
944 n = -1
Guido van Rossum01a27522007-03-07 01:00:12 +0000945 self.flush()
946 return BufferedReader.read(self, n)
947
Guido van Rossum141f7672007-04-10 00:22:16 +0000948 def readinto(self, b):
949 self.flush()
950 return BufferedReader.readinto(self, b)
951
Guido van Rossum13633bb2007-04-13 18:42:35 +0000952 def peek(self, n=0, *, unsafe=False):
953 self.flush()
954 return BufferedReader.peek(self, n, unsafe=unsafe)
955
956 def read1(self, n):
957 self.flush()
958 return BufferedReader.read1(self, n)
959
Guido van Rossum01a27522007-03-07 01:00:12 +0000960 def write(self, b):
Guido van Rossum78892e42007-04-06 17:31:18 +0000961 if self._read_buf:
962 self.raw.seek(-len(self._read_buf), 1) # Undo readahead
963 self._read_buf = b""
Guido van Rossum01a27522007-03-07 01:00:12 +0000964 return BufferedWriter.write(self, b)
965
Guido van Rossum78892e42007-04-06 17:31:18 +0000966
Guido van Rossumcce92b22007-04-10 14:41:39 +0000967class TextIOBase(IOBase):
Guido van Rossum78892e42007-04-06 17:31:18 +0000968
969 """Base class for text I/O.
970
971 This class provides a character and line based interface to stream I/O.
Guido van Rossum9b76da62007-04-11 01:09:03 +0000972
973 There is no readinto() method, as character strings are immutable.
Guido van Rossum78892e42007-04-06 17:31:18 +0000974 """
975
976 def read(self, n: int = -1) -> str:
977 """read(n: int = -1) -> str. Read at most n characters from stream.
978
979 Read from underlying buffer until we have n characters or we hit EOF.
980 If n is negative or omitted, read until EOF.
981 """
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000982 self._unsupported("read")
Guido van Rossum78892e42007-04-06 17:31:18 +0000983
Guido van Rossum9b76da62007-04-11 01:09:03 +0000984 def write(self, s: str) -> int:
985 """write(s: str) -> int. Write string s to stream."""
Guido van Rossum4f0db6e2007-04-08 23:59:06 +0000986 self._unsupported("write")
Guido van Rossum78892e42007-04-06 17:31:18 +0000987
Guido van Rossum9b76da62007-04-11 01:09:03 +0000988 def truncate(self, pos: int = None) -> int:
989 """truncate(pos: int = None) -> int. Truncate size to pos."""
990 self.flush()
991 if pos is None:
992 pos = self.tell()
993 self.seek(pos)
994 return self.buffer.truncate()
995
Guido van Rossum78892e42007-04-06 17:31:18 +0000996 def readline(self) -> str:
997 """readline() -> str. Read until newline or EOF.
998
999 Returns an empty string if EOF is hit immediately.
1000 """
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001001 self._unsupported("readline")
Guido van Rossum78892e42007-04-06 17:31:18 +00001002
Guido van Rossumfc3436b2007-05-24 17:58:06 +00001003 @property
1004 def encoding(self):
1005 """Subclasses should override."""
1006 return None
1007
Guido van Rossum8358db22007-08-18 21:39:55 +00001008 @property
1009 def newlines(self):
1010 """newlines -> None | str | tuple of str. Line endings translated
1011 so far.
1012
1013 Only line endings translated during reading are considered.
1014
1015 Subclasses should override.
1016 """
1017 return None
1018
Guido van Rossum78892e42007-04-06 17:31:18 +00001019
1020class TextIOWrapper(TextIOBase):
1021
1022 """Buffered text stream.
1023
1024 Character and line based layer over a BufferedIOBase object.
1025 """
1026
Guido van Rossumb9c4c3e2007-04-11 16:07:50 +00001027 _CHUNK_SIZE = 128
Guido van Rossum78892e42007-04-06 17:31:18 +00001028
1029 def __init__(self, buffer, encoding=None, newline=None):
Guido van Rossum8358db22007-08-18 21:39:55 +00001030 if newline not in (None, "", "\n", "\r", "\r\n"):
Guido van Rossum9b76da62007-04-11 01:09:03 +00001031 raise ValueError("illegal newline value: %r" % (newline,))
Guido van Rossum78892e42007-04-06 17:31:18 +00001032 if encoding is None:
Martin v. Löwisd1cd4d42007-08-11 14:02:14 +00001033 try:
1034 encoding = os.device_encoding(buffer.fileno())
Neal Norwitz1e50a9f2007-08-11 18:37:05 +00001035 except (AttributeError, io.UnsupportedOperation):
Martin v. Löwisd1cd4d42007-08-11 14:02:14 +00001036 pass
1037 if encoding is None:
Martin v. Löwisd78d3b42007-08-11 15:36:45 +00001038 try:
1039 import locale
1040 except ImportError:
1041 # Importing locale may fail if Python is being built
1042 encoding = "ascii"
1043 else:
1044 encoding = locale.getpreferredencoding()
Guido van Rossum78892e42007-04-06 17:31:18 +00001045
1046 self.buffer = buffer
1047 self._encoding = encoding
Guido van Rossum8358db22007-08-18 21:39:55 +00001048 self._readuniversal = not newline
1049 self._readtranslate = newline is None
1050 self._readnl = newline
1051 self._writetranslate = newline != ''
1052 self._writenl = newline or os.linesep
1053 self._seennl = 0
Guido van Rossum78892e42007-04-06 17:31:18 +00001054 self._decoder = None
Guido van Rossum9b76da62007-04-11 01:09:03 +00001055 self._pending = ""
1056 self._snapshot = None
Guido van Rossumb9c4c3e2007-04-11 16:07:50 +00001057 self._seekable = self._telling = self.buffer.seekable()
Guido van Rossum9b76da62007-04-11 01:09:03 +00001058
Guido van Rossumfc3436b2007-05-24 17:58:06 +00001059 @property
1060 def encoding(self):
1061 return self._encoding
1062
Guido van Rossum9b76da62007-04-11 01:09:03 +00001063 # A word about _snapshot. This attribute is either None, or a
Guido van Rossumd76e7792007-04-17 02:38:04 +00001064 # tuple (decoder_state, readahead, pending) where decoder_state is
1065 # the second (integer) item of the decoder state, readahead is the
1066 # chunk of bytes that was read, and pending is the characters that
1067 # were rendered by the decoder after feeding it those bytes. We
1068 # use this to reconstruct intermediate decoder states in tell().
Guido van Rossum9b76da62007-04-11 01:09:03 +00001069
1070 def _seekable(self):
1071 return self._seekable
Guido van Rossum78892e42007-04-06 17:31:18 +00001072
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001073 def flush(self):
1074 self.buffer.flush()
Guido van Rossumb9c4c3e2007-04-11 16:07:50 +00001075 self._telling = self._seekable
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001076
1077 def close(self):
Guido van Rossum33e7a8e2007-07-22 20:38:07 +00001078 try:
1079 self.flush()
1080 except:
1081 pass # If flush() fails, just give up
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001082 self.buffer.close()
1083
1084 @property
1085 def closed(self):
1086 return self.buffer.closed
1087
Guido van Rossum9be55972007-04-07 02:59:27 +00001088 def fileno(self):
1089 return self.buffer.fileno()
1090
Guido van Rossum859b5ec2007-05-27 09:14:51 +00001091 def isatty(self):
1092 return self.buffer.isatty()
1093
Guido van Rossum78892e42007-04-06 17:31:18 +00001094 def write(self, s: str):
Guido van Rossum4b5386f2007-07-10 09:12:49 +00001095 if self.closed:
1096 raise ValueError("write to closed file")
Guido van Rossum8358db22007-08-18 21:39:55 +00001097 haslf = "\n" in s
1098 if haslf and self._writetranslate and self._writenl != "\n":
1099 s = s.replace("\n", self._writenl)
Guido van Rossum9b76da62007-04-11 01:09:03 +00001100 # XXX What if we were just reading?
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001101 b = s.encode(self._encoding)
1102 if isinstance(b, str):
1103 b = bytes(b)
Guido van Rossum8358db22007-08-18 21:39:55 +00001104 self.buffer.write(b)
1105 if haslf and self.isatty():
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001106 self.flush()
Guido van Rossum9b76da62007-04-11 01:09:03 +00001107 self._snapshot = self._decoder = None
1108 return len(s)
Guido van Rossum78892e42007-04-06 17:31:18 +00001109
1110 def _get_decoder(self):
1111 make_decoder = codecs.getincrementaldecoder(self._encoding)
1112 if make_decoder is None:
Guido van Rossum9b76da62007-04-11 01:09:03 +00001113 raise IOError("Can't find an incremental decoder for encoding %s" %
Guido van Rossum78892e42007-04-06 17:31:18 +00001114 self._encoding)
1115 decoder = self._decoder = make_decoder() # XXX: errors
Guido van Rossum78892e42007-04-06 17:31:18 +00001116 return decoder
1117
Guido van Rossum9b76da62007-04-11 01:09:03 +00001118 def _read_chunk(self):
Guido van Rossum5abbf752007-08-27 17:39:33 +00001119 if self._decoder is None:
1120 raise ValueError("no decoder")
Guido van Rossumb9c4c3e2007-04-11 16:07:50 +00001121 if not self._telling:
Guido van Rossum13633bb2007-04-13 18:42:35 +00001122 readahead = self.buffer.read1(self._CHUNK_SIZE)
Guido van Rossumcba608c2007-04-11 14:19:59 +00001123 pending = self._decoder.decode(readahead, not readahead)
1124 return readahead, pending
Guido van Rossumd76e7792007-04-17 02:38:04 +00001125 decoder_buffer, decoder_state = self._decoder.getstate()
Guido van Rossum13633bb2007-04-13 18:42:35 +00001126 readahead = self.buffer.read1(self._CHUNK_SIZE)
Guido van Rossumcba608c2007-04-11 14:19:59 +00001127 pending = self._decoder.decode(readahead, not readahead)
Guido van Rossumd76e7792007-04-17 02:38:04 +00001128 self._snapshot = (decoder_state, decoder_buffer + readahead, pending)
Guido van Rossumcba608c2007-04-11 14:19:59 +00001129 return readahead, pending
Guido van Rossum9b76da62007-04-11 01:09:03 +00001130
1131 def _encode_decoder_state(self, ds, pos):
Guido van Rossum9b76da62007-04-11 01:09:03 +00001132 x = 0
1133 for i in bytes(ds):
1134 x = x<<8 | i
1135 return (x<<64) | pos
1136
1137 def _decode_decoder_state(self, pos):
1138 x, pos = divmod(pos, 1<<64)
1139 if not x:
1140 return None, pos
1141 b = b""
1142 while x:
1143 b.append(x&0xff)
1144 x >>= 8
1145 return str(b[::-1]), pos
1146
1147 def tell(self):
1148 if not self._seekable:
1149 raise IOError("Underlying stream is not seekable")
Guido van Rossumb9c4c3e2007-04-11 16:07:50 +00001150 if not self._telling:
1151 raise IOError("Telling position disabled by next() call")
Guido van Rossum9b76da62007-04-11 01:09:03 +00001152 self.flush()
Guido van Rossumcba608c2007-04-11 14:19:59 +00001153 position = self.buffer.tell()
Guido van Rossumd76e7792007-04-17 02:38:04 +00001154 decoder = self._decoder
1155 if decoder is None or self._snapshot is None:
Guido van Rossum5abbf752007-08-27 17:39:33 +00001156 if self._pending:
1157 raise ValueError("pending data")
Guido van Rossumcba608c2007-04-11 14:19:59 +00001158 return position
1159 decoder_state, readahead, pending = self._snapshot
1160 position -= len(readahead)
1161 needed = len(pending) - len(self._pending)
1162 if not needed:
1163 return self._encode_decoder_state(decoder_state, position)
Guido van Rossumd76e7792007-04-17 02:38:04 +00001164 saved_state = decoder.getstate()
1165 try:
Guido van Rossum2b08b382007-05-08 20:18:39 +00001166 decoder.setstate((b"", decoder_state))
Guido van Rossumd76e7792007-04-17 02:38:04 +00001167 n = 0
1168 bb = bytes(1)
1169 for i, bb[0] in enumerate(readahead):
1170 n += len(decoder.decode(bb))
1171 if n >= needed:
1172 decoder_buffer, decoder_state = decoder.getstate()
1173 return self._encode_decoder_state(
1174 decoder_state,
1175 position + (i+1) - len(decoder_buffer))
1176 raise IOError("Can't reconstruct logical file position")
1177 finally:
1178 decoder.setstate(saved_state)
Guido van Rossum9b76da62007-04-11 01:09:03 +00001179
1180 def seek(self, pos, whence=0):
1181 if not self._seekable:
1182 raise IOError("Underlying stream is not seekable")
1183 if whence == 1:
1184 if pos != 0:
1185 raise IOError("Can't do nonzero cur-relative seeks")
Guido van Rossumaa43ed92007-04-12 05:24:24 +00001186 pos = self.tell()
1187 whence = 0
Guido van Rossum9b76da62007-04-11 01:09:03 +00001188 if whence == 2:
1189 if pos != 0:
1190 raise IOError("Can't do nonzero end-relative seeks")
1191 self.flush()
1192 pos = self.buffer.seek(0, 2)
1193 self._snapshot = None
1194 self._pending = ""
1195 self._decoder = None
1196 return pos
1197 if whence != 0:
1198 raise ValueError("Invalid whence (%r, should be 0, 1 or 2)" %
1199 (whence,))
1200 if pos < 0:
1201 raise ValueError("Negative seek position %r" % (pos,))
Guido van Rossumb9c4c3e2007-04-11 16:07:50 +00001202 self.flush()
Guido van Rossum9b76da62007-04-11 01:09:03 +00001203 orig_pos = pos
1204 ds, pos = self._decode_decoder_state(pos)
1205 if not ds:
1206 self.buffer.seek(pos)
1207 self._snapshot = None
1208 self._pending = ""
1209 self._decoder = None
1210 return pos
Guido van Rossumd76e7792007-04-17 02:38:04 +00001211 decoder = self._decoder or self._get_decoder()
1212 decoder.set_state(("", ds))
Guido van Rossum9b76da62007-04-11 01:09:03 +00001213 self.buffer.seek(pos)
Guido van Rossumcba608c2007-04-11 14:19:59 +00001214 self._snapshot = (ds, b"", "")
Guido van Rossum9b76da62007-04-11 01:09:03 +00001215 self._pending = ""
Guido van Rossumcba608c2007-04-11 14:19:59 +00001216 self._decoder = decoder
Guido van Rossum9b76da62007-04-11 01:09:03 +00001217 return orig_pos
1218
Guido van Rossum024da5c2007-05-17 23:59:11 +00001219 def read(self, n=None):
1220 if n is None:
1221 n = -1
Guido van Rossum78892e42007-04-06 17:31:18 +00001222 decoder = self._decoder or self._get_decoder()
1223 res = self._pending
1224 if n < 0:
1225 res += decoder.decode(self.buffer.read(), True)
Guido van Rossum141f7672007-04-10 00:22:16 +00001226 self._pending = ""
Guido van Rossum9b76da62007-04-11 01:09:03 +00001227 self._snapshot = None
Guido van Rossum8358db22007-08-18 21:39:55 +00001228 return self._replacenl(res)
Guido van Rossum78892e42007-04-06 17:31:18 +00001229 else:
1230 while len(res) < n:
Guido van Rossumcba608c2007-04-11 14:19:59 +00001231 readahead, pending = self._read_chunk()
1232 res += pending
1233 if not readahead:
Guido van Rossum78892e42007-04-06 17:31:18 +00001234 break
1235 self._pending = res[n:]
Guido van Rossum8358db22007-08-18 21:39:55 +00001236 return self._replacenl(res[:n])
Guido van Rossum78892e42007-04-06 17:31:18 +00001237
Guido van Rossum024da5c2007-05-17 23:59:11 +00001238 def __next__(self):
Guido van Rossumb9c4c3e2007-04-11 16:07:50 +00001239 self._telling = False
1240 line = self.readline()
1241 if not line:
1242 self._snapshot = None
1243 self._telling = self._seekable
1244 raise StopIteration
1245 return line
1246
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001247 def readline(self, limit=None):
1248 if limit is not None:
Guido van Rossum9b76da62007-04-11 01:09:03 +00001249 # XXX Hack to support limit argument, for backwards compatibility
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001250 line = self.readline()
1251 if len(line) <= limit:
Guido van Rossumfa0054a2007-05-24 04:05:35 +00001252 return line
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001253 line, self._pending = line[:limit], line[limit:] + self._pending
Guido van Rossumfa0054a2007-05-24 04:05:35 +00001254 return line
Guido van Rossum4f0db6e2007-04-08 23:59:06 +00001255
Guido van Rossum78892e42007-04-06 17:31:18 +00001256 line = self._pending
1257 start = 0
Guido van Rossum8358db22007-08-18 21:39:55 +00001258 cr_eof = False
Guido van Rossum78892e42007-04-06 17:31:18 +00001259 decoder = self._decoder or self._get_decoder()
1260
Guido van Rossum8358db22007-08-18 21:39:55 +00001261 pos = endpos = None
1262 ending = None
Guido van Rossum78892e42007-04-06 17:31:18 +00001263 while True:
Guido van Rossum8358db22007-08-18 21:39:55 +00001264 if self._readuniversal:
1265 # Universal newline search. Find any of \r, \r\n, \n
Guido van Rossum78892e42007-04-06 17:31:18 +00001266
Guido van Rossum8358db22007-08-18 21:39:55 +00001267 # In C we'd look for these in parallel of course.
1268 nlpos = line.find("\n", start)
1269 crpos = line.find("\r", start)
1270 if crpos == -1:
1271 if nlpos == -1:
1272 start = len(line)
Guido van Rossum78892e42007-04-06 17:31:18 +00001273 else:
Guido van Rossum8358db22007-08-18 21:39:55 +00001274 # Found \n
1275 pos = nlpos
1276 endpos = pos + 1
1277 ending = self._LF
1278 break
1279 elif nlpos == -1:
1280 if crpos == len(line) - 1:
1281 # Found \r at end of buffer, must keep reading
1282 start = crpos
1283 cr_eof = True
1284 else:
1285 # Found lone \r
1286 ending = self._CR
1287 pos = crpos
1288 endpos = pos + 1
1289 break
1290 elif nlpos < crpos:
1291 # Found \n
1292 pos = nlpos
1293 endpos = pos + 1
1294 ending = self._LF
Guido van Rossum78892e42007-04-06 17:31:18 +00001295 break
Guido van Rossum8358db22007-08-18 21:39:55 +00001296 elif nlpos == crpos + 1:
1297 # Found \r\n
1298 ending = self._CRLF
1299 pos = crpos
1300 endpos = pos + 2
1301 break
1302 else:
1303 # Found \r
1304 pos = crpos
1305 endpos = pos + 1
1306 ending = self._CR
1307 break
Guido van Rossum78892e42007-04-06 17:31:18 +00001308 else:
Guido van Rossum8358db22007-08-18 21:39:55 +00001309 # non-universal
1310 pos = line.find(self._readnl)
1311 if pos >= 0:
1312 endpos = pos+len(self._readnl)
1313 ending = self._nlflag(self._readnl)
1314 break
Guido van Rossum78892e42007-04-06 17:31:18 +00001315
1316 # No line ending seen yet - get more data
Guido van Rossum8358db22007-08-18 21:39:55 +00001317 more_line = ''
Guido van Rossum78892e42007-04-06 17:31:18 +00001318 while True:
Guido van Rossumcba608c2007-04-11 14:19:59 +00001319 readahead, pending = self._read_chunk()
1320 more_line = pending
1321 if more_line or not readahead:
Guido van Rossum78892e42007-04-06 17:31:18 +00001322 break
Guido van Rossum8358db22007-08-18 21:39:55 +00001323 if more_line:
1324 line += more_line
1325 else:
1326 # end of file
1327 self._pending = ''
1328 self._snapshot = None
1329 if cr_eof:
1330 self._seennl |= self._CR
1331 return line[:-1] + '\n'
1332 else:
1333 return line
Guido van Rossum78892e42007-04-06 17:31:18 +00001334
Guido van Rossum8358db22007-08-18 21:39:55 +00001335 self._pending = line[endpos:]
1336 if self._readtranslate:
1337 self._seennl |= ending
1338 if ending != self._LF:
1339 return line[:pos] + '\n'
1340 else:
1341 return line[:endpos]
Guido van Rossum78892e42007-04-06 17:31:18 +00001342 else:
Guido van Rossum8358db22007-08-18 21:39:55 +00001343 return line[:endpos]
Guido van Rossum024da5c2007-05-17 23:59:11 +00001344
Guido van Rossum8358db22007-08-18 21:39:55 +00001345 def _replacenl(self, data):
1346 # Replace newlines in data as needed and record that they have
1347 # been seen.
1348 if not self._readtranslate:
1349 return data
1350 if self._readuniversal:
1351 crlf = data.count('\r\n')
1352 cr = data.count('\r') - crlf
1353 lf = data.count('\n') - crlf
1354 self._seennl |= (lf and self._LF) | (cr and self._CR) \
1355 | (crlf and self._CRLF)
1356 if crlf:
1357 data = data.replace("\r\n", "\n")
1358 if cr:
1359 data = data.replace("\r", "\n")
1360 elif self._readnl == '\n':
1361 # Only need to detect if \n was seen.
1362 if data.count('\n'):
1363 self._seennl |= self._LF
1364 else:
1365 newdata = data.replace(self._readnl, '\n')
1366 if newdata is not data:
1367 self._seennl |= self._nlflag(self._readnl)
1368 data = newdata
1369 return data
1370
1371 _LF = 1
1372 _CR = 2
1373 _CRLF = 4
1374 @property
1375 def newlines(self):
1376 return (None,
1377 "\n",
1378 "\r",
1379 ("\r", "\n"),
1380 "\r\n",
1381 ("\n", "\r\n"),
1382 ("\r", "\r\n"),
1383 ("\r", "\n", "\r\n")
1384 )[self._seennl]
1385
1386 def _nlflag(self, nlstr):
1387 return [None, "\n", "\r", None, "\r\n"].index(nlstr)
Guido van Rossum024da5c2007-05-17 23:59:11 +00001388
1389class StringIO(TextIOWrapper):
1390
1391 # XXX This is really slow, but fully functional
1392
Guido van Rossum3e1f85e2007-07-27 18:03:11 +00001393 def __init__(self, initial_value="", encoding="utf-8", newline=None):
1394 super(StringIO, self).__init__(BytesIO(),
1395 encoding=encoding,
1396 newline=newline)
Guido van Rossum024da5c2007-05-17 23:59:11 +00001397 if initial_value:
Guido van Rossum34d19282007-08-09 01:03:29 +00001398 if not isinstance(initial_value, basestring):
1399 initial_value = str(initial_value)
Guido van Rossum024da5c2007-05-17 23:59:11 +00001400 self.write(initial_value)
1401 self.seek(0)
1402
1403 def getvalue(self):
Guido van Rossum34d19282007-08-09 01:03:29 +00001404 self.flush()
Guido van Rossum3e1f85e2007-07-27 18:03:11 +00001405 return self.buffer.getvalue().decode(self._encoding)