public class REFilterReader
extends java.io.FilterReader
Constructor | Description |
---|---|
REFilterReader(java.io.Reader stream,
RE expr,
java.lang.String replace) |
Creates an REFilterReader.
|
Modifier and Type | Method | 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