01: /*
02: * Janino - An embedded Java[TM] compiler
03: *
04: * Copyright (c) 2006, Arno Unkrig
05: * All rights reserved.
06: *
07: * Redistribution and use in source and binary forms, with or without
08: * modification, are permitted provided that the following conditions
09: * are met:
10: *
11: * 1. Redistributions of source code must retain the above copyright
12: * notice, this list of conditions and the following disclaimer.
13: * 2. Redistributions in binary form must reproduce the above
14: * copyright notice, this list of conditions and the following
15: * disclaimer in the documentation and/or other materials
16: * provided with the distribution.
17: * 3. The name of the author may not be used to endorse or promote
18: * products derived from this software without specific prior
19: * written permission.
20: *
21: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
22: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
23: * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24: * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
25: * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26: * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
27: * GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
28: * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
29: * IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
30: * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
31: * IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32: */
33:
34: package org.codehaus.janino.util.resource;
35:
36: import java.io.*;
37: import java.util.zip.*;
38:
39: /**
40: * A {@link org.codehaus.janino.util.resource.ResourceFinder} that finds resources in a ZIP file.
41: */
42: public class ZipFileResourceFinder extends ResourceFinder {
43: private final ZipFile zipFile;
44:
45: public ZipFileResourceFinder(ZipFile zipFile) {
46: this .zipFile = zipFile;
47: }
48:
49: public String toString() {
50: return "zip:" + this .zipFile.getName();
51: }
52:
53: // Implement ResourceFinder.
54:
55: public Resource findResource(final String resourceName) {
56: final ZipEntry ze = this .zipFile.getEntry(resourceName);
57: if (ze == null)
58: return null;
59: return new Resource() {
60: public InputStream open() throws IOException {
61: return ZipFileResourceFinder.this .zipFile
62: .getInputStream(ze);
63: }
64:
65: public String getFileName() {
66: return ZipFileResourceFinder.this .zipFile.getName()
67: + ':' + resourceName;
68: }
69:
70: public long lastModified() {
71: long l = ze.getTime();
72: return l == -1L ? 0L : l;
73: }
74:
75: public String toString() {
76: return this.getFileName();
77: }
78: };
79: }
80: }
|