#include "plugins.h"
#include "scanalysis.h"
#include "scfence.h"

ModelVector<TraceAnalysis *> * registered_analysis;
ModelVector<TraceAnalysis *> * installed_analysis;

void register_plugins() {
	registered_analysis=new ModelVector<TraceAnalysis *>();
	installed_analysis=new ModelVector<TraceAnalysis *>();
	registered_analysis->push_back(new SCAnalysis());
	registered_analysis->push_back(new SCFence());
}

ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis() {
	return registered_analysis;
}

ModelVector<TraceAnalysis *> * getInstalledTraceAnalysis() {
	return installed_analysis;
}