From: weiyu <weiyuluo1232@gmail.com>
Date: Fri, 26 Oct 2018 01:15:57 +0000 (-0700)
Subject: delete plugins
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6535eebefaea5a67d17fd074d2b446a51df7c6a4;p=c11tester.git

delete plugins
---

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