class org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig extends org.glassfish.grizzly.servlet.ServletConfigImpl
{
private void <init>(org.glassfish.grizzly.servlet.WebappContext)
{
org.glassfish.grizzly.servlet.WebappContext v;
org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig v;
v := @this: org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig;
v := @parameter: org.glassfish.grizzly.servlet.WebappContext;
specialinvoke v.<org.glassfish.grizzly.servlet.ServletConfigImpl: void <init>(org.glassfish.grizzly.servlet.WebappContext)>(v);
return;
}
public java.lang.String getServletName()
{
org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig v;
v := @this: org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig;
return "EjbWSServlet";
}
public java.lang.String getInitParameter(java.lang.String)
{
java.lang.String v;
org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig v;
v := @this: org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig;
v := @parameter: java.lang.String;
return null;
}
public java.util.Enumeration getInitParameterNames()
{
org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig$1 v;
org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig v;
v := @this: org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig;
v = new org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig$1;
specialinvoke v.<org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig$1: void <init>(org.glassfish.webservices.EjbWSAdapter$EjbWSServletConfig)>(v);
return v;
}
}