01: /*
02: * JavaClassLoader.java
03: *
04: * Copyright (C) 2003 Peter Graves
05: * $Id: JavaClassLoader.java,v 1.6 2003/11/15 11:03:31 beedlem Exp $
06: *
07: * This program is free software; you can redistribute it and/or
08: * modify it under the terms of the GNU General Public License
09: * as published by the Free Software Foundation; either version 2
10: * of the License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public License
18: * along with this program; if not, write to the Free Software
19: * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20: */
21:
22: package org.armedbear.lisp;
23:
24: import java.io.DataInputStream;
25: import java.io.File;
26: import java.io.FileInputStream;
27:
28: public class JavaClassLoader extends ClassLoader {
29: protected Class loadClassFromFile(String filename) {
30: try {
31: File file = new File(filename);
32: if (file.isFile()) {
33: long length = file.length();
34: if (length < Integer.MAX_VALUE) {
35: byte[] classbytes = new byte[(int) length];
36: DataInputStream in = new DataInputStream(
37: new FileInputStream(file));
38: in.readFully(classbytes);
39: in.close();
40: Class c = defineClass(null, classbytes, 0,
41: (int) length);
42: if (c != null) {
43: resolveClass(c);
44: return c;
45: }
46: }
47: } else
48: Debug.trace("file not found: " + filename);
49: } catch (Throwable t) {
50: Debug.trace(t);
51: }
52: return null;
53: }
54: }
|