ctx.replaceMe(paramRef);
}
@Override
public void endVisit(JThisRef x, Context ctx) {
JParameterRef paramRef = new JParameterRef(x.getSourceInfo().makeChild(
RewriteMethodBody.class, "Reference to devirtualized instance"),
thisParam);
ctx.replaceMe(paramRef);
}