[cfe-commits] [PATCH] Rename

[Ted Kremenek]

On Oct 16, 2008, at 10:31 PM, Zhongxing Xu wrote:

> Yeah, it seems a little confusing. But other names are worse:
> AbstractVal, too long
> AVal, like nonsense.
> ProgVal, even farther way.

Yeah I agree.  I also thought of "SymVal" for symbolic value, but that  
conflates with our use of symbols.  I also thought of SemVal, for  
"semantic" value.  This one is kind of nice because it reflects that  
we are reasoning about "semantics" as opposed to "syntax".