diff rdf/PluginRDFIndexer.h @ 456:64e64e304a12

* minor addition to help out future work

--- 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;
 };