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    
021    package org.granite.builder.util;
022    
023    import java.io.File;
024    import java.net.URI;
025    
026    import org.eclipse.core.filesystem.EFS;
027    import org.eclipse.core.filesystem.IFileStore;
028    import org.eclipse.core.resources.IResource;
029    import org.eclipse.core.runtime.CoreException;
030    import org.eclipse.core.runtime.IPath;
031    import org.eclipse.core.runtime.Path;
032    
033    /**
034     * @author Franck WOLFF
035     */
036    public 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    }