How to get access to Eclipse fileindex/EFS or how to find a specific file with a plugin?

Question

Hi I want to create a Eclipse Plugin which search in all open projects/EFS for a specific file. The first aproach was, to walk over the full filesystemtree, what is not very fast.

Now I want to reuse the mechanism behind the "Open Resource" Dialog (CTRL+SHIFT+R) ~ OpenResourceDialog . But how it is possible to access the mechanism/fileindex?

Is there something like the following?

List<IFileStore> result = eclipseIndex.search("myConfig.xml", monitor);

Answer 1

Maybe this post will help.

Answer 2

ResourcesPlugin.getWorkspace().getRoot().accept(new IResourceProxyVisitor() {
    @Override
    public boolean visit(IResourceProxy proxy) throws CoreException {
        return true;
    }
}, IResource.FILE);