public class org.glassfish.web.deployment.runtime.Servlet extends com.sun.enterprise.deployment.runtime.RuntimeDescriptor
{
public static final java.lang.String SERVLET_NAME;
public static final java.lang.String PRINCIPAL_NAME;
public void <init>()
{
org.glassfish.web.deployment.runtime.Servlet v;
v := @this: org.glassfish.web.deployment.runtime.Servlet;
specialinvoke v.<com.sun.enterprise.deployment.runtime.RuntimeDescriptor: void <init>()>();
return;
}
public void setServletName(java.lang.String)
{
java.lang.String v;
org.glassfish.web.deployment.runtime.Servlet v;
v := @this: org.glassfish.web.deployment.runtime.Servlet;
v := @parameter: java.lang.String;
virtualinvoke v.<org.glassfish.web.deployment.runtime.Servlet: void setValue(java.lang.String,java.lang.Object)>("ServletName", v);
return;
}
public java.lang.String getServletName()
{
java.lang.Object v;
org.glassfish.web.deployment.runtime.Servlet v;
v := @this: org.glassfish.web.deployment.runtime.Servlet;
v = virtualinvoke v.<org.glassfish.web.deployment.runtime.Servlet: java.lang.Object getValue(java.lang.String)>("ServletName");
return v;
}
public void setPrincipalName(java.lang.String)
{
java.lang.String v;
org.glassfish.web.deployment.runtime.Servlet v;
v := @this: org.glassfish.web.deployment.runtime.Servlet;
v := @parameter: java.lang.String;
virtualinvoke v.<org.glassfish.web.deployment.runtime.Servlet: void setValue(java.lang.String,java.lang.Object)>("PrincipalName", v);
return;
}
public java.lang.String getPrincipalName()
{
java.lang.Object v;
org.glassfish.web.deployment.runtime.Servlet v;
v := @this: org.glassfish.web.deployment.runtime.Servlet;
v = virtualinvoke v.<org.glassfish.web.deployment.runtime.Servlet: java.lang.Object getValue(java.lang.String)>("PrincipalName");
return v;
}
public boolean verify()
{
org.glassfish.web.deployment.runtime.Servlet v;
v := @this: org.glassfish.web.deployment.runtime.Servlet;
return 1;
}
}