Uses of Class
java.net.URL

Packages that use URL

java.io	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).

Uses of URL in java.io

Methods in java.io that return URL

URL	File.toURL()

Uses of URL in java.lang

Methods in java.lang that return URL

URL	ClassLoader.getResource(String)
protected URL	ClassLoader.findResource(String)
static URL	ClassLoader.getSystemResource(String)
private static URL	ClassLoader.getBootstrapResource(String)
URL	Class.getResource(String)

Methods in java.lang with parameters of type URL

protected Package

ClassLoader.definePackage(String, String, String, String, String, String, String, URL)