|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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). |
java.net | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
java.sql | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
javax.servlet |
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 |
Class.getResource(String name)
|
protected URL |
ClassLoader.findResource(String)
|
private static URL |
ClassLoader.getBootstrapResource(String)
|
URL |
ClassLoader.getResource(String)
|
static URL |
ClassLoader.getSystemResource(String)
|
Methods in java.lang with parameters of type URL | |
protected Package |
ClassLoader.definePackage(String,
String,
String,
String,
String,
String,
String,
URL)
|
boolean |
Package.isSealed(URL url)
|
Constructors in java.lang with parameters of type URL | |
Package(String name,
String spectitle,
String specversion,
String specvendor,
String impltitle,
String implversion,
String implvendor,
URL sealbase)
|
Uses of URL in java.net |
Fields in java.net declared as URL | |
protected URL |
URLConnection.url
|
Methods in java.net that return URL | |
URL |
URI.toURL()
|
URL |
URLConnection.getURL()
|
Methods in java.net with parameters of type URL | |
boolean |
URL.sameFile(URL other)
|
protected int |
URLStreamHandler.hashCode(URL)
|
protected String |
URLStreamHandler.toExternalForm(URL)
|
protected void |
URLStreamHandler.parseURL(URL,
String,
int,
int)
|
protected InetAddress |
URLStreamHandler.getHostAddress(URL)
|
protected boolean |
URLStreamHandler.equals(URL,
URL)
|
protected boolean |
URLStreamHandler.hostsEqual(URL,
URL)
|
protected boolean |
URLStreamHandler.sameFile(URL,
URL)
|
protected abstract URLConnection |
URLStreamHandler.openConnection(URL)
|
protected void |
URLStreamHandler.setURL(URL,
String,
String,
int,
String,
String)
|
protected void |
URLStreamHandler.setURL(URL,
String,
String,
int,
String,
String,
String,
String,
String)
|
Constructors in java.net with parameters of type URL | |
URL(URL context,
String spec)
|
|
URL(URL context,
String spec,
URLStreamHandler handler)
|
|
URLConnection(URL)
|
Uses of URL in java.sql |
Methods in java.sql that return URL | |
abstract URL |
ResultSet.getURL(int columnIndex)
|
abstract URL |
ResultSet.getURL(String columnName)
|
abstract URL |
CallableStatement.getURL(int)
|
abstract URL |
CallableStatement.getURL(String)
|
Methods in java.sql with parameters of type URL | |
abstract void |
PreparedStatement.setURL(int parameterIndex,
URL x)
|
abstract void |
CallableStatement.setURL(String,
URL)
|
Uses of URL in javax.servlet |
Methods in javax.servlet that return URL | |
abstract URL |
ServletContext.getResource(String path)
|
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |