# HG changeset patch
# User Chris Cannam
# Date 1223905985 0
# Node ID 64e64e304a12b9b12060098fac16c9f83f36fedc
# Parent  3e0f1f7bec850def607e051089243dfa87a75b05
* minor addition to help out future work

diff -r 3e0f1f7bec85 -r 64e64e304a12 rdf/PluginRDFIndexer.cpp
--- a/rdf/PluginRDFIndexer.cpp	Thu Oct 09 20:10:28 2008 +0000
+++ b/rdf/PluginRDFIndexer.cpp	Mon Oct 13 13:53:05 2008 +0000
@@ -153,6 +153,17 @@
     return getDescriptionURLForPluginId(id);
 }
 
+QStringList
+PluginRDFIndexer::getIndexedPluginIds() 
+{
+    QStringList ids;
+    for (StringMap::const_iterator i = m_idToDescriptionMap.begin();
+         i != m_idToDescriptionMap.end(); ++i) {
+        ids.push_back(i->first);
+    }
+    return ids;
+}
+
 bool
 PluginRDFIndexer::indexFile(QString filepath)
 {
diff -r 3e0f1f7bec85 -r 64e64e304a12 rdf/PluginRDFIndexer.h
--- a/rdf/PluginRDFIndexer.h	Thu Oct 09 20:10:28 2008 +0000
+++ b/rdf/PluginRDFIndexer.h	Mon Oct 13 13:53:05 2008 +0000
@@ -17,6 +17,7 @@
 #define _PLUGIN_RDF_INDEXER_H_
 
 #include <QString>
+#include <QStringList>
 #include <map>
 #include <set>
 
@@ -27,11 +28,15 @@
 public:
     static PluginRDFIndexer *getInstance();
 
+    bool indexURL(QString url); // in addition to "installed" URLs
+
     QString getURIForPluginId(QString pluginId);
     QString getIdForPluginURI(QString uri);
     QString getDescriptionURLForPluginId(QString pluginId);
     QString getDescriptionURLForPluginURI(QString uri);
 
+    QStringList getIndexedPluginIds();
+
     ~PluginRDFIndexer();
 
 protected:
@@ -41,7 +46,6 @@
     StringMap m_idToUriMap;
     StringMap m_idToDescriptionMap;
     bool indexFile(QString path);
-    bool indexURL(QString url);
     std::set<FileSource *> m_cache;
     static PluginRDFIndexer *m_instance;
 };