diff mx/JUnitWrapper.java @ 9544:5bf09c5cd2e6

ReadNode/PiPush: compute declaring class by field offset instead of obtaining it through the LocationIdentity
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 03 May 2013 16:30:39 +0200
parents 94d98d334ccd
children f38f746f4980
line wrap: on
line diff