public class org.apache.naming.resources.FileDirContext$FileResource extends org.apache.naming.resources.Resource implements org.apache.naming.resources.UrlResource
{
protected java.io.File file;
public void <init>(java.io.File)
{
org.apache.naming.resources.FileDirContext$FileResource v;
java.io.File v;
v := @this: org.apache.naming.resources.FileDirContext$FileResource;
v := @parameter: java.io.File;
specialinvoke v.<org.apache.naming.resources.Resource: void <init>()>();
v.<org.apache.naming.resources.FileDirContext$FileResource: java.io.File file> = v;
return;
}
public java.io.InputStream streamContent() throws java.io.IOException
{
byte[] v;
org.apache.naming.resources.FileDirContext$FileResource v;
java.io.FileInputStream v;
java.io.File v;
java.io.InputStream v;
v := @this: org.apache.naming.resources.FileDirContext$FileResource;
v = v.<org.apache.naming.resources.FileDirContext$FileResource: byte[] binaryContent>;
if v != null goto label;
v = new java.io.FileInputStream;
v = v.<org.apache.naming.resources.FileDirContext$FileResource: java.io.File file>;
specialinvoke v.<java.io.FileInputStream: void <init>(java.io.File)>(v);
v.<org.apache.naming.resources.FileDirContext$FileResource: java.io.InputStream inputStream> = v;
return v;
label:
v = specialinvoke v.<org.apache.naming.resources.Resource: java.io.InputStream streamContent()>();
return v;
}
public java.net.URL getUrl() throws java.net.MalformedURLException
{
java.net.URL v;
org.apache.naming.resources.FileDirContext$FileResource v;
java.net.URI v;
java.io.File v;
v := @this: org.apache.naming.resources.FileDirContext$FileResource;
v = v.<org.apache.naming.resources.FileDirContext$FileResource: java.io.File file>;
v = virtualinvoke v.<java.io.File: java.net.URI toURI()>();
v = virtualinvoke v.<java.net.URI: java.net.URL toURL()>();
return v;
}
public java.lang.String toString()
{
org.apache.naming.resources.FileDirContext$FileResource v;
java.lang.String v;
java.io.File v;
v := @this: org.apache.naming.resources.FileDirContext$FileResource;
v = v.<org.apache.naming.resources.FileDirContext$FileResource: java.io.File file>;
v = virtualinvoke v.<java.io.File: java.lang.String toString()>();
return v;
}
}