Files
Tagir Valeev 53abafd8f0 DFA instruction visitor refactoring wave#1
InstructionVisitor#beforeExpressionPush method which is called before every push of PsiExpression result (were it simple reference, operation or method call)
CustomMethodHandlers: do not modify states; only return resulting value (current handlers do not produce more than one value)
Xor polyadic now supports reporting for subexpressions

(cherry picked from commit 3e4cd658e9)
2018-08-08 16:39:30 +07:00

12 lines
422 B
Java

import java.util.List;
class Some {
public static void main(String[] args) {
boolean x = true, y = true, z = true, t = true;
boolean r = <warning descr="Condition 'x ^ y ^ z ^ t' is always 'false'"><warning descr="Condition 'x ^ y ^ z' is always 'true'"><warning descr="Condition 'x ^ y' is always 'false'">x ^ y</warning> ^ z</warning> ^ t</warning>;
System.out.println("r: " + r);
}
}