All Packages Class Hierarchy This Package Previous Next Index
Class org.w3c.jigsaw.servlet.ServletIndexer
java.lang.Object
|
+----org.w3c.tools.resources.AttributeHolder
|
+----org.w3c.tools.resources.Resource
|
+----org.w3c.tools.resources.indexer.SampleResourceIndexer
|
+----org.w3c.jigsaw.servlet.ServletIndexer
- public class ServletIndexer
- extends SampleResourceIndexer
-
ServletIndexer()
-
-
copyDefs(Hashtable, Hashtable)
- Copy one hastable in another one.
-
createFileResource(File, RequestInterface, String, Hashtable)
- Create a default file resource for this file (that exists).
ServletIndexer
public ServletIndexer()
copyDefs
protected void copyDefs(Hashtable fromdefs,
Hashtable toDefs)
- Copy one hastable in another one.
- Parameters:
- fromdefs - The source
- todefs - The destination
createFileResource
protected Resource createFileResource(File directory,
RequestInterface req,
String name,
Hashtable defs)
- Create a default file resource for this file (that exists).
- Parameters:
- directory - The directory of the file.
- name - The name of the file.
- defs - A set of default attribute values.
- Returns:
- An instance of Resource, or null if
we were unable to create it.
- Overrides:
- createFileResource in class SampleResourceIndexer
All Packages Class Hierarchy This Package Previous Next Index