| org.w3c.tools.resources.indexer.ResourceIndexer
| ResourceIndexer | | public interface ResourceIndexer (Code) | | Jigsaw indexer.
The indexer is an object that given some global configuration informations,
tries to build default resources for files that the server doesn't know
about.
A ResourceIndexer must be a resource it is to be added
permanently to the IndexersCatalog.
See Also: IndexersCatalog |
| createResource | | abstract public Resource createResource(ContainerResource container, RequestInterface request, File directory, String name, Hashtable defs)(Code) | | Try to create a resource for the given file.
This method makes its best efforts to try to build a default
resource out of a file.
Parameters:
container - The container making the call.
Parameters:
request - The HTTP request that triggered the call to the indexer(may be null).
Parameters:
directory - The directory the file is in.
Parameters:
name - The name of the file.
Parameters:
defs - Any default attribute values that should be providedto the created resource at initialization time. A Resource instance, or null if the givenfile can't be truned into a resource given our configurationdatabase. |
| getIndexedName | | abstract public String getIndexedName(File directory, String name)(Code) | | Get the name of the resource relative to the given filename.
Parameters:
name - The name of the file. a String, the resource name. |
| lastModified | | abstract public long lastModified()(Code) | | When was this indexer configuration last modified.
The date at which that indexer was last modified, as a number of milliseconds since Java epoch. |
|
|