class org.apache.naming.resources.DirContextURLStreamHandlerService$DelegatingDirContextURLStreamHandler extends org.apache.naming.resources.DirContextURLStreamHandler
{
private void <init>()
{
org.apache.naming.resources.DirContextURLStreamHandlerService$DelegatingDirContextURLStreamHandler v;
v := @this: org.apache.naming.resources.DirContextURLStreamHandlerService$DelegatingDirContextURLStreamHandler;
specialinvoke v.<org.apache.naming.resources.DirContextURLStreamHandler: void <init>()>();
return;
}
public java.net.URLConnection openConnection(java.net.URL) throws java.io.IOException
{
java.net.URL v;
java.net.URLConnection v;
org.apache.naming.resources.DirContextURLStreamHandlerService$DelegatingDirContextURLStreamHandler v;
v := @this: org.apache.naming.resources.DirContextURLStreamHandlerService$DelegatingDirContextURLStreamHandler;
v := @parameter: java.net.URL;
v = specialinvoke v.<org.apache.naming.resources.DirContextURLStreamHandler: java.net.URLConnection openConnection(java.net.URL)>(v);
return v;
}
public java.lang.String toExternalForm(java.net.URL)
{
java.lang.String v;
java.net.URL v;
org.apache.naming.resources.DirContextURLStreamHandlerService$DelegatingDirContextURLStreamHandler v;
v := @this: org.apache.naming.resources.DirContextURLStreamHandlerService$DelegatingDirContextURLStreamHandler;
v := @parameter: java.net.URL;
v = specialinvoke v.<org.apache.naming.resources.DirContextURLStreamHandler: java.lang.String toExternalForm(java.net.URL)>(v);
return v;
}
}