Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / tools / resources / indexer / TemplateContainer.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/indexer/TemplateContainer.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/indexer/TemplateContainer.java
new file mode 100644 (file)
index 0000000..ecc33f5
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/indexer/TemplateContainer.java
@@ -0,0 +1,26 @@
+// TemplateContainer.java\r
+// $Id: TemplateContainer.java,v 1.1 2010/06/15 12:28:03 smhuang Exp $  \r
+// (c) COPYRIGHT MIT and INRIA, 1997.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.tools.resources.indexer;\r
+\r
+import java.io.File;\r
+\r
+import org.w3c.tools.resources.ExternalContainer;\r
+import org.w3c.tools.resources.Resource;\r
+import org.w3c.tools.resources.ResourceContext;\r
+import org.w3c.tools.resources.ServerInterface;\r
+\r
+public class TemplateContainer extends ExternalContainer {\r
+\r
+  public File getRepository(ResourceContext context) {\r
+    return new File(context.getServer().getIndexerDirectory(),\r
+                   getIdentifier());\r
+  }\r
+\r
+  public TemplateContainer(ResourceContext context, String id) {\r
+    super(id, context, true);\r
+  }\r
+\r
+}\r