ResourceSet
public final class FileResourceSet extends java.lang.Object implements ResourceSet
Constructor | Description |
---|---|
FileResourceSet(java.io.File rootSrcFolder) |
Creates a new file resource set.
|
Modifier and Type | Method | Description |
---|---|---|
java.io.File |
getRootSrcFolder() |
|
Resource |
open(java.lang.String url) |
Opens a resource in this resource set.
|
public FileResourceSet(java.io.File rootSrcFolder)
rootSrcFolder
- root folder of this resource setpublic Resource open(java.lang.String url)
ResourceSet
open
in interface ResourceSet
url
- the URL to open.public java.io.File getRootSrcFolder()