class/System.Core/Test/System.Linq.Expressions/ExpressionTest_AddChecked.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 //              Federico Di Gregorio <fog@initd.org>
  21
  22 using System;
  23 using System.Reflection;
  24 using System.Linq;
  25 using System.Linq.Expressions;
  26 using NUnit.Framework;
  27
  28 namespace MonoTests.System.Linq.Expressions
  29 {
  30         [TestFixture]
  31         public class ExpressionTest_AddChecked
  32         {
  33                 [Test]
  34                 [ExpectedException (typeof (ArgumentNullException))]
  35                 public void Arg1Null ()
  36                 {
  37                         Expression.AddChecked (null, Expression.Constant(1));
  38                 }
  39
  40                 [Test]
  41                 [ExpectedException (typeof (ArgumentNullException))]
  42                 public void Arg2Null ()
  43                 {
  44                         Expression.AddChecked (Expression.Constant (1), null);
  45                 }
  46
  47                 [Test]
  48                 [ExpectedException (typeof (InvalidOperationException))]
  49                 public void ArgTypesDifferent ()
  50                 {
  51                         Expression.AddChecked (Expression.Constant (1), Expression.Constant (2.0));
  52                 }
  53
  54                 [Test]
  55                 [ExpectedException (typeof (InvalidOperationException))]
  56                 public void NoOperatorClass ()
  57                 {
  58                         Expression.AddChecked (Expression.Constant (new NoOpClass ()), Expression.Constant (new NoOpClass ()));
  59                 }
  60
  61                 [Test]
  62                 [ExpectedException (typeof (InvalidOperationException))]
  63                 public void Boolean ()
  64                 {
  65                         Expression.AddChecked (Expression.Constant (true), Expression.Constant (false));
  66                 }
  67
  68                 [Test]
  69                 public void Numeric ()
  70                 {
  71                         BinaryExpression expr = Expression.AddChecked (Expression.Constant (1), Expression.Constant (2));
  72                         Assert.AreEqual (ExpressionType.AddChecked, expr.NodeType, "AddChecked#01");
  73                         Assert.AreEqual (typeof (int), expr.Type, "AddChecked#02");
  74                         Assert.IsNull (expr.Method, "AddChecked#03");
  75                         Assert.AreEqual ("(1 + 2)", expr.ToString(), "AddChecked#15");
  76                 }
  77
  78                 [Test]
  79                 public void Nullable ()
  80                 {
  81                         int? a = 1;
  82                         int? b = 2;
  83
  84                         BinaryExpression expr = Expression.AddChecked (Expression.Constant (a), Expression.Constant (b));
  85                         Assert.AreEqual (ExpressionType.AddChecked, expr.NodeType, "AddChecked#04");
  86                         Assert.AreEqual (typeof (int), expr.Type, "AddChecked#05");
  87                         Assert.IsNull (expr.Method, null, "AddChecked#06");
  88                         Assert.AreEqual ("(1 + 2)", expr.ToString(), "AddChecked#16");
  89                 }
  90
  91                 [Test]
  92                 public void UserDefinedClass ()
  93                 {
  94                         // We can use the simplest version of GetMethod because we already know only one
  95                         // exists in the very simple class we're using for the tests.
  96                         MethodInfo mi = typeof (OpClass).GetMethod ("op_Addition");
  97
  98                         BinaryExpression expr = Expression.AddChecked (Expression.Constant (new OpClass ()), Expression.Constant (new OpClass ()));
  99                         Assert.AreEqual (ExpressionType.AddChecked, expr.NodeType, "AddChecked#07");
 100                         Assert.AreEqual (typeof (OpClass), expr.Type, "AddChecked#08");
 101                         Assert.AreEqual (mi, expr.Method, "AddChecked#09");
 102                         Assert.AreEqual ("op_Addition", expr.Method.Name, "AddChecked#10");
 103                         Assert.AreEqual ("(value(MonoTests.System.Linq.Expressions.OpClass) + value(MonoTests.System.Linq.Expressions.OpClass))",
 104                                 expr.ToString(), "AddChecked#17");
 105                 }
 106
 107                 [Test]
 108                 public void UserDefinedStruct ()
 109                 {
 110                         // We can use the simplest version of GetMethod because we already know only one
 111                         // exists in the very simple class we're using for the tests.
 112                         MethodInfo mi = typeof (OpStruct).GetMethod ("op_Addition");
 113
 114                         BinaryExpression expr = Expression.AddChecked (Expression.Constant (new OpStruct ()), Expression.Constant (new OpStruct ()));
 115                         Assert.AreEqual (ExpressionType.AddChecked, expr.NodeType, "AddChecked#11");
 116                         Assert.AreEqual (typeof (OpStruct), expr.Type, "AddChecked#12");
 117                         Assert.AreEqual (mi, expr.Method, "AddChecked#13");
 118                         Assert.AreEqual ("op_Addition", expr.Method.Name, "AddChecked#14");
 119                         Assert.AreEqual ("(value(MonoTests.System.Linq.Expressions.OpStruct) + value(MonoTests.System.Linq.Expressions.OpStruct))",
 120                                 expr.ToString(), "AddChecked#18");
 121                 }
 122
 123                 //
 124                 // This method makes sure that compiling an AddChecked on two values
 125                 // throws an OverflowException, if it doesnt, it fails
 126                 //
 127                 static void MustOverflow<T> (T v1, T v2)
 128                 {
 129                         Expression<Func<T>> l = Expression.Lambda<Func<T>> (
 130                                 Expression.AddChecked (Expression.Constant (v1), Expression.Constant (v2)));
 131                         Func<T> del = l.Compile ();
 132                         T res = default (T);
 133                         try {
 134                                 res = del ();
 135                         } catch (OverflowException){
 136                                 // OK
 137                                 return;
 138                         }
 139                         throw new Exception (String.Format ("AddChecked on {2} should have thrown an exception with values {0} {1}, result was: {3}",
 140                                                             v1, v2, v1.GetType (), res));
 141                 }
 142
 143                 //
 144                 // This routine should execute the code, but not throw an
 145                 // overflow exception
 146                 //
 147                 static void MustNotOverflow<T> (T v1, T v2)
 148                 {
 149                         Expression<Func<T>> l = Expression.Lambda<Func<T>> (
 150                                 Expression.AddChecked (Expression.Constant (v1), Expression.Constant (v2)));
 151                         Func<T> del = l.Compile ();
 152                         del ();
 153                 }
 154
 155                 //
 156                 // SubtractChecked is not defined for small types (byte, sbyte)
 157                 //
 158                 static void InvalidOperation<T> (T v1, T v2)
 159                 {
 160                         try {
 161                                 Expression.Lambda<Func<T>> (
 162                                         Expression.AddChecked (Expression.Constant (v1), Expression.Constant (v2)));
 163                         } catch (InvalidOperationException){
 164                                 // OK
 165                                 return;
 166                         }
 167                         throw new Exception (String.Format ("AddChecked should have thrown for the creation of a tree with {0} operands", v1.GetType ()));
 168                 }
 169
 170                 [Test]
 171                 public void TestOverflows ()
 172                 {
 173                         // These should overflow, check the various types and codepaths
 174                         // in BinaryExpression:
 175                         MustOverflow<int> (Int32.MaxValue, 1);
 176                         MustOverflow<int> (Int32.MinValue, -11);
 177                         MustOverflow<long> (Int64.MaxValue, 1);
 178                         MustOverflow<long> (Int64.MinValue, -1);
 179
 180                         // unsigned values use Add_Ovf_Un, check that too:
 181                         MustOverflow<ulong> (UInt64.MaxValue, 1);
 182                         MustOverflow<uint>  (UInt32.MaxValue, 1);
 183                 }
 184
 185                 //
 186                 // These should not overflow
 187                 //
 188                 [Test]
 189                 public void TestNoOverflow ()
 190                 {
 191                         // Simple stuff
 192                         MustNotOverflow<int> (10, 20);
 193
 194                         // These are invalid:
 195                         InvalidOperation<byte> (Byte.MaxValue, 2);
 196                         InvalidOperation<sbyte> (SByte.MaxValue, 2);
 197 #if !NET_4_0
 198                         // Stuff that just fits in 32 bits, does not overflow:
 199                         MustNotOverflow<short> (Int16.MaxValue, 2);
 200                         MustNotOverflow<short> (Int16.MaxValue, 2);
 201                         MustNotOverflow<ushort> (UInt16.MaxValue, 2);
 202 #endif
 203                         // Doubles, floats, do not overflow
 204                         MustNotOverflow<float> (Single.MaxValue, 1);
 205                         MustNotOverflow<double> (Double.MaxValue, 1);
 206                 }
 207         }
 208 }