diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 15725:ef6b8d1898e6

Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods
author Gilles Duboscq <duboscq@ssw.jku.at>
date Sat, 17 May 2014 14:57:58 +0200
parents e3491381c424
children 7e2c87dae93e
line wrap: on
line diff