KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > enhydra > convert > xml > ServletMapping


1 /**
2  * This class was generated from a set of XML constraints
3  * by the Enhydra Zeus XML Data Binding Framework. All
4  * source code in this file is constructed specifically
5  * to work with other Zeus-generated classes. If you
6  * modify this file by hand, you run the risk of breaking
7  * this interoperation, as well as introducing errors in
8  * source code compilation.
9  *
10  * * * * * MODIFY THIS FILE AT YOUR OWN RISK * * * * *
11  *
12  * To find out more about the Enhydra Zeus framework, you
13  * can point your browser at <http://zeus.enhydra.org>
14  * where you can download releases, join and discuss Zeus
15  * on user and developer mailing lists, and access source
16  * code. Please report any bugs through that website.
17  */
18 package org.enhydra.convert.xml;
19
20 // Global Interface Import Statements
21 import java.io.File JavaDoc;
22 import java.io.IOException JavaDoc;
23 import java.io.OutputStream JavaDoc;
24 import java.io.Writer JavaDoc;
25
26 // Local Interface Import Statements
27 import java.io.Serializable JavaDoc;
28
29 public interface ServletMapping extends Serializable JavaDoc {
30
31     public static final String JavaDoc ZEUS_XML_NAME = "servlet-mapping";
32     public static final String JavaDoc[] ZEUS_ATTRIBUTES = {"id"};
33     public static final String JavaDoc[] ZEUS_ELEMENTS = {"servlet-name", "url-pattern"};
34
35     public ServletName getServletName();
36
37     public void setServletName(ServletName servletName);
38
39     public UrlPattern getUrlPattern();
40
41     public void setUrlPattern(UrlPattern urlPattern);
42
43     public String JavaDoc getId();
44
45     public void setId(String JavaDoc id);
46
47     public void marshal(File JavaDoc file) throws IOException JavaDoc;
48
49     public void marshal(OutputStream JavaDoc outputStream) throws IOException JavaDoc;
50
51     public void marshal(Writer JavaDoc writer) throws IOException JavaDoc;
52
53     public void setDocType(String JavaDoc name, String JavaDoc publicID, String JavaDoc systemID);
54
55     public void setOutputEncoding(String JavaDoc outputEncoding);
56
57 }
58
Popular Tags