public class SourceFile extends Object
SourceFinder| Constructor and Description |
|---|
SourceFile(SourceFileDataSource dataSource)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addLineOffset(int offset)
Add a source line byte offset.
|
String |
getFullFileName()
Get the full path name of the source file (with directory).
|
InputStream |
getInputStream()
Get an InputStream on data.
|
InputStream |
getInputStreamFromOffset(int offset)
Get an InputStream on data starting at given offset.
|
long |
getLastModified() |
int |
getLineOffset(int line)
Get the byte offset in the data for a source line.
|
public SourceFile(SourceFileDataSource dataSource)
dataSource - the SourceFileDataSource object which will provide the data of
the source filepublic String getFullFileName()
public InputStream getInputStream() throws IOException
IOExceptionpublic InputStream getInputStreamFromOffset(int offset) throws IOException
offset - the start offsetIOExceptionpublic void addLineOffset(int offset)
offset - the byte offset of the next source linepublic int getLineOffset(int line)
line - the line numberpublic long getLastModified()
Copyright © 2003–2015. All rights reserved.