|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface OutFile
This class holds an output file onto which tokens can be written.
| Method Summary | |
|---|---|
void |
close()
Close the current file. |
boolean |
isOpen()
Check whether the output file is open. |
void |
newline()
Write out a newline. |
void |
open(java.lang.String key,
java.lang.String encoding,
TokenStreamFactory factory)
Open the current file. |
boolean |
write(Tokens toks)
Write some tokens to the output writer. |
| Method Detail |
|---|
void close()
throws java.io.IOException
java.io.IOException - in case of an errorboolean isOpen()
true iff the instance is open
void open(java.lang.String key,
java.lang.String encoding,
TokenStreamFactory factory)
throws java.io.UnsupportedEncodingException
key - the keyencoding - the encoding or null for the default
encodingfactory - the token stream factory
java.io.UnsupportedEncodingException - in case of an invalid encoding
void newline()
throws java.io.IOException
java.io.IOException - in case of an error
boolean write(Tokens toks)
throws HelpingException,
java.io.IOException
toks - tokens to write
true iff the writing was successful
HelpingException - in case of an error
java.io.IOException - in case of an IO error
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||