X-Git-Url: http://nitlanguage.org diff --git a/lib/standard/stream.nit b/lib/standard/stream.nit index 7036697..d65d377 100644 --- a/lib/standard/stream.nit +++ b/lib/standard/stream.nit @@ -10,19 +10,26 @@ # You are allowed to redistribute it and sell it, alone or is a part of # another product. -# This module handle abstract input and output streams -package stream +# Input and output streams of characters +module stream import string +in "C" `{ + #include + #include + #include + #include +`} + # Abstract stream class -class IOS +interface IOS # close the stream fun close is abstract end # Abstract input streams -class IStream +interface IStream super IOS # Read a character. Return its ASCII value, -1 on EOF or timeout fun read_char: Int is abstract @@ -30,7 +37,7 @@ class IStream # Read at most i bytes fun read(i: Int): String do - var s = new Buffer.with_capacity(i) + var s = new FlatBuffer.with_capacity(i) while i > 0 and not eof do var c = read_char if c >= 0 then @@ -45,7 +52,7 @@ class IStream fun read_line: String do assert not eof - var s = new Buffer + var s = new FlatBuffer append_line_to(s) return s.to_s end @@ -53,7 +60,7 @@ class IStream # Read all the stream until the eof. fun read_all: String do - var s = new Buffer + var s = new FlatBuffer while not eof do var c = read_char if c >= 0 then s.add(c.ascii) @@ -61,7 +68,7 @@ class IStream return s.to_s end - # Read a string until the end of the line and append it to `s'. + # Read a string until the end of the line and append it to `s`. fun append_line_to(s: Buffer) do loop @@ -70,18 +77,19 @@ class IStream if eof then return else var c = x.ascii - s.push(c) + s.chars.push(c) if c == '\n' then return end end end # Is there something to read. + # This function returns 'false' if there is something to read. fun eof: Bool is abstract end # Abstract output stream -class OStream +interface OStream super IOS # write a string fun write(s: String) is abstract @@ -90,8 +98,37 @@ class OStream fun is_writable: Bool is abstract end +# Things that can be efficienlty writen to a OStream +# +# The point of this interface it to allow is instance to be efficenty +# writen into a OStream without having to allocate a big String object +# +# ready-to-save documents usually provide this interface. +interface Streamable + # Write itself to a `stream` + # The specific logic it let to the concrete subclasses + fun write_to(stream: OStream) is abstract + + # Like `write_to` but return a new String (may be quite large) + # + # This funtionnality is anectodical, since the point + # of streamable object to to be efficienlty written to a + # stream without having to allocate and concatenate strings + fun write_to_string: String + do + var stream = new StringOStream + write_to(stream) + return stream.to_s + end +end + +redef class String + super Streamable + redef fun write_to(stream) do stream.write(self) +end + # Input streams with a buffer -class BufferedIStream +abstract class BufferedIStream super IStream redef fun read_char do @@ -102,14 +139,14 @@ class BufferedIStream if _buffer_pos >= _buffer.length then return -1 end - var c = _buffer[_buffer_pos] + var c = _buffer.chars[_buffer_pos] _buffer_pos += 1 return c.ascii end redef fun read(i) do - var s = new Buffer.with_capacity(i) + var s = new FlatBuffer.with_capacity(i) var j = _buffer_pos var k = _buffer.length while i > 0 do @@ -120,7 +157,7 @@ class BufferedIStream k = _buffer.length end while j < k and i > 0 do - s.add(_buffer[j]) + s.add(_buffer.chars[j]) j += 1 i -= 1 end @@ -131,12 +168,12 @@ class BufferedIStream redef fun read_all do - var s = new Buffer + var s = new FlatBuffer while not eof do var j = _buffer_pos var k = _buffer.length while j < k do - s.add(_buffer[j]) + s.add(_buffer.chars[j]) j += 1 end _buffer_pos = j @@ -150,7 +187,7 @@ class BufferedIStream loop # First phase: look for a '\n' var i = _buffer_pos - while i < _buffer.length and _buffer[i] != '\n' do i += 1 + while i < _buffer.length and _buffer.chars[i] != '\n' do i += 1 # if there is something to append if i > _buffer_pos then @@ -160,7 +197,7 @@ class BufferedIStream # Copy from the buffer to the string var j = _buffer_pos while j < i do - s.add(_buffer[j]) + s.add(_buffer.chars[j]) j += 1 end end @@ -184,7 +221,7 @@ class BufferedIStream redef fun eof do return _buffer_pos >= _buffer.length and end_reached # The buffer - var _buffer: nullable Buffer = null + var _buffer: nullable FlatBuffer = null # The current position in the buffer var _buffer_pos: Int = 0 @@ -195,22 +232,22 @@ class BufferedIStream # Is the last fill_buffer reach the end protected fun end_reached: Bool is abstract - # Allocate a `_buffer' for a given `capacity'. + # Allocate a `_buffer` for a given `capacity`. protected fun prepare_buffer(capacity: Int) do - _buffer = new Buffer.with_capacity(capacity) + _buffer = new FlatBuffer.with_capacity(capacity) _buffer_pos = 0 # need to read end end -class IOStream +interface IOStream super IStream super OStream end ##############################################################" -class FDStream +abstract class FDStream super IOS # File description var fd: Int @@ -221,6 +258,7 @@ class FDStream private fun native_read_char(i: Int): Int is extern "stream_FDStream_FDStream_native_read_char_1" private fun native_read(i: Int, buf: NativeString, len: Int): Int is extern "stream_FDStream_FDStream_native_read_3" private fun native_write(i: Int, buf: NativeString, len: Int): Int is extern "stream_FDStream_FDStream_native_write_3" + private fun native_write_char(i: Int, c: Char): Int is extern "stream_FDStream_FDStream_native_write_char_2" init(fd: Int) do self.fd = fd end @@ -267,3 +305,91 @@ class FDIOStream is_writable = true end end + +redef interface Object + # returns first available stream to read or write to + # return null on interruption (possibly a signal) + protected fun poll( streams : Sequence[FDStream] ) : nullable FDStream + do + var in_fds = new Array[Int] + var out_fds = new Array[Int] + var fd_to_stream = new HashMap[Int,FDStream] + for s in streams do + var fd = s.fd + if s isa FDIStream then in_fds.add( fd ) + if s isa FDOStream then out_fds.add( fd ) + + fd_to_stream[fd] = s + end + + var polled_fd = intern_poll( in_fds, out_fds ) + + if polled_fd == null then + return null + else + return fd_to_stream[polled_fd] + end + end + + private fun intern_poll(in_fds: Array[Int], out_fds: Array[Int]) : nullable Int is extern import Array[Int].length, Array[Int].[], Int.as(nullable Int) `{ + int in_len, out_len, total_len; + struct pollfd *c_fds; + sigset_t sigmask; + int i; + int first_polled_fd = -1; + int result; + + in_len = Array_of_Int_length( in_fds ); + out_len = Array_of_Int_length( out_fds ); + total_len = in_len + out_len; + c_fds = malloc( sizeof(struct pollfd) * total_len ); + + /* input streams */ + for ( i=0; i 0 ) { + /* analyse results */ + for ( i=0; i