JML

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). 
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

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.