data: optimize memory of sqlite database

* use sqlite "VACUUM" after analysis to reduce memory size
* only add filename to name of local symbol
This commit is contained in:
Eberhard Graether
2016-05-31 15:49:12 +02:00
parent da01855b68
commit ab43d309cb
7 changed files with 27 additions and 3 deletions
+2
View File
@@ -69,6 +69,8 @@ public:
void startParsing();
void finishParsing();
void optimizeMemory();
// StorageAccess implementation
virtual Id getIdForNodeWithNameHierarchy(const NameHierarchy& nameHierarchy) const;
virtual Id getIdForEdge(