01: // TemplateContainer.java
02: // $Id: TemplateContainer.java,v 1.4 2000/08/16 21:37:54 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1997.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.tools.resources.indexer;
07:
08: import java.io.File;
09:
10: import org.w3c.tools.resources.ExternalContainer;
11: import org.w3c.tools.resources.Resource;
12: import org.w3c.tools.resources.ResourceContext;
13: import org.w3c.tools.resources.ServerInterface;
14:
15: public class TemplateContainer extends ExternalContainer {
16:
17: public File getRepository(ResourceContext context) {
18: return new File(context.getServer().getIndexerDirectory(),
19: getIdentifier());
20: }
21:
22: public TemplateContainer(ResourceContext context, String id) {
23: super (id, context, true);
24: }
25:
26: }
|