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

   1 //
   2 // ExpressionTest_Negate.cs
   3 //
   4 // Author:
   5 //   Jb Evain (jbevain@novell.com)
   6 //
   7 // (C) 2008 Novell, Inc. (http://www.novell.com)
   8 //
   9 // Permission is hereby granted, free of charge, to any person obtaining
  10 // a copy of this software and associated documentation files (the
  11 // "Software"), to deal in the Software without restriction, including
  12 // without limitation the rights to use, copy, modify, merge, publish,
  13 // distribute, sublicense, and/or sell copies of the Software, and to
  14 // permit persons to whom the Software is furnished to do so, subject to
  15 // the following conditions:
  16 //
  17 // The above copyright notice and this permission notice shall be
  18 // included in all copies or substantial portions of the Software.
  19 //
  20 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  21 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  22 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  23 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  24 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  25 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  26 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  27 //
  28
  29 using System;
  30 using System.Reflection;
  31 using System.Linq;
  32 using System.Linq.Expressions;
  33 using NUnit.Framework;
  34
  35 namespace MonoTests.System.Linq.Expressions
  36 {
  37         [TestFixture]
  38         public class ExpressionTest_Negate
  39         {
  40                 [Test]
  41                 [ExpectedException (typeof (ArgumentNullException))]
  42                 public void Arg1Null ()
  43                 {
  44                         Expression.Negate (null);
  45                 }
  46
  47                 [Test]
  48                 [ExpectedException (typeof (ArgumentException))]
  49                 public void MethodArgNotStatic ()
  50                 {
  51                         Expression.Negate (Expression.Constant (new object ()), typeof (OpClass).GetMethod ("WrongUnaryNotStatic"));
  52                 }
  53
  54                 [Test]
  55                 [ExpectedException (typeof (ArgumentException))]
  56                 public void MethodArgParameterCount ()
  57                 {
  58                         Expression.Negate (Expression.Constant (new object ()), typeof (OpClass).GetMethod ("WrongUnaryParameterCount"));
  59                 }
  60
  61                 [Test]
  62                 [ExpectedException (typeof (ArgumentException))]
  63                 public void MethodArgReturnsVoid ()
  64                 {
  65                         Expression.Negate (Expression.Constant (new object ()), typeof (OpClass).GetMethod ("WrongUnaryReturnVoid"));
  66                 }
  67
  68                 [Test]
  69                 [ExpectedException (typeof (InvalidOperationException))]
  70                 public void NegateBool ()
  71                 {
  72                         Expression.Negate (true.ToConstant ());
  73                 }
  74
  75                 [Test]
  76                 public void Number ()
  77                 {
  78                         var up = Expression.Negate (Expression.Constant (1));
  79                         Assert.AreEqual ("-1", up.ToString ());
  80                 }
  81
  82                 [Test]
  83                 public void UserDefinedClass ()
  84                 {
  85                         var mi = typeof (OpClass).GetMethod ("op_UnaryNegation");
  86
  87                         var expr = Expression.Negate (Expression.Constant (new OpClass ()));
  88                         Assert.AreEqual (ExpressionType.Negate, expr.NodeType);
  89                         Assert.AreEqual (typeof (OpClass), expr.Type);
  90                         Assert.AreEqual (mi, expr.Method);
  91                         Assert.AreEqual ("op_UnaryNegation", expr.Method.Name);
  92                         Assert.AreEqual ("-value(MonoTests.System.Linq.Expressions.OpClass)",   expr.ToString ());
  93                 }
  94
  95                 [Test]
  96                 public void NegateNullableInt32 ()
  97                 {
  98                         var n = Expression.Negate (Expression.Parameter (typeof (int?), ""));
  99                         Assert.AreEqual (typeof (int?), n.Type);
 100                         Assert.IsTrue (n.IsLifted);
 101                         Assert.IsTrue (n.IsLiftedToNull);
 102                         Assert.IsNull (n.Method);
 103                 }
 104
 105                 [Test]
 106                 public void CompileNegateInt32 ()
 107                 {
 108                         var p = Expression.Parameter (typeof (int), "i");
 109                         var negate = Expression.Lambda<Func<int, int>> (Expression.Negate (p), p).Compile ();
 110
 111                         Assert.AreEqual (-2, negate (2));
 112                         Assert.AreEqual (0, negate (0));
 113                         Assert.AreEqual (3, negate (-3));
 114                 }
 115
 116                 [Test]
 117                 public void CompiledNegateNullableInt32 ()
 118                 {
 119                         var p = Expression.Parameter (typeof (int?), "i");
 120                         var negate = Expression.Lambda<Func<int?, int?>> (Expression.Negate (p), p).Compile ();
 121
 122                         Assert.AreEqual (null, negate (null));
 123                         Assert.AreEqual ((int?) -2, negate (2));
 124                         Assert.AreEqual ((int?) 0, negate (0));
 125                         Assert.AreEqual ((int?) 3, negate (-3));
 126                 }
 127
 128                 struct Slot {
 129                         public int Value;
 130
 131                         public Slot (int value)
 132                         {
 133                                 this.Value = value;
 134                         }
 135
 136                         public static Slot operator - (Slot s)
 137                         {
 138                                 return new Slot (-s.Value);
 139                         }
 140                 }
 141
 142                 [Test]
 143                 public void UserDefinedNegate ()
 144                 {
 145                         var s = Expression.Parameter (typeof (Slot), "s");
 146                         var node = Expression.Negate (s);
 147                         Assert.IsFalse (node.IsLifted);
 148                         Assert.IsFalse (node.IsLiftedToNull);
 149                         Assert.AreEqual (typeof (Slot), node.Type);
 150
 151                         var negate = Expression.Lambda<Func<Slot, Slot>> (node, s).Compile ();
 152
 153                         Assert.AreEqual (new Slot (-2), negate (new Slot (2)));
 154                         Assert.AreEqual (new Slot (42), negate (new Slot (-42)));
 155                 }
 156
 157                 [Test]
 158                 [Category ("NotWorkingInterpreter")]
 159                 public void UserDefinedNotNullableNegateNullable ()
 160                 {
 161                         var s = Expression.Parameter (typeof (Slot?), "s");
 162                         var node = Expression.Negate (s);
 163                         Assert.IsTrue (node.IsLifted);
 164                         Assert.IsTrue (node.IsLiftedToNull);
 165                         Assert.AreEqual (typeof (Slot?), node.Type);
 166
 167                         var negate = Expression.Lambda<Func<Slot?, Slot?>> (node, s).Compile ();
 168
 169                         Assert.AreEqual (null, negate (null));
 170                         Assert.AreEqual (new Slot (42), negate (new Slot (-42)));
 171                         Assert.AreEqual (new Slot (-2), negate (new Slot (2)));
 172                 }
 173
 174                 struct SlotToNullable {
 175                         public int Value;
 176
 177                         public SlotToNullable (int value)
 178                         {
 179                                 this.Value = value;
 180                         }
 181
 182                         public static SlotToNullable? operator - (SlotToNullable s)
 183                         {
 184                                 return new SlotToNullable (-s.Value);
 185                         }
 186                 }
 187
 188                 [Test]
 189                 [ExpectedException (typeof (InvalidOperationException))]
 190                 public void UserDefinedToNullableNegateFromNullable ()
 191                 {
 192                         Expression.Negate (Expression.Parameter (typeof (SlotToNullable?), "s"));
 193                 }
 194
 195                 [Test]
 196                 public void UserDefinedToNullableNegateNullable ()
 197                 {
 198                         var s = Expression.Parameter (typeof (SlotToNullable), "s");
 199                         var node = Expression.Negate (s);
 200                         Assert.IsFalse (node.IsLifted);
 201                         Assert.IsFalse (node.IsLiftedToNull);
 202                         Assert.AreEqual (typeof (SlotToNullable?), node.Type);
 203
 204                         var negate = Expression.Lambda<Func<SlotToNullable, SlotToNullable?>> (node, s).Compile ();
 205
 206                         Assert.AreEqual ((SlotToNullable?) new SlotToNullable (42), negate (new SlotToNullable (-42)));
 207                         Assert.AreEqual ((SlotToNullable?) new SlotToNullable (-2), negate (new SlotToNullable (2)));
 208                 }
 209
 210                 struct SlotFromNullable {
 211                         public int Value;
 212
 213                         public SlotFromNullable (int value)
 214                         {
 215                                 this.Value = value;
 216                         }
 217
 218                         public static SlotFromNullable operator - (SlotFromNullable? s)
 219                         {
 220                                 if (s.HasValue)
 221                                         return new SlotFromNullable (-s.Value.Value);
 222                                 else
 223                                         return new SlotFromNullable (-1);
 224                         }
 225                 }
 226
 227                 [Test]
 228                 public void UserDefinedNegateFromNullable ()
 229                 {
 230                         var s = Expression.Parameter (typeof (SlotFromNullable?), "s");
 231                         var node = Expression.Negate (s);
 232                         Assert.IsFalse (node.IsLifted);
 233                         Assert.IsFalse (node.IsLiftedToNull);
 234                         Assert.AreEqual (typeof (SlotFromNullable), node.Type);
 235
 236                         var negate = Expression.Lambda<Func<SlotFromNullable?, SlotFromNullable>> (node, s).Compile ();
 237
 238                         Assert.AreEqual (new SlotFromNullable (-2), negate (new SlotFromNullable (2)));
 239                         Assert.AreEqual (new SlotFromNullable (42), negate (new SlotFromNullable (-42)));
 240                         Assert.AreEqual (new SlotFromNullable (-1), negate (null));
 241                 }
 242
 243                 struct SlotFromNullableToNullable {
 244                         public int Value;
 245
 246                         public SlotFromNullableToNullable (int value)
 247                         {
 248                                 this.Value = value;
 249                         }
 250
 251                         public static SlotFromNullableToNullable? operator - (SlotFromNullableToNullable? s)
 252                         {
 253                                 if (s.HasValue)
 254                                         return new SlotFromNullableToNullable (-s.Value.Value);
 255                                 else
 256                                         return s;
 257                         }
 258                 }
 259
 260                 [Test]
 261                 public void UserDefinedNegateFromNullableNotNullable ()
 262                 {
 263                         var s = Expression.Parameter (typeof (SlotFromNullableToNullable?), "s");
 264                         var node = Expression.Negate (s);
 265                         Assert.IsFalse (node.IsLifted);
 266                         Assert.IsFalse (node.IsLiftedToNull);
 267                         Assert.AreEqual (typeof (SlotFromNullableToNullable?), node.Type);
 268
 269                         var negate = Expression.Lambda<Func<SlotFromNullableToNullable?, SlotFromNullableToNullable?>> (
 270                                 node, s).Compile ();
 271
 272                         Assert.AreEqual (new SlotFromNullableToNullable (-2), negate (new SlotFromNullableToNullable (2)));
 273                         Assert.AreEqual (new SlotFromNullableToNullable (42), negate (new SlotFromNullableToNullable (-42)));
 274                         Assert.AreEqual (null, negate (null));
 275                 }
 276
 277                 [Test]
 278                 public void NegateDecimal ()
 279                 {
 280                         var d = Expression.Parameter (typeof (decimal), "l");
 281
 282                         var meth = typeof (decimal).GetMethod ("op_UnaryNegation", new [] { typeof (decimal) });
 283
 284                         var node = Expression.Negate (d);
 285                         Assert.IsFalse (node.IsLifted);
 286                         Assert.IsFalse (node.IsLiftedToNull);
 287                         Assert.AreEqual (typeof (decimal), node.Type);
 288                         Assert.AreEqual (meth, node.Method);
 289
 290                         var neg = Expression.Lambda<Func<decimal, decimal>> (node, d).Compile ();
 291
 292                         Assert.AreEqual (-2m, neg (2m));
 293                 }
 294
 295                 [Test]
 296                 [Category ("NotWorkingInterpreter")]
 297                 public void NegateLiftedDecimal ()
 298                 {
 299                         var d = Expression.Parameter (typeof (decimal?), "l");
 300
 301                         var meth = typeof (decimal).GetMethod ("op_UnaryNegation", new [] { typeof (decimal) });
 302
 303                         var node = Expression.Negate (d);
 304                         Assert.IsTrue (node.IsLifted);
 305                         Assert.IsTrue (node.IsLiftedToNull);
 306                         Assert.AreEqual (typeof (decimal?), node.Type);
 307                         Assert.AreEqual (meth, node.Method);
 308
 309                         var neg = Expression.Lambda<Func<decimal?, decimal?>> (node, d).Compile ();
 310
 311                         Assert.AreEqual (-2m, neg (2m));
 312                         Assert.AreEqual (null, neg (null));
 313                 }
 314         }
 315 }