/[eiffelstudio]/FreeELKS/trunk/library/kernel/io_medium.e
ViewVC logotype

Diff of /FreeELKS/trunk/library/kernel/io_medium.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 91476 by ericb, Fri Mar 3 10:19:32 2006 UTC revision 91477 by ericb, Sun Jan 14 09:47:13 2007 UTC
# Line 145  feature -- Status report Line 145  feature -- Status report
145          last_double: DOUBLE          last_double: DOUBLE
146                          -- Last double read by `read_double'                          -- Last double read by `read_double'
147    
148            bytes_read: INTEGER
149                            -- Last number of bytes read by `read_to_managed_pointer'.
150    
151          exists: BOOLEAN is          exists: BOOLEAN is
152                          -- Does medium exist?                          -- Does medium exist?
153                  deferred                  deferred
# Line 329  feature -- Output Line 332  feature -- Output
332                  require                  require
333                          p_not_void: p /= Void                          p_not_void: p /= Void
334                          p_large_enough: p.count >= nb_bytes + start_pos                          p_large_enough: p.count >= nb_bytes + start_pos
335                            nb_bytes_non_negative: nb_bytes >= 0
336                          extendible: extendible                          extendible: extendible
337                  deferred                  deferred
338                  end                  end
# Line 451  feature -- Input Line 455  feature -- Input
455                  require                  require
456                          p_not_void: p /= Void                          p_not_void: p /= Void
457                          p_large_enough: p.count >= nb_bytes + start_pos                          p_large_enough: p.count >= nb_bytes + start_pos
458                            nb_bytes_non_negative: nb_bytes >= 0
459                          is_readable: readable                          is_readable: readable
460                  deferred                  deferred
461                    ensure
462                            bytes_read_non_negative: bytes_read >= 0
463                            bytes_read_not_too_big: bytes_read <= nb_bytes
464                  end                  end
465    
466  feature -- Obsolete  feature -- Obsolete

Legend:
Removed from v.91476  
changed lines
  Added in v.91477

  ViewVC Help
Powered by ViewVC 1.1.23