@Override
public final R visitExecutable(AnnotatedExecutableType type, AnnotatedTypeMirror p) {
assert p instanceof AnnotatedExecutableType : p;
AnnotatedExecutableType ex = (AnnotatedExecutableType) p;
R r = scan(type.getReturnType(), ex.getReturnType());
r = scanAndReduce(type.getReceiverType(), ex.getReceiverType(), r);
r = scanAndReduce(type.getParameterTypes(), ex.getParameterTypes(), r);
r = scanAndReduce(type.getThrownTypes(), ex.getThrownTypes(), r);
r = scanAndReduce(type.getTypeVariables(), ex.getTypeVariables(), r);
return r;
}
@Override
public Void visitExecutable(AnnotatedExecutableType t, ElementKind p) {
// The following lines are from super class, except adding the
// traverse of the receiver
scan(t.getReceiverType(), p);
scan(t.getReturnType(), p);
scanAndReduce(t.getParameterTypes(), p, null);
scanAndReduce(t.getThrownTypes(), p, null);
scanAndReduce(t.getTypeVariables(), p, null);
ExecutableElement elt = t.getElement();
annotateMethod(elt, t);
return null;
}