001/*
002  GRANITE DATA SERVICES
003  Copyright (C) 2011 GRANITE DATA SERVICES S.A.S.
004
005  This file is part of Granite Data Services.
006
007  Granite Data Services is free software; you can redistribute it and/or modify
008  it under the terms of the GNU Library General Public License as published by
009  the Free Software Foundation; either version 2 of the License, or (at your
010  option) any later version.
011
012  Granite Data Services is distributed in the hope that it will be useful, but
013  WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
014  FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public License
015  for more details.
016
017  You should have received a copy of the GNU Library General Public License
018  along with this library; if not, see <http://www.gnu.org/licenses/>.
019*/
020
021package org.granite.builder.util;
022
023import java.io.File;
024import java.net.URI;
025
026import org.eclipse.core.filesystem.EFS;
027import org.eclipse.core.filesystem.IFileStore;
028import org.eclipse.core.resources.IResource;
029import org.eclipse.core.runtime.CoreException;
030import org.eclipse.core.runtime.IPath;
031import org.eclipse.core.runtime.Path;
032
033/**
034 * @author Franck WOLFF
035 */
036public class FileUtil {
037
038        public static URI getLocationURI(IResource resource) throws CoreException {
039                File file = getLocationFile(resource);
040                return (file != null ? file.toURI() : null);
041        }
042
043        public static String getLocationPath(IResource resource) throws CoreException {
044                File file = getLocationFile(resource);
045                return (file != null ? file.toString() : null);
046        }
047
048        public static File getLocationFile(IResource resource) throws CoreException {
049                if (resource == null)
050                        return null;
051                URI uri = resource.getLocationURI();
052                IFileStore store = EFS.getStore(uri);
053                return store.toLocalFile(0, null);
054        }
055        
056        public static IPath makeRelativeTo(IPath parent, IPath child) {
057                String parentFullPath = parent.makeAbsolute().toPortableString();
058                String childFullPath = child.makeAbsolute().toPortableString();
059                
060                if (childFullPath.startsWith(parentFullPath)) {
061                        String relativePath = childFullPath.substring(parentFullPath.length());
062                        if (relativePath.startsWith("/"))
063                                relativePath = relativePath.substring(1, relativePath.length());
064                        return new Path(relativePath);
065                }
066                return child;
067        }
068}