From: bdemsky <bdemsky@uci.edu>
Date: Tue, 4 Jun 2019 19:52:07 +0000 (-0700)
Subject: Revert "delete plugins"
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=b45ae1ffde0d00f47428f10b33c8c8c67b162b2a

Revert "delete plugins"

This reverts commit 6535eebefaea5a67d17fd074d2b446a51df7c6a4.
---

diff --git a/plugins.cc b/plugins.cc
new file mode 100644
index 00000000..c98cb5dd
--- /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;
+}
diff --git a/plugins.h b/plugins.h
new file mode 100644
index 00000000..ce0f5291
--- /dev/null
+++ b/plugins.h
@@ -0,0 +1,10 @@
+#ifndef PLUGINS_H
+#define PLUGINS_H
+#include "traceanalysis.h"
+#include "stl-model.h"
+
+void register_plugins();
+ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis();
+ModelVector<TraceAnalysis *> * getInstalledTraceAnalysis();
+
+#endif