FileDataSource
, ReaderDataSource
, ZipDataSource
public interface DataSource
Modifier and Type | Method | Description |
---|---|---|
java.io.InputStream |
getInputStream() |
Get an InputStream on the source file.
|
java.lang.String |
getNiceFileName(boolean shortNames,
java.lang.String inputFileName) |
Return a nice version of the filename.
|
java.io.InputStream getInputStream() throws java.io.IOException
java.io.IOException
- if the file can't be openedjava.lang.String getNiceFileName(boolean shortNames, java.lang.String inputFileName)
shortNames
- true if short names are being usedinputFileName
- name of a "master" file this file is relative toCopyright © 2002–2018 PMD. All rights reserved.