boolean ( PsiDoWhileStatement doWhileStatement, PsiMethod method) { final PsiStatement body = doWhileStatement.getBody(); if (statementDefinitelyRecurses(body, method)) { return true; } final PsiExpression condition = doWhileStatement.getCondition(); return expressionDefinitelyRecurses(condition, method); }