java.lang.Object | +--java.io.Writer | +--java.io.FilterWriter | +--unit.WhiteSpaceStripper
Replaces all sequences of white space characters (space, tab, newline and carriage return) by one space character.
Writer
Constructor Summary | |
WhiteSpaceStripper(java.io.Writer out)
Creates a new white space filter. |
Method Summary | |
void |
dontStrip(char anyCharacter)
Explicitly writes and does not strip the character argument. |
void |
newline()
Explicitly writes and does not strip a newline character sequence (default encoding: System.getProperty("line.separator")). |
void |
space()
Explicitly writes and does not strip a space character. |
void |
tab()
Explicitly writes and does not strip a tab character. |
void |
write(char[] cbuf,
int off,
int len)
|
void |
write(int c)
|
void |
write(java.lang.String str,
int off,
int len)
|
Methods inherited from class java.io.FilterWriter |
close,
flush |
Methods inherited from class java.io.Writer |
write,
write |
Methods inherited from class java.lang.Object |
equals,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public WhiteSpaceStripper(java.io.Writer out)
out
- the target of the resulting output.Method Detail |
public void write(char[] cbuf, int off, int len) throws java.io.IOException
Writer
public void write(java.lang.String str, int off, int len) throws java.io.IOException
Writer
public void write(int c) throws java.io.IOException
Writer
public void newline() throws java.io.IOException
public void tab() throws java.io.IOException
public void space() throws java.io.IOException
public void dontStrip(char anyCharacter) throws java.io.IOException