gnu.regexp
public class REFilterReader extends java.io.FilterReader
Constructor and Description |
---|
REFilterReader(java.io.Reader stream,
RE expr,
java.lang.String replace)
Creates an REFilterReader.
|
Modifier and Type | Method and Description |
---|---|
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.
|
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.public int read()
read
in class java.io.FilterReader
public boolean markSupported()
markSupported
in class java.io.FilterReader
public int read(char[] b, int off, int len)
read
in class java.io.FilterReader
public int read(char[] b)
read
in class java.io.Reader