KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > enhydra > snapper > business > xml > SearchSummary


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.snapper.business.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 SearchSummary extends Serializable JavaDoc {
30
31     public static final String JavaDoc ZEUS_XML_NAME = "SearchSummary";
32     public static final String JavaDoc[] ZEUS_ATTRIBUTES = {};
33     public static final String JavaDoc[] ZEUS_ELEMENTS = {"SearchedTerm", "BeginIndex", "EndIndex", "DocsNumber", "SearchedTime"};
34
35     public SearchedTerm getSearchedTerm();
36
37     public void setSearchedTerm(SearchedTerm searchedTerm);
38
39     public BeginIndex getBeginIndex();
40
41     public void setBeginIndex(BeginIndex beginIndex);
42
43     public EndIndex getEndIndex();
44
45     public void setEndIndex(EndIndex endIndex);
46
47     public DocsNumber getDocsNumber();
48
49     public void setDocsNumber(DocsNumber docsNumber);
50
51     public SearchedTime getSearchedTime();
52
53     public void setSearchedTime(SearchedTime searchedTime);
54
55     public void marshal(File JavaDoc file) throws IOException JavaDoc;
56
57     public void marshal(OutputStream JavaDoc outputStream) throws IOException JavaDoc;
58
59     public void marshal(Writer JavaDoc writer) throws IOException JavaDoc;
60
61     public void setDocType(String JavaDoc name, String JavaDoc publicID, String JavaDoc systemID);
62
63     public void setOutputEncoding(String JavaDoc outputEncoding);
64
65 }
66
Popular Tags