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.