Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/spec-checker-compiler
[cdsspec-compiler.git] / plugins.h
1 #ifndef PLUGINS_H
2 #define PLUGINS_H
3 #include "traceanalysis.h"
4 #include "stl-model.h"
5
6 void register_plugins();
7 ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis();
8 ModelVector<TraceAnalysis *> * getInstalledTraceAnalysis();
9
10 #endif