1 33 34 package edu.rice.cs.drjava.model.compiler; 35 36 import java.io.File ; 37 import java.net.URLClassLoader ; 38 import java.net.URL ; 39 import java.net.MalformedURLException ; 40 41 import edu.rice.cs.drjava.DrJava; 42 import edu.rice.cs.drjava.config.OptionConstants; 43 import edu.rice.cs.drjava.config.FileOption; 44 45 import edu.rice.cs.util.FileOps; 46 47 53 public class JavacFromSetLocation extends CompilerProxy 54 implements OptionConstants { 55 59 60 public JavacFromSetLocation() { 61 super("edu.rice.cs.drjava.model.compiler.JavacGJCompiler", _getClassLoader()); 62 } 63 64 private static ClassLoader _getClassLoader() { 65 File loc = DrJava.getConfig().getSetting(JAVAC_LOCATION); 66 if (loc == FileOption.NULL_FILE) { 67 throw new RuntimeException ("javac location not set"); 68 } 69 70 try { 71 URL url = FileOps.toURL(loc); 72 return new URLClassLoader (new URL [] { url }); 73 } 74 catch (MalformedURLException e) { 75 throw new RuntimeException ("malformed url exception"); 76 } 77 } 78 79 82 public String getName() { 83 return super.getName() + " (user)"; 84 } 85 } 86 | Popular Tags |