[cfe-commits] [PATCH] RegionStore

[Ted Kremenek]

On Oct 20, 2008, at 10:56 PM, Zhongxing Xu wrote:

> Although it's more wordy, perhaps we should rename GetSVal() to  
> GetBinding() just to make the meaning of this method more clear.
>
> Renaming suggestion for the Store interface:
>
> Bind()/Retrieve()
> SetBinding()/GetBinding()
>
>
> Better ideas?

Bind() and Retrieve() sound great (unless you think they are too  
ambiguous).  Short and sweet.  "Bind()" also follows more with  
functional programming; we're creating a new store with the binding  
added.