@PublicApi public class MultiSourceReader extends java.io.Reader
Modifier and Type | Class and Description |
---|---|
static class |
MultiSourceReader.Builder |
static class |
MultiSourceReader.SourceAndLine |
Modifier and Type | Method and Description |
---|---|
void |
close() |
java.util.List<java.lang.String> |
getData() |
int |
getLineNumber() |
int |
getOverallLineNumber() |
MultiSourceReader.SourceAndLine |
getSourceAndLineFromOverallLine(int overallLineNumber)
This returns the source name and line number given an overall line number
This is zeroes based like
LineNumberReader.getLineNumber() |
java.lang.String |
getSourceName() |
static MultiSourceReader.Builder |
newMultiSourceReader() |
int |
read(char[] cbuf,
int off,
int len) |
public int read(char[] cbuf, int off, int len) throws java.io.IOException
read
in class java.io.Reader
java.io.IOException
public MultiSourceReader.SourceAndLine getSourceAndLineFromOverallLine(int overallLineNumber)
LineNumberReader.getLineNumber()
overallLineNumber
- the over all line numberpublic int getLineNumber()
LineNumberReader.getLineNumber()
public java.lang.String getSourceName()
public int getOverallLineNumber()
LineNumberReader.getLineNumber()
public java.util.List<java.lang.String> getData()
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.Reader
java.io.IOException
public static MultiSourceReader.Builder newMultiSourceReader()