// ZipIndexer.java
// $Id: ZipIndexer.java,v 1.2 1998/06/11 13:37:25 bmahe Exp $
// (c) COPYRIGHT MIT and INRIA, 1998.
// Please first read the full copyright statement in file COPYRIGHT.html

package org.w3c.jigsaw.zip; 

import java.util.*;
import java.io.*;

import org.w3c.tools.resources.indexer.*;
import org.w3c.tools.resources.*;

/**
 * @version $Revision: 1.2 $
 * @author  Benoît Mahé (bmahe@w3.org)
 */
public class ZipIndexer extends SampleResourceIndexer {

    protected Resource createDirectoryResource(File zipfile,
					       String name,
					       Hashtable defs) 
    {
	return super.createDirectoryResource(zipfile, name, defs);
    }

    protected Resource createFileResource(File zipfile,
					  String name,
					  Hashtable defs) 
    {
	return super.createFileResource(zipfile, null, name, defs);
    }
    
}
