edu.rice.cs.drjava.model
Class JarJDKToolsLibrary

java.lang.Object
  edu.rice.cs.drjava.model.JDKToolsLibrary
      edu.rice.cs.drjava.model.JarJDKToolsLibrary

public class JarJDKToolsLibrary
extends JDKToolsLibrary

A JDKToolsLibrary that was loaded from a specific jar file.

Method Summary

File	location()
static JarJDKToolsLibrary	makeFromFile(File f, GlobalModel model) Create a JarJDKToolsLibrary from a specific "tools.jar" or "classes.jar" file.
static Iterable<JarJDKToolsLibrary>	search(GlobalModel model) Produce a list of tools libraries discovered on the file system.
String	toString()

Methods inherited from class edu.rice.cs.drjava.model.JDKToolsLibrary

adapterForCompiler, adapterForDebugger, compiler, debugger, isValid, javadoc, makeFromRuntime, version

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

location

public File location()

toString

public String toString()

Overrides:

toString in class JDKToolsLibrary

makeFromFile

public static JarJDKToolsLibrary makeFromFile(File f,
                                              GlobalModel model)

Create a JarJDKToolsLibrary from a specific "tools.jar" or "classes.jar" file.

search

public static Iterable<JarJDKToolsLibrary> search(GlobalModel model)

Produce a list of tools libraries discovered on the file system. A variety of locations are searched; only those files that can produce a valid library (see JDKToolsLibrary.isValid() are returned. The result is sorted by version. Where one library of the same version might be preferred over another, the preferred library appears earlier in the result list.