public class FileSearchPathProvider
extends java.lang.Object
implements java.lang.Iterable<java.io.File>
Constructor and Description |
---|
FileSearchPathProvider(java.lang.String fileName) |
FileSearchPathProvider(java.lang.String prefix,
java.lang.String fileName) |
FileSearchPathProvider(java.lang.String prefix,
java.lang.String fileName,
java.util.List<java.lang.String> paths) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getFilename() |
de.be4.classicalb.core.parser.FileSearchPathProvider.SearchPathIterator |
iterator() |
java.io.File |
resolve() |
int |
size() |
public FileSearchPathProvider(java.lang.String fileName)
public FileSearchPathProvider(java.lang.String prefix, java.lang.String fileName)
public FileSearchPathProvider(java.lang.String prefix, java.lang.String fileName, java.util.List<java.lang.String> paths)
public de.be4.classicalb.core.parser.FileSearchPathProvider.SearchPathIterator iterator()
iterator
in interface java.lang.Iterable<java.io.File>
public int size()
public java.lang.String getFilename()
public java.io.File resolve() throws java.io.FileNotFoundException
java.io.FileNotFoundException