From cedef16f546b8ebf99dd6097f39e61b22a3f5ad9 Mon Sep 17 00:00:00 2001 From: Robert Widmann Date: Fri, 11 Sep 2020 13:54:39 -0600 Subject: [PATCH] [NFC] Mark SourceManager::getIDForBufferIdentifier const --- include/swift/Basic/SourceManager.h | 2 +- lib/Basic/SourceLoc.cpp | 5 ++--- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/include/swift/Basic/SourceManager.h b/include/swift/Basic/SourceManager.h index a12aa169f7c..1ec679af6d6 100644 --- a/include/swift/Basic/SourceManager.h +++ b/include/swift/Basic/SourceManager.h @@ -169,7 +169,7 @@ public: /// Returns a buffer ID for a previously added buffer with the given /// buffer identifier, or None if there is no such buffer. - Optional getIDForBufferIdentifier(StringRef BufIdentifier); + Optional getIDForBufferIdentifier(StringRef BufIdentifier) const; /// Returns the identifier for the buffer with the given ID. /// diff --git a/lib/Basic/SourceLoc.cpp b/lib/Basic/SourceLoc.cpp index ac29f693fc2..b8ade6561ef 100644 --- a/lib/Basic/SourceLoc.cpp +++ b/lib/Basic/SourceLoc.cpp @@ -152,9 +152,8 @@ SourceManager::getVirtualFile(SourceLoc Loc) const { return nullptr; } - -Optional SourceManager::getIDForBufferIdentifier( - StringRef BufIdentifier) { +Optional +SourceManager::getIDForBufferIdentifier(StringRef BufIdentifier) const { auto It = BufIdentIDMap.find(BufIdentifier); if (It == BufIdentIDMap.end()) return None;