|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.io.Reader java.io.FilterReader gnu.regexp.REFilterReader
Replaces instances of a given RE with replacement text.
Field Summary |
Fields inherited from class java.io.FilterReader |
in |
Fields inherited from class java.io.Reader |
lock |
Constructor Summary | |
REFilterReader(java.io.Reader stream,
RE expr,
java.lang.String replace)
Creates an REFilterReader. |
Method Summary | |
boolean |
markSupported()
Returns false. |
int |
read()
Reads the next character from the stream per the general contract of Reader.read(). |
int |
read(char[] b)
Reads from the stream into the provided array. |
int |
read(char[] b,
int off,
int len)
Reads from the stream into the provided array. |
Methods inherited from class java.io.FilterReader |
close, mark, ready, reset, skip |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public REFilterReader(java.io.Reader stream, RE expr, java.lang.String replace)
stream
- The Reader to be filtered.expr
- The regular expression to search for.replace
- The text pattern to replace matches with.Method Detail |
public int read()
public boolean markSupported()
public int read(char[] b, int off, int len)
public int read(char[] b)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |