Mark ImmutableMap::remove/add() const.

llvm-svn: 169629
This commit is contained in:
Ted Kremenek 2012-12-07 19:44:12 +00:00
parent 54b87409b4
commit 8047dea32d
1 changed files with 2 additions and 2 deletions

View File

@ -333,12 +333,12 @@ public:
if (Root) Root->release(); if (Root) Root->release();
} }
ImmutableMapRef add(key_type_ref K, data_type_ref D) { ImmutableMapRef add(key_type_ref K, data_type_ref D) const {
TreeTy *NewT = Factory->add(Root, std::pair<key_type, data_type>(K, D)); TreeTy *NewT = Factory->add(Root, std::pair<key_type, data_type>(K, D));
return ImmutableMapRef(NewT, Factory); return ImmutableMapRef(NewT, Factory);
} }
ImmutableMapRef remove(key_type_ref K) { ImmutableMapRef remove(key_type_ref K) const {
TreeTy *NewT = Factory->remove(Root, K); TreeTy *NewT = Factory->remove(Root, K);
return ImmutableMapRef(NewT, Factory); return ImmutableMapRef(NewT, Factory);
} }