Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / config / indexers / idx.db

diff --git a/JMCR-Stable/real-world application/jigsaw/config/indexers/idx.db b/JMCR-Stable/real-world application/jigsaw/config/indexers/idx.db
new file mode 100644 (file)
index 0000000..838cf78
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/config/indexers/idx.db
@@ -0,0 +1,35 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<jxml version="1.0" xmlns="http://jigsaw.w3.org/JXML/jxml1.0">
+ <resource class='org.w3c.jigsaw.servlet.ServletIndexer'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>servlet-indexer</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Mon, 28 Sep 1998 11:43:38 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='super-indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>default</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.indexer.SampleResourceIndexer'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>icons</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='super-indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.indexer.SampleResourceIndexer'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>default</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='super-indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+ </resource>
+ <resource class='org.w3c.jigsaw.indexer.ContentTypeIndexer'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>put-indexer</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='super-indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+ </resource>
+</jxml>