ynkmr/Sourcetrail
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

data: Request file modification time not until storing to index for faster indexing performance

Browse Source
This commit is contained in:
Eberhard Graether
2018-08-27 17:05:38 +02:00
parent e8a4830229
commit e3e8fa1547
10 changed files with 36 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/lib/data/parser/ParserClient.h
+1 -1
View File
@@ -64,7 +64,7 @@ public:
const ParseLocation& errorLocation, const std::wstring& message, bool fatal, bool indexed, const FilePath& translationUnit);
virtual void recordLocalSymbol(const std::wstring& name, const ParseLocation& location) = 0;
virtual void recordFile(const FileInfo& fileInfo, bool indexed) = 0;
virtual void recordFile(const FilePath& filePath, bool indexed) = 0;
virtual void recordComment(const ParseLocation& location) = 0;
bool hasFatalErrors() const;