KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > jboss > portal > format > parser > chars > Chars


1 /*****************************************
2  * *
3  * JBoss Portal: The OpenSource Portal *
4  * *
5  * Distributable under LGPL license. *
6  * See terms of license at gnu.org. *
7  * *
8  *****************************************/

9
10 package org.jboss.portal.format.parser.chars;
11
12 import java.io.IOException JavaDoc;
13 import java.io.Reader JavaDoc;
14 import java.io.Writer JavaDoc;
15
16 /**
17  * An ordered collection of char.
18  *
19  * @author <a HREF="mailto:julien@jboss.org">Julien Viet</a>
20  * @version $Revision: 1.2 $
21  */

22 public interface Chars
23 {
24    /**
25     * Append the chars to a Writer.
26     */

27    void appendTo(Writer JavaDoc writer) throws IOException JavaDoc;
28
29    /**
30     * Get a Reader for the chars.
31     */

32    Reader JavaDoc getReader();
33
34    /**
35     * Returns how many chars there are.
36     */

37    int length();
38
39    /**
40     * Returns a String made of the chars.
41     */

42    String JavaDoc toString();
43 }
44
Popular Tags