class org.glassfish.web.loader.RepositoryManager$RepositoryResource extends java.lang.Object
{
public final java.lang.String name;
public final java.io.File file;
void <init>(java.lang.String, java.io.File)
{
org.glassfish.web.loader.RepositoryManager$RepositoryResource v;
java.lang.String v;
java.io.File v;
v := @this: org.glassfish.web.loader.RepositoryManager$RepositoryResource;
v := @parameter: java.lang.String;
v := @parameter: java.io.File;
specialinvoke v.<java.lang.Object: void <init>()>();
v.<org.glassfish.web.loader.RepositoryManager$RepositoryResource: java.lang.String name> = v;
v.<org.glassfish.web.loader.RepositoryManager$RepositoryResource: java.io.File file> = v;
return;
}
public java.lang.String toString()
{
org.glassfish.web.loader.RepositoryManager$RepositoryResource v;
java.lang.String v;
v := @this: org.glassfish.web.loader.RepositoryManager$RepositoryResource;
v = v.<org.glassfish.web.loader.RepositoryManager$RepositoryResource: java.lang.String name>;
return v;
}
}