diff options
author | schinz <schinz@epfl.ch> | 2004-10-26 13:15:01 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2004-10-26 13:15:01 +0000 |
commit | 4368c529503df554af1d8ff5a5297ed45d30fa43 (patch) | |
tree | 9461a9c39dc5f4d45e4ed3727f9084f8340870a6 /sources | |
parent | 5e1103c409f75e4caff4dca2e1b8e05888fa2c33 (diff) | |
download | scala-4368c529503df554af1d8ff5a5297ed45d30fa43.tar.gz scala-4368c529503df554af1d8ff5a5297ed45d30fa43.tar.bz2 scala-4368c529503df554af1d8ff5a5297ed45d30fa43.zip |
- adapted constructor to take a class name inst...
- adapted constructor to take a class name instead of a class object
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/runtime/types/JavaClassType.java | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sources/scala/runtime/types/JavaClassType.java b/sources/scala/runtime/types/JavaClassType.java index 858386fa83..767459fc3a 100644 --- a/sources/scala/runtime/types/JavaClassType.java +++ b/sources/scala/runtime/types/JavaClassType.java @@ -11,7 +11,10 @@ package scala.runtime.types; public class JavaClassType extends ClassType { - public JavaClassType(Class clazz) { - super(clazz, true); + private static final ClassLoader loader = + ClassLoader.getSystemClassLoader(); + + public JavaClassType(String fullName) throws ClassNotFoundException { + super(Class.forName(fullName, false, loader), true); } } |