mcs/class/System.Core/Test/System.Linq.Expressions/ExpressionTest_Equal.cs

   1 // Permission is hereby granted, free of charge, to any person obtaining
   2 // a copy of this software and associated documentation files (the
   3 // "Software"), to deal in the Software without restriction, including
   4 // without limitation the rights to use, copy, modify, merge, publish,
   5 // distribute, sublicense, and/or sell copies of the Software, and to
   6 // permit persons to whom the Software is furnished to do so, subject to
   7 // the following conditions:
   8 //
   9 // The above copyright notice and this permission notice shall be
  10 // included in all copies or substantial portions of the Software.
  11 //
  12 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  13 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  14 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  15 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  16 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  17 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  18 //
  19 // Authors:
  20 //    Miguel de Icaza (miguel@novell.com)
  21 //    Jb Evain (jbevain@novell.com)
  22 //
  23
  24 using System;
  25 using System.Reflection;
  26 using System.Linq;
  27 using System.Linq.Expressions;
  28 using NUnit.Framework;
  29
  30 namespace MonoTests.System.Linq.Expressions
  31 {
  32         [TestFixture]
  33         public class ExpressionTest_Equal
  34         {
  35                 [Test]
  36                 [ExpectedException (typeof (ArgumentNullException))]
  37                 public void Arg1Null ()
  38                 {
  39                         Expression.Equal (null, Expression.Constant (1));
  40                 }
  41
  42                 [Test]
  43                 [ExpectedException (typeof (ArgumentNullException))]
  44                 public void Arg2Null ()
  45                 {
  46                         Expression.Equal (Expression.Constant (1), null);
  47                 }
  48
  49                 [Test]
  50                 [ExpectedException (typeof (InvalidOperationException))]
  51                 public void ArgTypesDifferent ()
  52                 {
  53                         Expression.Equal (Expression.Constant (1), Expression.Constant (2.0));
  54                 }
  55
  56                 [Test]
  57                 public void ReferenceCompare ()
  58                 {
  59                         Expression.Equal (Expression.Constant (new NoOpClass ()), Expression.Constant (new NoOpClass ()));
  60                 }
  61
  62                 public struct D {
  63                 }
  64
  65                 [Test]
  66                 [ExpectedException (typeof (InvalidOperationException))]
  67                 public void NoOperatorClass ()
  68                 {
  69                         Expression.Equal (Expression.Constant (new D ()), Expression.Constant (new D ()));
  70                 }
  71
  72                 [Test]
  73                 public void Numeric ()
  74                 {
  75                         BinaryExpression expr = Expression.Equal (Expression.Constant (1), Expression.Constant (2));
  76                         Assert.AreEqual (ExpressionType.Equal, expr.NodeType);
  77                         Assert.AreEqual (typeof (bool), expr.Type);
  78                         Assert.IsNull (expr.Method);
  79 #if !NET_4_0
  80                         Assert.AreEqual ("(1 = 2)", expr.ToString ());
  81 #endif
  82                 }
  83
  84                 [Test]
  85                 public void Nullable_LiftToNull_SetToFalse ()
  86                 {
  87                         int? a = 1;
  88                         int? b = 2;
  89
  90                         BinaryExpression expr = Expression.Equal (Expression.Constant (a, typeof(int?)),
  91                                                                   Expression.Constant (b, typeof(int?)),
  92                                                                   false, null);
  93                         Assert.AreEqual (ExpressionType.Equal, expr.NodeType);
  94                         Assert.AreEqual (typeof (bool), expr.Type);
  95                         Assert.AreEqual (true, expr.IsLifted);
  96                         Assert.AreEqual (false, expr.IsLiftedToNull);
  97                         Assert.IsNull (expr.Method);
  98 #if !NET_4_0
  99                         Assert.AreEqual ("(1 = 2)", expr.ToString ());
 100 #endif
 101                 }
 102
 103                 [Test]
 104                 public void Nullable_LiftToNull_SetToTrue ()
 105                 {
 106                         int? a = 1;
 107                         int? b = 2;
 108
 109                         BinaryExpression expr = Expression.Equal (Expression.Constant (a, typeof(int?)),
 110                                                                   Expression.Constant (b, typeof(int?)),
 111                                                                   true, null);
 112                         Assert.AreEqual (ExpressionType.Equal, expr.NodeType);
 113                         Assert.AreEqual (typeof (bool?), expr.Type);
 114                         Assert.AreEqual (true, expr.IsLifted);
 115                         Assert.AreEqual (true, expr.IsLiftedToNull);
 116                         Assert.IsNull (expr.Method);
 117 #if !NET_4_0
 118                         Assert.AreEqual ("(1 = 2)", expr.ToString ());
 119 #endif
 120                 }
 121
 122                 [Test]
 123                 [ExpectedException(typeof (InvalidOperationException))]
 124                 public void Nullable_Mixed ()
 125                 {
 126                         int? a = 1;
 127                         int b = 2;
 128
 129                         Expression.Equal (Expression.Constant (a, typeof (int?)),
 130                                           Expression.Constant (b, typeof (int)));
 131                 }
 132
 133                 [Test]
 134                 public void UserDefinedClass ()
 135                 {
 136                         // We can use the simplest version of GetMethod because we already know only one
 137                         // exists in the very simple class we're using for the tests.
 138                         MethodInfo mi = typeof (OpClass).GetMethod ("op_Equality");
 139
 140                         BinaryExpression expr = Expression.Equal (Expression.Constant (new OpClass ()), Expression.Constant (new OpClass ()));
 141                         Assert.AreEqual (ExpressionType.Equal, expr.NodeType);
 142                         Assert.AreEqual (typeof (bool), expr.Type);
 143                         Assert.AreEqual (mi, expr.Method);
 144                         Assert.AreEqual ("op_Equality", expr.Method.Name);
 145 #if !NET_4_0
 146                         Assert.AreEqual ("(value(MonoTests.System.Linq.Expressions.OpClass) = value(MonoTests.System.Linq.Expressions.OpClass))", expr.ToString ());
 147 #endif
 148                 }
 149
 150                 [Test]
 151                 public void NullableInt32Equal ()
 152                 {
 153                         var l = Expression.Parameter (typeof (int?), "l");
 154                         var r = Expression.Parameter (typeof (int?), "r");
 155
 156                         var eq = Expression.Lambda<Func<int?, int?, bool>> (
 157                                 Expression.Equal (l, r), l, r).Compile ();
 158
 159                         Assert.IsTrue (eq (null, null));
 160                         Assert.IsFalse (eq (null, 1));
 161                         Assert.IsFalse (eq (1, null));
 162                         Assert.IsFalse (eq (1, 2));
 163                         Assert.IsTrue (eq (1, 1));
 164                         Assert.IsFalse (eq (null, 0));
 165                         Assert.IsFalse (eq (0, null));
 166                 }
 167
 168                 [Test]
 169                 public void NullableInt32EqualLiftedToNull ()
 170                 {
 171                         var l = Expression.Parameter (typeof (int?), "l");
 172                         var r = Expression.Parameter (typeof (int?), "r");
 173
 174                         var eq = Expression.Lambda<Func<int?, int?, bool?>> (
 175                                 Expression.Equal (l, r, true, null), l, r).Compile ();
 176
 177                         Assert.AreEqual ((bool?) null, eq (null, null));
 178                         Assert.AreEqual ((bool?) null, eq (null, 1));
 179                         Assert.AreEqual ((bool?) null, eq (1, null));
 180                         Assert.AreEqual ((bool?) false, eq (1, 2));
 181                         Assert.AreEqual ((bool?) true, eq (1, 1));
 182                         Assert.AreEqual ((bool?) null, eq (null, 0));
 183                         Assert.AreEqual ((bool?) null, eq (0, null));
 184                 }
 185
 186                 struct Slot {
 187                         public int Value;
 188
 189                         public Slot (int value)
 190                         {
 191                                 this.Value = value;
 192                         }
 193
 194                         public override bool Equals (object obj)
 195                         {
 196                                 if (!(obj is Slot))
 197                                         return false;
 198
 199                                 var other = (Slot) obj;
 200                                 return other.Value == this.Value;
 201                         }
 202
 203                         public override int GetHashCode ()
 204                         {
 205                                 return Value;
 206                         }
 207
 208                         public static bool operator == (Slot a, Slot b)
 209                         {
 210                                 return a.Value == b.Value;
 211                         }
 212
 213                         public static bool operator != (Slot a, Slot b)
 214                         {
 215                                 return a.Value != b.Value;
 216                         }
 217                 }
 218
 219                 [Test]
 220                 public void UserDefinedEqual ()
 221                 {
 222                         var l = Expression.Parameter (typeof (Slot), "l");
 223                         var r = Expression.Parameter (typeof (Slot), "r");
 224
 225                         var node = Expression.Equal (l, r);
 226
 227                         Assert.IsFalse (node.IsLifted);
 228                         Assert.IsFalse (node.IsLiftedToNull);
 229                         Assert.AreEqual (typeof (bool), node.Type);
 230                         Assert.IsNotNull (node.Method);
 231
 232                         var eq = Expression.Lambda<Func<Slot, Slot, bool>> (node, l, r).Compile ();
 233
 234                         Assert.AreEqual (true, eq (new Slot (21), new Slot (21)));
 235                         Assert.AreEqual (false, eq (new Slot (1), new Slot (-1)));
 236                 }
 237
 238                 [Test]
 239                 public void UserDefinedEqualLifted ()
 240                 {
 241                         var l = Expression.Parameter (typeof (Slot?), "l");
 242                         var r = Expression.Parameter (typeof (Slot?), "r");
 243
 244                         var node = Expression.Equal (l, r);
 245
 246                         Assert.IsTrue (node.IsLifted);
 247                         Assert.IsFalse (node.IsLiftedToNull);
 248                         Assert.AreEqual (typeof (bool), node.Type);
 249                         Assert.IsNotNull (node.Method);
 250
 251                         var eq = Expression.Lambda<Func<Slot?, Slot?, bool>> (node, l, r).Compile ();
 252
 253                         Assert.AreEqual (true, eq (null, null));
 254                         Assert.AreEqual (false, eq ((Slot?) new Slot (2), null));
 255                         Assert.AreEqual (false, eq (null, (Slot?) new Slot (2)));
 256                         Assert.AreEqual (true, eq ((Slot?) new Slot (21), (Slot?) new Slot (21)));
 257                 }
 258
 259                 [Test]
 260                 public void UserDefinedEqualLiftedToNull ()
 261                 {
 262                         var l = Expression.Parameter (typeof (Slot?), "l");
 263                         var r = Expression.Parameter (typeof (Slot?), "r");
 264
 265                         var node = Expression.Equal (l, r, true, null);
 266
 267                         Assert.IsTrue (node.IsLifted);
 268                         Assert.IsTrue (node.IsLiftedToNull);
 269                         Assert.AreEqual (typeof (bool?), node.Type);
 270                         Assert.IsNotNull (node.Method);
 271
 272                         var eq = Expression.Lambda<Func<Slot?, Slot?, bool?>> (node, l, r).Compile ();
 273
 274                         Assert.AreEqual ((bool?) null, eq (null, null));
 275                         Assert.AreEqual ((bool?) null, eq ((Slot?) new Slot (2), null));
 276                         Assert.AreEqual ((bool?) null, eq (null, (Slot?) new Slot (2)));
 277                         Assert.AreEqual ((bool?) true, eq ((Slot?) new Slot (21), (Slot?) new Slot (21)));
 278                         Assert.AreEqual ((bool?) false, eq ((Slot?) new Slot (21), (Slot?) new Slot (-21)));
 279                 }
 280
 281                 struct SlotToNullable {
 282                         public int Value;
 283
 284                         public SlotToNullable (int value)
 285                         {
 286                                 this.Value = value;
 287                         }
 288
 289                         public override int GetHashCode ()
 290                         {
 291                                 return Value;
 292                         }
 293
 294                         public override bool Equals (object obj)
 295                         {
 296                                 if (!(obj is SlotToNullable))
 297                                         return false;
 298
 299                                 var other = (SlotToNullable) obj;
 300                                 return other.Value == this.Value;
 301                         }
 302
 303                         public static bool? operator == (SlotToNullable a, SlotToNullable b)
 304                         {
 305                                 return (bool?) (a.Value == b.Value);
 306                         }
 307
 308                         public static bool? operator != (SlotToNullable a, SlotToNullable b)
 309                         {
 310                                 return (bool?) (a.Value != b.Value);
 311                         }
 312                 }
 313
 314                 [Test]
 315                 [ExpectedException (typeof (InvalidOperationException))]
 316                 public void UserDefinedToNullableEqualFromNullable ()
 317                 {
 318                         Expression.Equal (
 319                                 Expression.Parameter (typeof (SlotToNullable?), "l"),
 320                                 Expression.Parameter (typeof (SlotToNullable?), "r"));
 321                 }
 322
 323                 [Test]
 324                 public void UserDefinedToNullableEqual ()
 325                 {
 326                         var l = Expression.Parameter (typeof (SlotToNullable), "l");
 327                         var r = Expression.Parameter (typeof (SlotToNullable), "r");
 328
 329                         var node = Expression.Equal (l, r, false, null);
 330
 331                         Assert.IsFalse (node.IsLifted);
 332                         Assert.IsFalse (node.IsLiftedToNull);
 333                         Assert.AreEqual (typeof (bool?), node.Type);
 334                         Assert.IsNotNull (node.Method);
 335
 336                         var eq = Expression.Lambda<Func<SlotToNullable, SlotToNullable, bool?>> (node, l, r).Compile ();
 337
 338                         Assert.AreEqual ((bool?) true, eq (new SlotToNullable (2), new SlotToNullable (2)));
 339                         Assert.AreEqual ((bool?) false, eq (new SlotToNullable (2), new SlotToNullable (-2)));
 340                 }
 341
 342                 /*struct SlotFromNullableToNullable {
 343                         public int Value;
 344
 345                         public SlotFromNullableToNullable (int value)
 346                         {
 347                                 this.Value = value;
 348                         }
 349
 350                         public override bool Equals (object obj)
 351                         {
 352                                 if (!(obj is SlotFromNullableToNullable))
 353                                         return false;
 354
 355                                 var other = (SlotFromNullableToNullable) obj;
 356                                 return other.Value == this.Value;
 357                         }
 358
 359                         public override int GetHashCode ()
 360                         {
 361                                 return Value;
 362                         }
 363
 364                         public static bool? operator == (SlotFromNullableToNullable? a, SlotFromNullableToNullable? b)
 365                         {
 366                                 if (a.HasValue && b.HasValue)
 367                                         return (bool?) (a.Value.Value == b.Value.Value);
 368                                 else
 369                                         return null;
 370                         }
 371
 372                         public static bool? operator != (SlotFromNullableToNullable? a, SlotFromNullableToNullable? b)
 373                         {
 374                                 return !(a == b);
 375                         }
 376                 }
 377
 378                 [Test]
 379                 public void UserDefinedFromNullableToNullableEqual ()
 380                 {
 381                         var l = Expression.Parameter (typeof (SlotFromNullableToNullable?), "l");
 382                         var r = Expression.Parameter (typeof (SlotFromNullableToNullable?), "r");
 383
 384                         var node = Expression.Equal (l, r);
 385
 386                         Assert.IsFalse (node.IsLifted);
 387                         Assert.IsFalse (node.IsLiftedToNull);
 388                         Assert.AreEqual (typeof (bool?), node.Type);
 389                         Assert.IsNotNull (node.Method);
 390
 391                         var eq = Expression.Lambda<Func<SlotFromNullableToNullable?, SlotFromNullableToNullable?, bool?>> (node, l, r).Compile ();
 392
 393                         Assert.AreEqual ((bool?) null, eq (null, null));
 394                         Assert.AreEqual ((bool?) null, eq (new SlotFromNullableToNullable (2), null));
 395                         Assert.AreEqual ((bool?) null, eq (null, new SlotFromNullableToNullable (2)));
 396                         Assert.AreEqual ((bool?) true, eq (new SlotFromNullableToNullable (2), new SlotFromNullableToNullable (2)));
 397                         Assert.AreEqual ((bool?) false, eq (new SlotFromNullableToNullable (2), new SlotFromNullableToNullable (-2)));
 398                 }*/
 399
 400                 [Test]
 401                 public void NullableBoolEqualToBool ()
 402                 {
 403                         var l = Expression.Parameter (typeof (bool?), "l");
 404                         var r = Expression.Parameter (typeof (bool?), "r");
 405
 406                         var node = Expression.Equal (l, r);
 407                         Assert.IsTrue (node.IsLifted);
 408                         Assert.IsFalse (node.IsLiftedToNull);
 409                         Assert.AreEqual (typeof (bool), node.Type);
 410                         Assert.IsNull (node.Method);
 411
 412                         var eq = Expression.Lambda<Func<bool?, bool?, bool>> (node, l, r).Compile ();
 413
 414                         Assert.AreEqual (false, eq (true, null));
 415                         Assert.AreEqual (true, eq (null, null));
 416                         Assert.AreEqual (true, eq (false, false));
 417                 }
 418
 419                 public enum Foo {
 420                         Bar,
 421                         Baz,
 422                 }
 423
 424                 [Test]
 425                 public void EnumEqual ()
 426                 {
 427                         var l = Expression.Parameter (typeof (Foo), "l");
 428                         var r = Expression.Parameter (typeof (Foo), "r");
 429
 430                         var node = Expression.Equal (l, r);
 431                         Assert.IsFalse (node.IsLifted);
 432                         Assert.IsFalse (node.IsLiftedToNull);
 433                         Assert.AreEqual (typeof (bool), node.Type);
 434                         Assert.IsNull (node.Method);
 435
 436                         var eq = Expression.Lambda<Func<Foo, Foo, bool>> (node, l, r).Compile ();
 437
 438                         Assert.AreEqual (true, eq (Foo.Bar, Foo.Bar));
 439                         Assert.AreEqual (false, eq (Foo.Bar, Foo.Baz));
 440                 }
 441
 442                 [Test]
 443                 public void LiftedEnumEqual ()
 444                 {
 445                         var l = Expression.Parameter (typeof (Foo?), "l");
 446                         var r = Expression.Parameter (typeof (Foo?), "r");
 447
 448                         var node = Expression.Equal (l, r);
 449                         Assert.IsTrue (node.IsLifted);
 450                         Assert.IsFalse (node.IsLiftedToNull);
 451                         Assert.AreEqual (typeof (bool), node.Type);
 452                         Assert.IsNull (node.Method);
 453
 454                         var eq = Expression.Lambda<Func<Foo?, Foo?, bool>> (node, l, r).Compile ();
 455
 456                         Assert.AreEqual (true, eq (Foo.Bar, Foo.Bar));
 457                         Assert.AreEqual (false, eq (Foo.Bar, Foo.Baz));
 458                         Assert.AreEqual (false, eq (Foo.Bar, null));
 459                         Assert.AreEqual (true, eq (null, null));
 460                 }
 461
 462                 [Test]
 463                 public void NullableNullEqual ()
 464                 {
 465                         var param = Expression.Parameter (typeof (DateTime?), "x");
 466
 467                         var node = Expression.Equal (param, Expression.Constant (null));
 468
 469                         Assert.IsTrue (node.IsLifted);
 470                         Assert.IsFalse (node.IsLiftedToNull);
 471                         Assert.AreEqual (typeof (bool), node.Type);
 472                         Assert.IsNull (node.Method);
 473
 474                         var eq = Expression.Lambda<Func<DateTime?, bool>> (node, new [] { param }).Compile ();
 475
 476                         Assert.AreEqual (true, eq (null));
 477                         Assert.AreEqual (false, eq (DateTime.Now));
 478                 }
 479         }
 480 }