msridhar1 40a294a5e4 optimization: cache result of getMappedNodes() ... git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4173 f5eafffb-2e1d-0410-98e4-8ec43c5233c4		2011-05-05 04:15:06 +00:00
..
cast	optimization: cache result of getMappedNodes()	2011-05-05 04:15:06 +00:00