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

Diff of /FreeELKS/trunk/library/kernel/file.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 584  feature -- Status report Line 584  feature -- Status report
584                  do                  do
585                  end                  end
586    
587    feature -- Comparison
588    
589            same_file (fn: STRING): BOOLEAN is
590                            -- Is current file the same as `a_filename'?
591                    require
592                            fn_not_void: fn /= Void
593                            fn_not_empty: not fn.is_empty
594                    local
595                            l_comparer: FILE_COMPARER
596                    do
597                            create l_comparer
598                            Result := l_comparer.same_files (name, fn)
599                    end
600    
601  feature -- Status setting  feature -- Status setting
602    
603          open_read is          open_read is
# Line 1075  feature -- Element change Line 1089  feature -- Element change
1089                          -- Change file name to `new_name'                          -- Change file name to `new_name'
1090                  require                  require
1091                          new_name_not_void: new_name /= Void                          new_name_not_void: new_name /= Void
1092                            new_name_not_empty: not new_name.is_empty
1093                          file_exists: exists                          file_exists: exists
1094                  local                  local
1095                          ext_old_name, ext_new_name: ANY                          ext_old_name, ext_new_name: ANY
# Line 1364  feature -- Input Line 1379  feature -- Input
1379                          p_not_void: p /= Void                          p_not_void: p /= Void
1380                          p_large_enough: p.count >= nb_bytes + start_pos                          p_large_enough: p.count >= nb_bytes + start_pos
1381                          is_readable: file_readable                          is_readable: file_readable
                 local  
                         l_read: INTEGER  
1382                  do                  do
1383                          l_read := file_gss (file_pointer, p.item + start_pos, nb_bytes)                          bytes_read := file_gss (file_pointer, p.item + start_pos, nb_bytes)
1384                  end                  end
1385    
1386          read_word, readword is          read_word, readword is

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

  ViewVC Help
Powered by ViewVC 1.1.23