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:
9 // The above copyright notice and this permission notice shall be
10 // included in all copies or substantial portions of the Software.
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
20 // Miguel de Icaza (miguel@novell.com)
21 // Jb Evain (jbevain@novell.com)
25 using System.Reflection;
27 using System.Linq.Expressions;
28 using NUnit.Framework;
30 namespace MonoTests.System.Linq.Expressions
33 public class ExpressionTest_Equal
36 [ExpectedException (typeof (ArgumentNullException))]
37 public void Arg1Null ()
39 Expression.Equal (null, Expression.Constant (1));
43 [ExpectedException (typeof (ArgumentNullException))]
44 public void Arg2Null ()
46 Expression.Equal (Expression.Constant (1), null);
50 [ExpectedException (typeof (InvalidOperationException))]
51 public void ArgTypesDifferent ()
53 Expression.Equal (Expression.Constant (1), Expression.Constant (2.0));
57 public void ReferenceCompare ()
59 Expression.Equal (Expression.Constant (new NoOpClass ()), Expression.Constant (new NoOpClass ()));
66 [ExpectedException (typeof (InvalidOperationException))]
67 public void NoOperatorClass ()
69 Expression.Equal (Expression.Constant (new D ()), Expression.Constant (new D ()));
73 public void Numeric ()
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);
80 Assert.AreEqual ("(1 = 2)", expr.ToString ());
85 public void PrimitiveNonNumeric ()
87 BinaryExpression expr = Expression.Equal (Expression.Constant ('a'), Expression.Constant ('b'));
88 Assert.AreEqual (ExpressionType.Equal, expr.NodeType);
89 Assert.AreEqual (typeof (bool), expr.Type);
90 Assert.IsNull (expr.Method);
92 var eq = Expression.Lambda<Func<bool>> (expr).Compile ();
93 Assert.IsFalse (eq ());
97 public void Nullable_LiftToNull_SetToFalse ()
102 BinaryExpression expr = Expression.Equal (Expression.Constant (a, typeof(int?)),
103 Expression.Constant (b, typeof(int?)),
105 Assert.AreEqual (ExpressionType.Equal, expr.NodeType);
106 Assert.AreEqual (typeof (bool), expr.Type);
107 Assert.AreEqual (true, expr.IsLifted);
108 Assert.AreEqual (false, expr.IsLiftedToNull);
109 Assert.IsNull (expr.Method);
111 Assert.AreEqual ("(1 = 2)", expr.ToString ());
116 public void Nullable_LiftToNull_SetToTrue ()
121 BinaryExpression expr = Expression.Equal (Expression.Constant (a, typeof(int?)),
122 Expression.Constant (b, typeof(int?)),
124 Assert.AreEqual (ExpressionType.Equal, expr.NodeType);
125 Assert.AreEqual (typeof (bool?), expr.Type);
126 Assert.AreEqual (true, expr.IsLifted);
127 Assert.AreEqual (true, expr.IsLiftedToNull);
128 Assert.IsNull (expr.Method);
130 Assert.AreEqual ("(1 = 2)", expr.ToString ());
135 [ExpectedException(typeof (InvalidOperationException))]
136 public void Nullable_Mixed ()
141 Expression.Equal (Expression.Constant (a, typeof (int?)),
142 Expression.Constant (b, typeof (int)));
146 public void UserDefinedClass ()
148 // We can use the simplest version of GetMethod because we already know only one
149 // exists in the very simple class we're using for the tests.
150 MethodInfo mi = typeof (OpClass).GetMethod ("op_Equality");
152 BinaryExpression expr = Expression.Equal (Expression.Constant (new OpClass ()), Expression.Constant (new OpClass ()));
153 Assert.AreEqual (ExpressionType.Equal, expr.NodeType);
154 Assert.AreEqual (typeof (bool), expr.Type);
155 Assert.AreEqual (mi, expr.Method);
156 Assert.AreEqual ("op_Equality", expr.Method.Name);
158 Assert.AreEqual ("(value(MonoTests.System.Linq.Expressions.OpClass) = value(MonoTests.System.Linq.Expressions.OpClass))", expr.ToString ());
163 public void NullableInt32Equal ()
165 var l = Expression.Parameter (typeof (int?), "l");
166 var r = Expression.Parameter (typeof (int?), "r");
168 var eq = Expression.Lambda<Func<int?, int?, bool>> (
169 Expression.Equal (l, r), l, r).Compile ();
171 Assert.IsTrue (eq (null, null));
172 Assert.IsFalse (eq (null, 1));
173 Assert.IsFalse (eq (1, null));
174 Assert.IsFalse (eq (1, 2));
175 Assert.IsTrue (eq (1, 1));
176 Assert.IsFalse (eq (null, 0));
177 Assert.IsFalse (eq (0, null));
181 public void NullableInt32EqualLiftedToNull ()
183 var l = Expression.Parameter (typeof (int?), "l");
184 var r = Expression.Parameter (typeof (int?), "r");
186 var eq = Expression.Lambda<Func<int?, int?, bool?>> (
187 Expression.Equal (l, r, true, null), l, r).Compile ();
189 Assert.AreEqual ((bool?) null, eq (null, null));
190 Assert.AreEqual ((bool?) null, eq (null, 1));
191 Assert.AreEqual ((bool?) null, eq (1, null));
192 Assert.AreEqual ((bool?) false, eq (1, 2));
193 Assert.AreEqual ((bool?) true, eq (1, 1));
194 Assert.AreEqual ((bool?) null, eq (null, 0));
195 Assert.AreEqual ((bool?) null, eq (0, null));
201 public Slot (int value)
206 public override bool Equals (object obj)
211 var other = (Slot) obj;
212 return other.Value == this.Value;
215 public override int GetHashCode ()
220 public static bool operator == (Slot a, Slot b)
222 return a.Value == b.Value;
225 public static bool operator != (Slot a, Slot b)
227 return a.Value != b.Value;
232 public void UserDefinedEqual ()
234 var l = Expression.Parameter (typeof (Slot), "l");
235 var r = Expression.Parameter (typeof (Slot), "r");
237 var node = Expression.Equal (l, r);
239 Assert.IsFalse (node.IsLifted);
240 Assert.IsFalse (node.IsLiftedToNull);
241 Assert.AreEqual (typeof (bool), node.Type);
242 Assert.IsNotNull (node.Method);
244 var eq = Expression.Lambda<Func<Slot, Slot, bool>> (node, l, r).Compile ();
246 Assert.AreEqual (true, eq (new Slot (21), new Slot (21)));
247 Assert.AreEqual (false, eq (new Slot (1), new Slot (-1)));
251 [Category ("NotWorkingInterpreter")]
252 public void UserDefinedEqualLifted ()
254 var l = Expression.Parameter (typeof (Slot?), "l");
255 var r = Expression.Parameter (typeof (Slot?), "r");
257 var node = Expression.Equal (l, r);
259 Assert.IsTrue (node.IsLifted);
260 Assert.IsFalse (node.IsLiftedToNull);
261 Assert.AreEqual (typeof (bool), node.Type);
262 Assert.IsNotNull (node.Method);
264 var eq = Expression.Lambda<Func<Slot?, Slot?, bool>> (node, l, r).Compile ();
266 Assert.AreEqual (true, eq (null, null));
267 Assert.AreEqual (false, eq ((Slot?) new Slot (2), null));
268 Assert.AreEqual (false, eq (null, (Slot?) new Slot (2)));
269 Assert.AreEqual (true, eq ((Slot?) new Slot (21), (Slot?) new Slot (21)));
273 [Category ("NotWorkingInterpreter")]
274 public void UserDefinedEqualLiftedToNull ()
276 var l = Expression.Parameter (typeof (Slot?), "l");
277 var r = Expression.Parameter (typeof (Slot?), "r");
279 var node = Expression.Equal (l, r, true, null);
281 Assert.IsTrue (node.IsLifted);
282 Assert.IsTrue (node.IsLiftedToNull);
283 Assert.AreEqual (typeof (bool?), node.Type);
284 Assert.IsNotNull (node.Method);
286 var eq = Expression.Lambda<Func<Slot?, Slot?, bool?>> (node, l, r).Compile ();
288 Assert.AreEqual ((bool?) null, eq (null, null));
289 Assert.AreEqual ((bool?) null, eq ((Slot?) new Slot (2), null));
290 Assert.AreEqual ((bool?) null, eq (null, (Slot?) new Slot (2)));
291 Assert.AreEqual ((bool?) true, eq ((Slot?) new Slot (21), (Slot?) new Slot (21)));
292 Assert.AreEqual ((bool?) false, eq ((Slot?) new Slot (21), (Slot?) new Slot (-21)));
295 struct SlotToNullable {
298 public SlotToNullable (int value)
303 public override int GetHashCode ()
308 public override bool Equals (object obj)
310 if (!(obj is SlotToNullable))
313 var other = (SlotToNullable) obj;
314 return other.Value == this.Value;
317 public static bool? operator == (SlotToNullable a, SlotToNullable b)
319 return (bool?) (a.Value == b.Value);
322 public static bool? operator != (SlotToNullable a, SlotToNullable b)
324 return (bool?) (a.Value != b.Value);
329 [ExpectedException (typeof (InvalidOperationException))]
330 public void UserDefinedToNullableEqualFromNullable ()
333 Expression.Parameter (typeof (SlotToNullable?), "l"),
334 Expression.Parameter (typeof (SlotToNullable?), "r"));
338 public void UserDefinedToNullableEqual ()
340 var l = Expression.Parameter (typeof (SlotToNullable), "l");
341 var r = Expression.Parameter (typeof (SlotToNullable), "r");
343 var node = Expression.Equal (l, r, false, null);
345 Assert.IsFalse (node.IsLifted);
346 Assert.IsFalse (node.IsLiftedToNull);
347 Assert.AreEqual (typeof (bool?), node.Type);
348 Assert.IsNotNull (node.Method);
350 var eq = Expression.Lambda<Func<SlotToNullable, SlotToNullable, bool?>> (node, l, r).Compile ();
352 Assert.AreEqual ((bool?) true, eq (new SlotToNullable (2), new SlotToNullable (2)));
353 Assert.AreEqual ((bool?) false, eq (new SlotToNullable (2), new SlotToNullable (-2)));
356 /*struct SlotFromNullableToNullable {
359 public SlotFromNullableToNullable (int value)
364 public override bool Equals (object obj)
366 if (!(obj is SlotFromNullableToNullable))
369 var other = (SlotFromNullableToNullable) obj;
370 return other.Value == this.Value;
373 public override int GetHashCode ()
378 public static bool? operator == (SlotFromNullableToNullable? a, SlotFromNullableToNullable? b)
380 if (a.HasValue && b.HasValue)
381 return (bool?) (a.Value.Value == b.Value.Value);
386 public static bool? operator != (SlotFromNullableToNullable? a, SlotFromNullableToNullable? b)
393 public void UserDefinedFromNullableToNullableEqual ()
395 var l = Expression.Parameter (typeof (SlotFromNullableToNullable?), "l");
396 var r = Expression.Parameter (typeof (SlotFromNullableToNullable?), "r");
398 var node = Expression.Equal (l, r);
400 Assert.IsFalse (node.IsLifted);
401 Assert.IsFalse (node.IsLiftedToNull);
402 Assert.AreEqual (typeof (bool?), node.Type);
403 Assert.IsNotNull (node.Method);
405 var eq = Expression.Lambda<Func<SlotFromNullableToNullable?, SlotFromNullableToNullable?, bool?>> (node, l, r).Compile ();
407 Assert.AreEqual ((bool?) null, eq (null, null));
408 Assert.AreEqual ((bool?) null, eq (new SlotFromNullableToNullable (2), null));
409 Assert.AreEqual ((bool?) null, eq (null, new SlotFromNullableToNullable (2)));
410 Assert.AreEqual ((bool?) true, eq (new SlotFromNullableToNullable (2), new SlotFromNullableToNullable (2)));
411 Assert.AreEqual ((bool?) false, eq (new SlotFromNullableToNullable (2), new SlotFromNullableToNullable (-2)));
415 public void NullableBoolEqualToBool ()
417 var l = Expression.Parameter (typeof (bool?), "l");
418 var r = Expression.Parameter (typeof (bool?), "r");
420 var node = Expression.Equal (l, r);
421 Assert.IsTrue (node.IsLifted);
422 Assert.IsFalse (node.IsLiftedToNull);
423 Assert.AreEqual (typeof (bool), node.Type);
424 Assert.IsNull (node.Method);
426 var eq = Expression.Lambda<Func<bool?, bool?, bool>> (node, l, r).Compile ();
428 Assert.AreEqual (false, eq (true, null));
429 Assert.AreEqual (true, eq (null, null));
430 Assert.AreEqual (true, eq (false, false));
439 public void EnumEqual ()
441 var l = Expression.Parameter (typeof (Foo), "l");
442 var r = Expression.Parameter (typeof (Foo), "r");
444 var node = Expression.Equal (l, r);
445 Assert.IsFalse (node.IsLifted);
446 Assert.IsFalse (node.IsLiftedToNull);
447 Assert.AreEqual (typeof (bool), node.Type);
448 Assert.IsNull (node.Method);
450 var eq = Expression.Lambda<Func<Foo, Foo, bool>> (node, l, r).Compile ();
452 Assert.AreEqual (true, eq (Foo.Bar, Foo.Bar));
453 Assert.AreEqual (false, eq (Foo.Bar, Foo.Baz));
457 public void LiftedEnumEqual ()
459 var l = Expression.Parameter (typeof (Foo?), "l");
460 var r = Expression.Parameter (typeof (Foo?), "r");
462 var node = Expression.Equal (l, r);
463 Assert.IsTrue (node.IsLifted);
464 Assert.IsFalse (node.IsLiftedToNull);
465 Assert.AreEqual (typeof (bool), node.Type);
466 Assert.IsNull (node.Method);
468 var eq = Expression.Lambda<Func<Foo?, Foo?, bool>> (node, l, r).Compile ();
470 Assert.AreEqual (true, eq (Foo.Bar, Foo.Bar));
471 Assert.AreEqual (false, eq (Foo.Bar, Foo.Baz));
472 Assert.AreEqual (false, eq (Foo.Bar, null));
473 Assert.AreEqual (true, eq (null, null));
477 [Category ("NotWorkingInterpreter")]
478 public void NullableNullEqual ()
480 var param = Expression.Parameter (typeof (DateTime?), "x");
482 var node = Expression.Equal (param, Expression.Constant (null));
484 Assert.IsTrue (node.IsLifted);
485 Assert.IsFalse (node.IsLiftedToNull);
486 Assert.AreEqual (typeof (bool), node.Type);
487 Assert.IsNull (node.Method);
489 var eq = Expression.Lambda<Func<DateTime?, bool>> (node, new [] { param }).Compile ();
491 Assert.AreEqual (true, eq (null));
492 Assert.AreEqual (false, eq (DateTime.Now));