diff options
| author | Marius Kintel <marius@kintel.net> | 2010-03-29 01:31:47 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2010-10-31 00:42:35 (GMT) |
| commit | 184d0e041f6279dba5d1f6348f973478ae133a3a (patch) | |
| tree | dccc0d26fd5b14e4f5ca834290e7f588febfcbe4 /src/nodedumper.h | |
| parent | 34a8206410f049f566535b1d795b4e89950c6a6f (diff) | |
Initial implementation of CGALRenderer
Diffstat (limited to 'src/nodedumper.h')
| -rw-r--r-- | src/nodedumper.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/nodedumper.h b/src/nodedumper.h index a28b8ad..ca76814 100644 --- a/src/nodedumper.h +++ b/src/nodedumper.h @@ -21,6 +21,11 @@ public: const string &getDump() const; const NodeCache<string> &getCache() const { return this->cache; } + void clearCache() { this->cache.clear(); } + + // FIXME: Questionable design... + static NodeDumper *dumper() { return global_dumper; } + static void setDumper(NodeDumper *d) { global_dumper = d; } private: void handleVisitedChildren(const State &state, const AbstractNode &node); bool isCached(const AbstractNode &node); @@ -32,6 +37,8 @@ private: typedef list<const AbstractNode *> ChildList; map<int, ChildList> visitedchildren; NodeCache<string> cache; + + static NodeDumper *global_dumper; }; #endif |