01 /*
02 * Copyright 1999 Sun Microsystems, Inc. All Rights Reserved.
03 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
04 *
05 * This code is free software; you can redistribute it and/or modify it
06 * under the terms of the GNU General Public License version 2 only, as
07 * published by the Free Software Foundation. Sun designates this
08 * particular file as subject to the "Classpath" exception as provided
09 * 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 javax.swing.text.html;
27
28 import java.io.InputStream;
29
30 /**
31 * Simple class to load resources using the 1.2
32 * security model. Since the html support is loaded
33 * lazily, it's resources are potentially fetched with
34 * applet code in the call stack. By providing this
35 * functionality in a class that is only built on 1.2,
36 * reflection can be used from the code that is also
37 * built on 1.1 to call this functionality (and avoid
38 * the evils of preprocessing). This functionality
39 * is called from HTMLEditorKit.getResourceAsStream.
40 *
41 * @author Timothy Prinzing
42 * @version 1.14 05/05/07
43 */
44 class ResourceLoader implements java.security.PrivilegedAction {
45
46 ResourceLoader(String name) {
47 this .name = name;
48 }
49
50 public Object run() {
51 Object o = HTMLEditorKit.class.getResourceAsStream(name);
52 return o;
53 }
54
55 public static InputStream getResourceAsStream(String name) {
56 java.security.PrivilegedAction a = new ResourceLoader(name);
57 return (InputStream) java.security.AccessController
58 .doPrivileged(a);
59 }
60
61 private String name;
62 }
|