/library/server/httpd/interface/stream/httpd_server_input.e
Specman e | 39 lines | 29 code | 6 blank | 4 comment | 1 complexity | 28c5ef8e1aa5317d7fd093f7501aa321 MD5 | raw file
1note 2 description: "Summary description for {HTTPD_SERVER_INPUT}." 3 legal: "See notice at end of class." 4 status: "See notice at end of class." 5 date: "$Date$" 6 revision: "$Revision$" 7 8deferred class 9 HTTPD_SERVER_INPUT 10 11feature -- Basic operation 12 13 read_stream (nb_char: INTEGER) 14 -- Read a string of at most `nb_char' bound characters 15 -- or until end of file. 16 -- Make result available in `last_string'. 17 require 18 nb_char_positive: nb_char > 0 19 deferred 20 end 21 22feature -- Access 23 24 last_string: STRING 25 -- Last string read 26 deferred 27 end 28 29note 30 copyright: "Copyright (c) 1984-2011, Eiffel Software and others" 31 license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" 32 source: "[ 33 Eiffel Software 34 5949 Hollister Ave., Goleta, CA 93117 USA 35 Telephone 805-685-1006, Fax 805-685-6869 36 Website http://www.eiffel.com 37 Customer support http://support.eiffel.com 38 ]" 39end