PR# 19216 Precondition for {RAW_FILE}.is_directory fails

Problem Report Summary

Submitter: finnianr

Category: EiffelBase

Priority: Medium

Date: 2016/05/16

Class: Bug

Severity: Non-critical

Number: 19216

Release: 15.01.9.6535

Confidential: No

Status: Analyzed

Responsible: jvelilla

Environment: Windows 7

Synopsis: Precondition for {RAW_FILE}.is_directory fails

Description

The precondition 'file_exists' on routine {RAW_FILE}.is_directory fails if the directory path is: "C:\Users\All users"

To Reproduce

   test_all_users
      local
         all_users: RAW_FILE
      do
         create all_users.make_with_name ("C:\Users\All users")
         if all_users.is_directory then
            log.put_line ("is a directory")
         end
      end

Problem Report Interactions

From:alexk_es Date:2016/06/23 Status: Analyzed Download

"All users" appears to be a symbolic link and "stat" function (used to check if a file/directory exists) does not work with symbolic links.