Revert "delete plugins"

[c11tester.git] / plugins.cc

diff --git a/plugins.cc b/plugins.cc
new file mode 100644 (file)
index 0000000..c98cb5d
--- /dev/null
+++ b/plugins.cc
@@ -0,0 +1,17 @@
+#include "plugins.h"
+
+ModelVector<TraceAnalysis *> * registered_analysis;
+ModelVector<TraceAnalysis *> * installed_analysis;
+
+void register_plugins() {
+       registered_analysis=new ModelVector<TraceAnalysis *>();
+       installed_analysis=new ModelVector<TraceAnalysis *>();
+}
+
+ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis() {
+       return registered_analysis;
+}
+
+ModelVector<TraceAnalysis *> * getInstalledTraceAnalysis() {
+       return installed_analysis;
+}