diff options
author | Marius Kintel <marius@kintel.net> | 2014-02-09 22:17:10 (GMT) |
---|---|---|
committer | Marius Kintel <marius@kintel.net> | 2014-02-09 22:17:10 (GMT) |
commit | 603ce024201b22d722e1bbb41eb5cc2ae682f708 (patch) | |
tree | d652cae47d289ca5190729af33f5e182e1235529 /src/ModuleCache.h | |
parent | 65aeb0ad19a17ccb59fc29254142be0855c6e0e8 (diff) |
Cleaned up some module cache misbehaviors. Fixes #535
Diffstat (limited to 'src/ModuleCache.h')
-rw-r--r-- | src/ModuleCache.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ModuleCache.h b/src/ModuleCache.h index 7795ab7..e8a4580 100644 --- a/src/ModuleCache.h +++ b/src/ModuleCache.h @@ -10,6 +10,7 @@ public: static ModuleCache *instance() { if (!inst) inst = new ModuleCache; return inst; } class FileModule *evaluate(const std::string &filename); class FileModule *lookup(const std::string &filename); + bool isCached(const std::string &filename); size_t size() { return this->entries.size(); } void clear(); |