INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Provides support for a files searching"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: gargs
class FIND_FILES
inherit

WAPI_FILE_FUNCTIONS
rename
findfirstfile as wfindfirstfile,
findnextfile as wfindnextfile,
findclose as wfindclose
end
creation

make
feature -- Initialization

make (file: STRING; recursive_find, include_directories, file_access, name_with_dir: BOOLEAN)
-- Initialize from the characters of 'file' and from FLAGS.
require
valid_file_name: file /= void and then not file.is_empty
feature -- Access

files: ARRAY [STRING]
-- Return all files whose name matches the specified 'file_name'
-- Void if none.

find_files (path: STRING): ARRAY [STRING]
require
not_empty_path: path /= void and then not path.is_empty
ensure
non_void_result: Result /= void
end -- class FIND_FILES

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES