    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