commit e36b956869569f096c03e2595d233e578284dd4f
author cbateman <cbateman> Tue Jan 27 22:49:56 2009 +0000
committer cbateman <cbateman> Tue Jan 27 22:49:56 2009 +0000
tree ea7980bc0be898ba58bf7762e2c5854dc270ad8a
parent 58d26f2eff6c107d332db56a7505df8957cb4b8f

Fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=235637.  There was confusion in comparison with null that caused all comparisons with null to be flagged.

jsf/plugins/org.eclipse.jst.jsf.core/src/org/eclipse/jst/jsf/validation/internal/el/operators/EqualityRelationalBinaryOperator.java

diff --git a/jsf/plugins/org.eclipse.jst.jsf.core/src/org/eclipse/jst/jsf/validation/internal/el/operators/EqualityRelationalBinaryOperator.java b/jsf/plugins/org.eclipse.jst.jsf.core/src/org/eclipse/jst/jsf/validation/internal/el/operators/EqualityRelationalBinaryOperator.java
index fcfca03..dcefc2e 100644
--- a/jsf/plugins/org.eclipse.jst.jsf.core/src/org/eclipse/jst/jsf/validation/internal/el/operators/EqualityRelationalBinaryOperator.java
+++ b/jsf/plugins/org.eclipse.jst.jsf.core/src/org/eclipse/jst/jsf/validation/internal/el/operators/EqualityRelationalBinaryOperator.java
@@ -55,11 +55,12 @@
      */
     public ValueType performOperation(ValueType firstArg, ValueType secondArg) 
     {
-        // JSP.2.3.5.7 step 2 if either operand is null, then not equal
+        // JSP.2.3.5.7 step 1 if operands are equal, then true for ==, false for !=
         if (TypeCoercer.typeIsNull(firstArg.getSignature())
-                || TypeCoercer.typeIsNull(secondArg.getSignature()))
+                && TypeCoercer.typeIsNull(secondArg.getSignature()))
         {
-            return BooleanLiteralType.FALSE;
+            // perform the operation on two arguments that are equal.
+            return BooleanLiteralType.valueOf(doRealOperation(Integer.valueOf(4), Integer.valueOf(4)));
         }
         
         String boxedFirstType = TypeTransformer.transformBoxPrimitives(firstArg.getSignature());
@@ -128,7 +129,7 @@
         }
         
         // otherwise, an equal compare will be done A.equals(B).  Since 
-        return new ValueType(TypeConstants.TYPE_BOOLEAN, IAssignable.ASSIGNMENT_TYPE_RHS);        
+        return new ValueType(TypeConstants.TYPE_BOOLEAN, IAssignable.ASSIGNMENT_TYPE_RHS);
     }
 
     private ValueType handleEnumComparison(ValueType firstArg,
@@ -195,10 +196,10 @@
         
         // JSP.2.3.5.7 step 2 if either operand is null, then not equal
         if (TypeCoercer.typeIsNull(firstArg.getSignature())
-                || TypeCoercer.typeIsNull(secondArg.getSignature()))
+                && TypeCoercer.typeIsNull(secondArg.getSignature()))
         {
-            // TODO: this is a strange thing to do...
-            final boolean result = doRealOperation(Integer.valueOf(4), null);
+            // perform the operation on two arguments that are equal.
+            final boolean result = doRealOperation(Integer.valueOf(4), Integer.valueOf(4));
             return _diagnosticFactory.create_BINARY_OP_EQUALITY_COMP_WITH_NULL_ALWAYS_EVAL_SAME(Boolean.toString(result));
         }