| java.lang.Object
 org.w3c.tools.resources.indexer.SampleIndexerEnumeration
org.w3c.jigsaw.servlet.ServletIndexer
| ServletIndexer | | public class ServletIndexer extends SampleResourceIndexer (Code) | |
version:
$Revision: 1.10 $
author:
Benoît Mahé (bmahe@w3.org) |
| copyDefs | | protected void copyDefs(Hashtable fromdefs, Hashtable toDefs)(Code) | | Copy one hastable in another one.
Parameters:
fromdefs - The source
Parameters:
todefs - The destination |
| createFileResource | | protected Resource createFileResource(File directory, RequestInterface req, String name, Hashtable defs)(Code) | | Create a default file resource for this file (that exists).
Parameters:
directory - The directory of the file.
Parameters:
name - The name of the file.
Parameters:
defs - A set of default attribute values. An instance of Resource, or null ifwe were unable to create it. |
| createVirtualResource | | protected Resource createVirtualResource(File directory, RequestInterface req, String name, Hashtable defs)(Code) | | Try to create a virtual resource if the real (physical) resource
is not there.
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. |
|
|