38493debc400ab95edb7d7a82f64eda055e0d2c3
[c11tester.git] / plugins.cc
1 #include "plugins.h"
2 #include "scanalysis.h"
3 #include "scfence.h"
4
5 ModelVector<TraceAnalysis *> * registered_analysis;
6 ModelVector<TraceAnalysis *> * installed_analysis;
7
8 void register_plugins() {
9         registered_analysis=new ModelVector<TraceAnalysis *>();
10         installed_analysis=new ModelVector<TraceAnalysis *>();
11         registered_analysis->push_back(new SCAnalysis());
12         registered_analysis->push_back(new SCFence());
13 }
14
15 ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis() {
16         return registered_analysis;
17 }
18
19 ModelVector<TraceAnalysis *> * getInstalledTraceAnalysis() {
20         return installed_analysis;
21 }