return false;
}
}
// For switch members with no statements, don't visit the children, otherwise, return false if
// no return is found in the children statements
if (!switchMember.getStatements().isEmpty() && !switchMember.accept(this)) {
return false;
}
}
return hasDefault;
} finally {