001    /*
002     * Copyright (C) 2012 eXo Platform SAS.
003     *
004     * This is free software; you can redistribute it and/or modify it
005     * under the terms of the GNU Lesser General Public License as
006     * published by the Free Software Foundation; either version 2.1 of
007     * the License, or (at your option) any later version.
008     *
009     * This software is distributed in the hope that it will be useful,
010     * but WITHOUT ANY WARRANTY; without even the implied warranty of
011     * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
012     * Lesser General Public License for more details.
013     *
014     * You should have received a copy of the GNU Lesser General Public
015     * License along with this software; if not, write to the Free
016     * Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
017     * 02110-1301 USA, or see the FSF site: http://www.fsf.org.
018     */
019    
020    package org.crsh.vfs.spi.jarurl;
021    
022    import org.crsh.vfs.Path;
023    
024    import java.net.MalformedURLException;
025    import java.net.URL;
026    import java.util.HashMap;
027    import java.util.Map;
028    import java.util.jar.JarEntry;
029    
030    public class Handle {
031    
032      /** . */
033      private final JarURLDriver driver;
034    
035      /** . */
036      final Path path;
037    
038      /** . */
039      Map<String, Handle> children;
040    
041      /** . */
042      JarEntry entry;
043    
044      Handle(JarURLDriver driver, String path) {
045        this.driver = driver;
046        this.path = Path.get("/" + path);
047        this.children = new HashMap<String, Handle>();
048      }
049    
050      public boolean isDir() {
051         return entry == null || entry.isDirectory();
052      }
053    
054      public URL toURL() throws IllegalArgumentException, IllegalStateException, MalformedURLException {
055        if (isDir()) {
056          throw new IllegalStateException("Cannot create dir URL");
057        }
058        String file = driver.jarURL.toString() + "!/" + entry.getName();
059        return new URL("jar", "", file);
060      }
061    }