Remove ComparisonUtils duplication
[idea/community.git] / plugins / IntentionPowerPak / src / com / siyeh / ipp / bool / DemorgansIntention.java
1 /*
2  * Copyright 2003-2014 Dave Griffith, Bas Leijdekkers
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  * http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 package com.siyeh.ipp.bool;
17
18 import com.intellij.psi.*;
19 import com.intellij.psi.tree.IElementType;
20 import com.intellij.util.IncorrectOperationException;
21 import com.siyeh.IntentionPowerPackBundle;
22 import com.siyeh.ig.psiutils.ComparisonUtils;
23 import com.siyeh.ig.psiutils.ParenthesesUtils;
24 import com.siyeh.ipp.base.MutablyNamedIntention;
25 import com.siyeh.ipp.base.PsiElementPredicate;
26 import com.siyeh.ipp.psiutils.BoolUtils;
27 import org.jetbrains.annotations.NotNull;
28
29 public class DemorgansIntention extends MutablyNamedIntention {
30
31   protected String getTextForElement(PsiElement element) {
32     final PsiPolyadicExpression binaryExpression = (PsiPolyadicExpression)element;
33     final IElementType tokenType = binaryExpression.getOperationTokenType();
34     if (tokenType.equals(JavaTokenType.ANDAND)) {
35       return IntentionPowerPackBundle.message("demorgans.intention.name1");
36     }
37     else {
38       return IntentionPowerPackBundle.message("demorgans.intention.name2");
39     }
40   }
41
42   @NotNull
43   public PsiElementPredicate getElementPredicate() {
44     return new ConjunctionPredicate();
45   }
46
47   public void processIntention(@NotNull PsiElement element) throws IncorrectOperationException {
48     final PsiPolyadicExpression polyadicExpression = (PsiPolyadicExpression)element;
49     final String newExpression = convertConjunctionExpression(polyadicExpression);
50     replaceExpressionWithNegatedExpressionString(newExpression, polyadicExpression);
51   }
52
53   private static String convertConjunctionExpression(PsiPolyadicExpression polyadicExpression) {
54     final IElementType tokenType = polyadicExpression.getOperationTokenType();
55     final boolean tokenTypeAndAnd = tokenType.equals(JavaTokenType.ANDAND);
56     final String flippedConjunction = tokenTypeAndAnd ? "||" : "&&";
57     final StringBuilder result = new StringBuilder();
58     for (PsiExpression operand : polyadicExpression.getOperands()) {
59       if (result.length() != 0) {
60         result.append(flippedConjunction);
61       }
62       result.append(convertLeafExpression(operand, tokenTypeAndAnd));
63     }
64     return result.toString();
65   }
66
67   private static String convertLeafExpression(PsiExpression expression, boolean tokenTypeAndAnd) {
68     if (BoolUtils.isNegation(expression)) {
69       final PsiExpression negatedExpression = BoolUtils.getNegated(expression);
70       if (negatedExpression == null) {
71         return "";
72       }
73       if (tokenTypeAndAnd) {
74         if (ParenthesesUtils.getPrecedence(negatedExpression) > ParenthesesUtils.OR_PRECEDENCE) {
75           return '(' + negatedExpression.getText() + ')';
76         }
77       } else if (ParenthesesUtils.getPrecedence(negatedExpression) > ParenthesesUtils.AND_PRECEDENCE) {
78         return '(' + negatedExpression.getText() + ')';
79       }
80       return negatedExpression.getText();
81     }
82     else if (ComparisonUtils.isComparison(expression)) {
83       final PsiBinaryExpression binaryExpression = (PsiBinaryExpression)expression;
84       final String negatedComparison = ComparisonUtils.getNegatedComparison(binaryExpression.getOperationTokenType());
85       final PsiExpression lhs = binaryExpression.getLOperand();
86       final PsiExpression rhs = binaryExpression.getROperand();
87       assert rhs != null;
88       return lhs.getText() + negatedComparison + rhs.getText();
89     }
90     else if (ParenthesesUtils.getPrecedence(expression) > ParenthesesUtils.PREFIX_PRECEDENCE) {
91       return "!(" + expression.getText() + ')';
92     }
93     else {
94       return '!' + expression.getText();
95     }
96   }
97 }