/**
 * This class was generated from a set of XML constraints
 *   by the Enhydra Zeus XML Data Binding Framework. All
 *   source code in this file is constructed specifically
 *   to work with other Zeus-generated classes. If you
 *   modify this file by hand, you run the risk of breaking
 *   this interoperation, as well as introducing errors in
 *   source code compilation.
 *
 * * * * * MODIFY THIS FILE AT YOUR OWN RISK * * * * *
 *
 * To find out more about the Enhydra Zeus framework, you
 *   can point your browser at <http://zeus.enhydra.org>
 *   where you can download releases, join and discuss Zeus
 *   on user and developer mailing lists, and access source
 *   code. Please report any bugs through that website.
 */
package javajaxb.generated.web;

// Global Interface Import Statements
import java.io.File;
import java.io.IOException;
import java.io.OutputStream;
import java.io.Writer;

// Local Interface Import Statements
import java.util.List;
import java.io.Serializable;

public interface Servlet extends Serializable {

    public static final String ZEUS_XML_NAME = "servlet";
    public static final String[] ZEUS_ATTRIBUTES = {"id"};
    public static final String[] ZEUS_ELEMENTS = {"icon", "servlet-name", "display-name", "description", "servlet-class", "jsp-file", "init-param", "load-on-startup", "security-role-ref"};

    public Icon getIcon();

    public void setIcon(Icon icon);

    public String getServletName();

    public void setServletName(String servletName);

    public String getDisplayName();

    public void setDisplayName(String displayName);

    public String getDescription();

    public void setDescription(String description);

    public String getServletClass();

    public void setServletClass(String servletClass);

    public String getJspFile();

    public void setJspFile(String jspFile);

    public List getInitParamList();

    public void setInitParamList(List initParamList);

    public void addInitParam(InitParam initParam);

    public void removeInitParam(InitParam initParam);

    public String getLoadOnStartup();

    public void setLoadOnStartup(String loadOnStartup);

    public List getSecurityRoleRefList();

    public void setSecurityRoleRefList(List securityRoleRefList);

    public void addSecurityRoleRef(SecurityRoleRef securityRoleRef);

    public void removeSecurityRoleRef(SecurityRoleRef securityRoleRef);

    public String getId();

    public void setId(String id);

    public void marshal(File file) throws IOException;

    public void marshal(OutputStream outputStream) throws IOException;

    public void marshal(Writer writer) throws IOException;

    public void setDocType(String name, String publicID, String systemID);

    public void setOutputEncoding(String outputEncoding);

}