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 // Federico Di Gregorio <fog@initd.org>
23 using System.Reflection;
25 using System.Linq.Expressions;
26 using NUnit.Framework;
28 namespace MonoTests.System.Linq.Expressions
31 public class ExpressionTest_AddChecked
34 [ExpectedException (typeof (ArgumentNullException))]
35 public void Arg1Null ()
37 Expression.AddChecked (null, Expression.Constant(1));
41 [ExpectedException (typeof (ArgumentNullException))]
42 public void Arg2Null ()
44 Expression.AddChecked (Expression.Constant (1), null);
48 [ExpectedException (typeof (InvalidOperationException))]
49 public void ArgTypesDifferent ()
51 Expression.AddChecked (Expression.Constant (1), Expression.Constant (2.0));
55 [ExpectedException (typeof (InvalidOperationException))]
56 public void NoOperatorClass ()
58 Expression.AddChecked (Expression.Constant (new NoOpClass ()), Expression.Constant (new NoOpClass ()));
62 [ExpectedException (typeof (InvalidOperationException))]
63 public void Boolean ()
65 Expression.AddChecked (Expression.Constant (true), Expression.Constant (false));
69 public void Numeric ()
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");
79 public void Nullable ()
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");
92 public void UserDefinedClass ()
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");
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");
108 public void UserDefinedStruct ()
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");
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");
124 // This method makes sure that compiling an AddChecked on two values
125 // throws an OverflowException, if it doesnt, it fails
127 static void MustOverflow<T> (T v1, T v2)
129 Expression<Func<T>> l = Expression.Lambda<Func<T>> (
130 Expression.AddChecked (Expression.Constant (v1), Expression.Constant (v2)));
131 Func<T> del = l.Compile ();
135 } catch (OverflowException){
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));
144 // This routine should execute the code, but not throw an
145 // overflow exception
147 static void MustNotOverflow<T> (T v1, T v2)
149 Expression<Func<T>> l = Expression.Lambda<Func<T>> (
150 Expression.AddChecked (Expression.Constant (v1), Expression.Constant (v2)));
151 Func<T> del = l.Compile ();
156 // SubtractChecked is not defined for small types (byte, sbyte)
158 static void InvalidOperation<T> (T v1, T v2)
161 Expression.Lambda<Func<T>> (
162 Expression.AddChecked (Expression.Constant (v1), Expression.Constant (v2)));
163 } catch (InvalidOperationException){
167 throw new Exception (String.Format ("AddChecked should have thrown for the creation of a tree with {0} operands", v1.GetType ()));
171 public void TestOverflows ()
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);
180 // unsigned values use Add_Ovf_Un, check that too:
181 MustOverflow<ulong> (UInt64.MaxValue, 1);
182 MustOverflow<uint> (UInt32.MaxValue, 1);
186 // These should not overflow
189 public void TestNoOverflow ()
192 MustNotOverflow<int> (10, 20);
194 // These are invalid:
195 InvalidOperation<byte> (Byte.MaxValue, 2);
196 InvalidOperation<sbyte> (SByte.MaxValue, 2);
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);
203 // Doubles, floats, do not overflow
204 MustNotOverflow<float> (Single.MaxValue, 1);
205 MustNotOverflow<double> (Double.MaxValue, 1);