christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

prune-trace: list available pruners

Browse Source 
By using the AliasedRegistry, "prune-trace --help" (and
"prune-trace -p '?'") now lists all available Pruners to the user.

Change-Id: Ib5e3d00aabc37e6d48d804d2d709812af3f7efb2
This commit is contained in:
Horst Schirmeier
2014-08-28 13:28:44 +02:00
parent f98871dd5a
commit 89817cf13f
4 changed files with 50 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
tools/prune-trace/BasicPruner.hpp
View File

@ -9,6 +9,20 @@ public:
BasicPruner(bool use_instr1 = false) : use_instr1(use_instr1) {}
virtual std::string method_name() { return std::string("basic") + (use_instr1 ? "-left" : ""); }
virtual bool prune_all();
void getAliases(std::deque<std::string> *aliases) {
aliases->push_back("BasicPruner");
aliases->push_back("basic");
}
};
class BasicPrunerLeft : public BasicPruner {
public:
BasicPrunerLeft() : BasicPruner(true) {}
void getAliases(std::deque<std::string> *aliases) {
aliases->push_back("BasicPrunerLeft");
aliases->push_back("basic-left");
}
};
#endif