Searched refs:getLastSourceIndex (Results 1 – 1 of 1) sorted by relevance
968 : getLastSourceIndex(lastSourceIndex), output(output), lastSource(-1), lastLine(0) {} in SourceLineSynchronizer()976 if (getLastSourceIndex() != lastSource) { in syncToMostRecentString()983 lastSource = getLastSourceIndex(); in syncToMostRecentString()1010 const std::function<int()> getLastSourceIndex; member in __anonf459e3b60111::SourceLineSynchronizer