protected void setURL(URL u, String protocol, String host, int port,
String file, String refJ)
{
if (this != u.strmHandler)
{
throw new java.lang.SecurityException();
}
u.set(protocol, host, port, file, refJ);
}
/**
* Sets the fields of the URL {@code u} to the values of the supplied
* arguments.
*
* @param u
* the non-null URL object to be set.
* @param protocol
* the protocol.
* @param host
* the host name.
* @param port
* the port number.
* @param authority
* the authority.
* @param userInfo
* the user info.
* @param file
* the file component.
* @param query
* the query.
* @param ref
* the reference.
*/
protected void setURL(URL u, String protocol, String host, int port,
String authority, String userInfo, String file, String query,
String refJ)
{
if (this != u.strmHandler)
{
throw new java.lang.SecurityException();
}
u.set(protocol, host, port, authority, userInfo, file, query, refJ);
}
/**
* Sets the fields of the URL {@code u} to the values of the supplied
* arguments.
*
* @param u
* the non-null URL object to be set.
* @param protocol
* the protocol.
* @param host
* the host name.
* @param port
* the port number.
* @param authority
* the authority.
* @param userInfo
* the user info.
* @param file
* the file component.
* @param query
* the query.
* @param ref
* the reference.
*/
protected void setURL(URL u, String protocol, String host, int port,
String authority, String userInfo, String file, String query,
String refJ)
{
if (this != u.strmHandler)
{
throw new java.lang.SecurityException();
}
u.set(protocol, host, port, authority, userInfo, file, query, refJ);
}
protected void setURL(URL u, String protocol, String host, int port,
String file, String refJ)
{
if (this != u.strmHandler)
{
throw new java.lang.SecurityException();
}
u.set(protocol, host, port, file, refJ);
}
