Searched refs:getLastSourceIndex (Results 1 – 1 of 1) sorted by relevance
1028 : getLastSourceIndex(lastSourceIndex), output(output), lastSource(-1), lastLine(0) {} in SourceLineSynchronizer()1036 if (getLastSourceIndex() != lastSource) { in syncToMostRecentString()1043 lastSource = getLastSourceIndex(); in syncToMostRecentString()1070 const std::function<int()> getLastSourceIndex; member in __anon4317404b0111::SourceLineSynchronizer