|
1 /* |
|
2 * Copyright 2005-2008 Sun Microsystems, Inc. All Rights Reserved. |
|
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
|
4 * |
|
5 * This code is free software; you can redistribute it and/or modify it |
|
6 * under the terms of the GNU General Public License version 2 only, as |
|
7 * published by the Free Software Foundation. Sun designates this |
|
8 * particular file as subject to the "Classpath" exception as provided |
|
9 * by Sun in the LICENSE file that accompanied this code. |
|
10 * |
|
11 * This code is distributed in the hope that it will be useful, but WITHOUT |
|
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
14 * version 2 for more details (a copy is included in the LICENSE file that |
|
15 * accompanied this code). |
|
16 * |
|
17 * You should have received a copy of the GNU General Public License version |
|
18 * 2 along with this work; if not, write to the Free Software Foundation, |
|
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
20 * |
|
21 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, |
|
22 * CA 95054 USA or visit www.sun.com if you need additional information or |
|
23 * have any questions. |
|
24 */ |
|
25 |
|
26 package com.sun.tools.javac.file; |
|
27 |
|
28 import com.sun.tools.javac.util.List; |
|
29 import java.io.File; |
|
30 import java.io.IOException; |
|
31 import java.util.zip.ZipEntry; |
|
32 import java.util.zip.ZipFile; |
|
33 import javax.tools.JavaFileObject; |
|
34 |
|
35 public class SymbolArchive extends ZipArchive { |
|
36 |
|
37 final File origFile; |
|
38 final String prefix; |
|
39 |
|
40 public SymbolArchive(JavacFileManager fileManager, File orig, ZipFile zdir, String prefix) throws IOException { |
|
41 super(fileManager, zdir); |
|
42 this.origFile = orig; |
|
43 this.prefix = prefix; |
|
44 } |
|
45 |
|
46 @Override |
|
47 void addZipEntry(ZipEntry entry) { |
|
48 String name = entry.getName(); |
|
49 if (!name.startsWith(prefix)) { |
|
50 return; |
|
51 } |
|
52 name = name.substring(prefix.length()); |
|
53 int i = name.lastIndexOf('/'); |
|
54 String dirname = name.substring(0, i + 1); |
|
55 String basename = name.substring(i + 1); |
|
56 if (basename.length() == 0) { |
|
57 return; |
|
58 } |
|
59 List<String> list = map.get(dirname); |
|
60 if (list == null) { |
|
61 list = List.nil(); |
|
62 } |
|
63 list = list.prepend(basename); |
|
64 map.put(dirname, list); |
|
65 } |
|
66 |
|
67 @Override |
|
68 public JavaFileObject getFileObject(String subdirectory, String file) { |
|
69 return super.getFileObject(prefix + subdirectory, file); |
|
70 } |
|
71 } |