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

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

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

revision 91625 by ericb, Mon Feb 20 16:11:44 2006 UTC revision 91626 by kwaxer, Tue Oct 21 13:06:39 2008 UTC
# Line 114  feature -- Access Line 114  feature -- Access
114                          Result := file_group (group_id)                          Result := file_group (group_id)
115                  end                  end
116    
117          file_name: STRING          file_name: ?STRING
118                          -- File name to which information applies.                          -- File name to which information applies
119    
120  feature -- Status report  feature -- Status report
121    
# Line 217  feature -- Status report Line 217  feature -- Status report
217    
218          is_access_readable: BOOLEAN is          is_access_readable: BOOLEAN is
219                          -- Is file readable by real UID?                          -- Is file readable by real UID?
220                    require
221                            file_name_attached: file_name /= Void
222                  local                  local
223                          ext_name: ANY                          ext_name: ANY
224                            f: ?STRING
225                  do                  do
226                          ext_name := file_name.to_c                          f := file_name
227                          Result := file_access ($ext_name, 3)                          if f /= Void then
228                                    ext_name := f.to_c
229                                    Result := file_access ($ext_name, 3)
230                            end
231                  end                  end
232    
233          is_access_writable: BOOLEAN is          is_access_writable: BOOLEAN is
234                          -- Is file writable by real UID?                          -- Is file writable by real UID?
235                    require
236                            file_name_attached: file_name /= Void
237                  local                  local
238                          ext_name: ANY                          ext_name: ANY
239                            f: ?STRING
240                  do                  do
241                          ext_name := file_name.to_c                          f := file_name
242                          Result := file_access ($ext_name, 2)                          if f /= Void then
243                                    ext_name := f.to_c
244                                    Result := file_access ($ext_name, 2)
245                            end
246                  end                  end
247    
248          is_access_executable: BOOLEAN is          is_access_executable: BOOLEAN is
249                          -- Is file executable by real UID?                          -- Is file executable by real UID?
250                    require
251                            file_name_attached: file_name /= Void
252                  local                  local
253                          ext_name: ANY                          ext_name: ANY
254                            f: ?STRING
255                  do                  do
256                          ext_name := file_name.to_c                          f := file_name
257                          Result := file_access ($ext_name, 1)                          if f /= Void then
258                                    ext_name := f.to_c
259                                    Result := file_access ($ext_name, 1)
260                            end
261                  end                  end
262    
263  feature -- Element change  feature -- Element change

Legend:
Removed from v.91625  
changed lines
  Added in v.91626

  ViewVC Help
Powered by ViewVC 1.1.23