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.UnaryPlus (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                 public void UserDefinedNotNullableNegateNullable ()
 159                 {
 160                         var s = Expression.Parameter (typeof (Slot?), "s");
 161                         var node = Expression.Negate (s);
 162                         Assert.IsTrue (node.IsLifted);
 163                         Assert.IsTrue (node.IsLiftedToNull);
 164                         Assert.AreEqual (typeof (Slot?), node.Type);
 165
 166                         var negate = Expression.Lambda<Func<Slot?, Slot?>> (node, s).Compile ();
 167
 168                         Assert.AreEqual (null, negate (null));
 169                         Assert.AreEqual (new Slot (42), negate (new Slot (-42)));
 170                         Assert.AreEqual (new Slot (-2), negate (new Slot (2)));
 171                 }
 172
 173                 struct SlotToNullable {
 174                         public int Value;
 175
 176                         public SlotToNullable (int value)
 177                         {
 178                                 this.Value = value;
 179                         }
 180
 181                         public static SlotToNullable? operator - (SlotToNullable s)
 182                         {
 183                                 return new SlotToNullable (-s.Value);
 184                         }
 185                 }
 186
 187                 [Test]
 188                 [ExpectedException (typeof (InvalidOperationException))]
 189                 public void UserDefinedToNullableNegateFromNullable ()
 190                 {
 191                         Expression.Negate (Expression.Parameter (typeof (SlotToNullable?), "s"));
 192                 }
 193
 194                 [Test]
 195                 public void UserDefinedToNullableNegateNullable ()
 196                 {
 197                         var s = Expression.Parameter (typeof (SlotToNullable), "s");
 198                         var node = Expression.Negate (s);
 199                         Assert.IsFalse (node.IsLifted);
 200                         Assert.IsFalse (node.IsLiftedToNull);
 201                         Assert.AreEqual (typeof (SlotToNullable?), node.Type);
 202
 203                         var negate = Expression.Lambda<Func<SlotToNullable, SlotToNullable?>> (node, s).Compile ();
 204
 205                         Assert.AreEqual ((SlotToNullable?) new SlotToNullable (42), negate (new SlotToNullable (-42)));
 206                         Assert.AreEqual ((SlotToNullable?) new SlotToNullable (-2), negate (new SlotToNullable (2)));
 207                 }
 208
 209                 struct SlotFromNullable {
 210                         public int Value;
 211
 212                         public SlotFromNullable (int value)
 213                         {
 214                                 this.Value = value;
 215                         }
 216
 217                         public static SlotFromNullable operator - (SlotFromNullable? s)
 218                         {
 219                                 if (s.HasValue)
 220                                         return new SlotFromNullable (-s.Value.Value);
 221                                 else
 222                                         return new SlotFromNullable (-1);
 223                         }
 224                 }
 225
 226                 [Test]
 227                 public void UserDefinedNegateFromNullable ()
 228                 {
 229                         var s = Expression.Parameter (typeof (SlotFromNullable?), "s");
 230                         var node = Expression.Negate (s);
 231                         Assert.IsFalse (node.IsLifted);
 232                         Assert.IsFalse (node.IsLiftedToNull);
 233                         Assert.AreEqual (typeof (SlotFromNullable), node.Type);
 234
 235                         var negate = Expression.Lambda<Func<SlotFromNullable?, SlotFromNullable>> (node, s).Compile ();
 236
 237                         Assert.AreEqual (new SlotFromNullable (-2), negate (new SlotFromNullable (2)));
 238                         Assert.AreEqual (new SlotFromNullable (42), negate (new SlotFromNullable (-42)));
 239                         Assert.AreEqual (new SlotFromNullable (-1), negate (null));
 240                 }
 241
 242                 struct SlotFromNullableToNullable {
 243                         public int Value;
 244
 245                         public SlotFromNullableToNullable (int value)
 246                         {
 247                                 this.Value = value;
 248                         }
 249
 250                         public static SlotFromNullableToNullable? operator - (SlotFromNullableToNullable? s)
 251                         {
 252                                 if (s.HasValue)
 253                                         return new SlotFromNullableToNullable (-s.Value.Value);
 254                                 else
 255                                         return s;
 256                         }
 257                 }
 258
 259                 [Test]
 260                 public void UserDefinedNegateFromNullableNotNullable ()
 261                 {
 262                         var s = Expression.Parameter (typeof (SlotFromNullableToNullable?), "s");
 263                         var node = Expression.Negate (s);
 264                         Assert.IsFalse (node.IsLifted);
 265                         Assert.IsFalse (node.IsLiftedToNull);
 266                         Assert.AreEqual (typeof (SlotFromNullableToNullable?), node.Type);
 267
 268                         var negate = Expression.Lambda<Func<SlotFromNullableToNullable?, SlotFromNullableToNullable?>> (
 269                                 node, s).Compile ();
 270
 271                         Assert.AreEqual (new SlotFromNullableToNullable (-2), negate (new SlotFromNullableToNullable (2)));
 272                         Assert.AreEqual (new SlotFromNullableToNullable (42), negate (new SlotFromNullableToNullable (-42)));
 273                         Assert.AreEqual (null, negate (null));
 274                 }
 275
 276                 [Test]
 277                 public void NegateDecimal ()
 278                 {
 279                         var d = Expression.Parameter (typeof (decimal), "l");
 280
 281                         var meth = typeof (decimal).GetMethod ("op_UnaryNegation", new [] { typeof (decimal) });
 282
 283                         var node = Expression.Negate (d);
 284                         Assert.IsFalse (node.IsLifted);
 285                         Assert.IsFalse (node.IsLiftedToNull);
 286                         Assert.AreEqual (typeof (decimal), node.Type);
 287                         Assert.AreEqual (meth, node.Method);
 288
 289                         var neg = Expression.Lambda<Func<decimal, decimal>> (node, d).Compile ();
 290
 291                         Assert.AreEqual (-2m, neg (2m));
 292                 }
 293
 294                 [Test]
 295                 public void NegateLiftedDecimal ()
 296                 {
 297                         var d = Expression.Parameter (typeof (decimal?), "l");
 298
 299                         var meth = typeof (decimal).GetMethod ("op_UnaryNegation", new [] { typeof (decimal) });
 300
 301                         var node = Expression.Negate (d);
 302                         Assert.IsTrue (node.IsLifted);
 303                         Assert.IsTrue (node.IsLiftedToNull);
 304                         Assert.AreEqual (typeof (decimal?), node.Type);
 305                         Assert.AreEqual (meth, node.Method);
 306
 307                         var neg = Expression.Lambda<Func<decimal?, decimal?>> (node, d).Compile ();
 308
 309                         Assert.AreEqual (-2m, neg (2m));
 310                         Assert.AreEqual (null, neg (null));
 311                 }
 312         }
 313 }