FileURIResourceResolver.java

package org.rascalmpl.uri;

import java.io.IOException;

import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.IWorkspaceRoot;
import org.eclipse.core.resources.ResourcesPlugin;
import io.usethesource.vallang.ISourceLocation;

public class FileURIResourceResolver implements IURIResourceResolver {

	@Override
	public IResource getResource(ISourceLocation uri) throws IOException {
		IWorkspaceRoot root = ResourcesPlugin.getWorkspace().getRoot();
		IFile[] cs = root.findFilesForLocationURI(uri.getURI());
		
		if (cs != null && cs.length > 0) {
			return cs[0];
		}
		
		return null;
	}

}