public final class HTMLStripCharFilter extends BaseCharFilter
input
Constructor and Description |
---|
HTMLStripCharFilter(CharStream source) |
HTMLStripCharFilter(CharStream source,
java.util.Set<java.lang.String> escapedTags) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
int |
read() |
int |
read(char[] cbuf,
int off,
int len) |
addOffCorrectMap, correct, getLastCumulativeDiff
correctOffset, mark, markSupported, reset
public HTMLStripCharFilter(CharStream source)
source
- public HTMLStripCharFilter(CharStream source, java.util.Set<java.lang.String> escapedTags)
source
- escapedTags
- Tags in this set (both start and end tags)
will not be filtered out.public int read() throws java.io.IOException
read
in class java.io.Reader
java.io.IOException
public int read(char[] cbuf, int off, int len) throws java.io.IOException
read
in class CharFilter
java.io.IOException
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class CharFilter
java.io.IOException
Copyright © 2000-2024 Apache Software Foundation. All Rights Reserved.