From: Brian Norris <banorris@uci.edu>
Date: Thu, 3 Jan 2013 22:30:18 +0000 (-0800)
Subject: hashtable: add const
X-Git-Tag: oopsla2013~378
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ef1f3e385c404568347ec1617d288ce85bfa74ae;p=model-checker.git

hashtable: add const
---

diff --git a/hashtable.h b/hashtable.h
index 6bf8135..016d492 100644
--- a/hashtable.h
+++ b/hashtable.h
@@ -124,7 +124,7 @@ template<typename _Key, typename _Val, typename _KeyInt, int _Shift = 0, void *
 	}
 
 	/** Lookup the corresponding value for the given key. */
-	_Val get(_Key key) {
+	_Val get(_Key key) const {
 		struct hashlistnode<_Key, _Val> *search;
 
 		unsigned int index = ((_KeyInt)key) >> _Shift;
@@ -140,7 +140,7 @@ template<typename _Key, typename _Val, typename _KeyInt, int _Shift = 0, void *
 	}
 
 	/** Check whether the table contains a value for the given key. */
-	bool contains(_Key key) {
+	bool contains(_Key key) const {
 		struct hashlistnode<_Key, _Val> *search;
 
 		unsigned int index = ((_KeyInt)key) >> _Shift;