new tests
[mono.git] / mcs / class / System.Core / Test / System.Linq.Expressions / ExpressionTest_OrElse.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_OrElse
32         {
33                 [Test]
34                 [ExpectedException (typeof (ArgumentNullException))]
35                 public void Arg1Null ()
36                 {
37                         Expression.OrElse (null, Expression.Constant (1));
38                 }
39
40                 [Test]
41                 [ExpectedException (typeof (ArgumentNullException))]
42                 public void Arg2Null ()
43                 {
44                         Expression.OrElse (Expression.Constant (1), null);
45                 }
46
47                 [Test]
48                 [ExpectedException (typeof (InvalidOperationException))]
49                 public void NoOperatorClass ()
50                 {
51                         Expression.OrElse (Expression.Constant (new NoOpClass ()), Expression.Constant (new NoOpClass ()));
52                 }
53
54                 [Test]
55                 [ExpectedException (typeof (InvalidOperationException))]
56                 public void Double ()
57                 {
58                         Expression.OrElse (Expression.Constant (1.0), Expression.Constant (2.0));
59                 }
60
61                 [Test]
62                 [ExpectedException (typeof (InvalidOperationException))]
63                 public void Integer ()
64                 {
65                         Expression.OrElse (Expression.Constant (1), Expression.Constant (2));
66                 }
67
68                 [Test]
69                 [ExpectedException (typeof (InvalidOperationException))]
70                 public void MismatchedTypes ()
71                 {
72                         Expression.OrElse (Expression.Constant (new OpClass ()), Expression.Constant (true));
73                 }
74
75                 [Test]
76                 public void Boolean ()
77                 {
78                         BinaryExpression expr = Expression.OrElse (Expression.Constant (true), Expression.Constant (false));
79                         Assert.AreEqual (ExpressionType.OrElse, expr.NodeType, "OrElse#01");
80                         Assert.AreEqual (typeof (bool), expr.Type, "OrElse#02");
81                         Assert.IsNull (expr.Method, "OrElse#03");
82                         Assert.AreEqual ("(True || False)", expr.ToString(), "OrElse#04");
83                 }
84
85                 [Test]
86                 public void UserDefinedClass ()
87                 {
88                         // We can use the simplest version of GetMethod because we already know only one
89                         // exists in the very simple class we're using for the tests.
90                         MethodInfo mi = typeof (OpClass).GetMethod ("op_BitwiseOr");
91
92                         BinaryExpression expr = Expression.OrElse (Expression.Constant (new OpClass ()), Expression.Constant (new OpClass ()));
93                         Assert.AreEqual (ExpressionType.OrElse, expr.NodeType, "OrElse#05");
94                         Assert.AreEqual (typeof (OpClass), expr.Type, "OrElse#06");
95                         Assert.AreEqual (mi, expr.Method, "OrElse#07");
96                         Assert.AreEqual ("op_BitwiseOr", expr.Method.Name, "OrElse#08");
97                         Assert.AreEqual ("(value(MonoTests.System.Linq.Expressions.OpClass) || value(MonoTests.System.Linq.Expressions.OpClass))",
98                                 expr.ToString(), "OrElse#09");
99                 }
100
101                 public class BrokenMethod {
102                         public static int operator | (BrokenMethod a, BrokenMethod b)
103                         {
104                                 return 1;
105                         }
106                 }
107
108                 public class BrokenMethod2 {
109                         public static BrokenMethod2 operator | (BrokenMethod2 a, int b)
110                         {
111                                 return null;
112                         }
113                 }
114
115                 [Test]
116                 [ExpectedException(typeof(ArgumentException))]
117                 public void MethodInfoReturnType ()
118                 {
119                         Expression.OrElse (Expression.Constant (new BrokenMethod ()),
120                                            Expression.Constant (new BrokenMethod ()));
121                 }
122
123                 [Test]
124                 [ExpectedException(typeof(ArgumentException))]
125                 public void MethodInfoReturnType2 ()
126                 {
127                         Expression.OrElse (Expression.Constant (new BrokenMethod2 ()),
128                                            Expression.Constant (1));
129                 }
130
131                 [Test]
132                 public void OrElseNotLifted ()
133                 {
134                         var b = Expression.OrElse (
135                                 Expression.Constant (true, typeof (bool)),
136                                 Expression.Constant (true, typeof (bool)));
137
138                         Assert.AreEqual (typeof (bool), b.Type);
139                         Assert.IsFalse (b.IsLifted);
140                         Assert.IsFalse (b.IsLiftedToNull);
141                 }
142
143                 [Test]
144                 public void OrElseTest ()
145                 {
146                         ParameterExpression a = Expression.Parameter (typeof (bool), "a"), b = Expression.Parameter (typeof (bool), "b");
147                         var l = Expression.Lambda<Func<bool, bool, bool>> (
148                                 Expression.OrElse (a, b), a, b);
149
150                         var be = l.Body as BinaryExpression;
151                         Assert.IsNotNull (be);
152                         Assert.AreEqual (typeof (bool), be.Type);
153                         Assert.IsFalse (be.IsLifted);
154                         Assert.IsFalse (be.IsLiftedToNull);
155
156                         var c = l.Compile ();
157
158                         Assert.AreEqual (true,  c (true, true), "o1");
159                         Assert.AreEqual (true,  c (true, false), "o2");
160                         Assert.AreEqual (true,  c (false, true), "o3");
161                         Assert.AreEqual (false, c (false, false), "o4");
162                 }
163
164                 [Test]
165                 public void OrElseLifted ()
166                 {
167                         var b = Expression.OrElse (
168                                 Expression.Constant (null, typeof (bool?)),
169                                 Expression.Constant (null, typeof (bool?)));
170
171                         Assert.AreEqual (typeof (bool?), b.Type);
172                         Assert.IsTrue (b.IsLifted);
173                         Assert.IsTrue (b.IsLiftedToNull);
174                 }
175
176                 [Test]
177                 public void OrElseTestNullable ()
178                 {
179                         ParameterExpression a = Expression.Parameter (typeof (bool?), "a"), b = Expression.Parameter (typeof (bool?), "b");
180                         var l = Expression.Lambda<Func<bool?, bool?, bool?>> (
181                                 Expression.OrElse (a, b), a, b);
182
183                         var be = l.Body as BinaryExpression;
184                         Assert.IsNotNull (be);
185                         Assert.AreEqual (typeof (bool?), be.Type);
186                         Assert.IsTrue (be.IsLifted);
187                         Assert.IsTrue (be.IsLiftedToNull);
188
189                         var c = l.Compile ();
190
191                         Assert.AreEqual (true,  c (true, true),   "o1");
192                         Assert.AreEqual (true,  c (true, false),  "o2");
193                         Assert.AreEqual (true,  c (false, true),  "o3");
194                         Assert.AreEqual (false, c (false, false), "o4");
195
196                         Assert.AreEqual (true, c (true, null),  "o5");
197                         Assert.AreEqual (null, c (false, null), "o6");
198                         Assert.AreEqual (null, c (null, false), "o7");
199                         Assert.AreEqual (true, c (true, null),  "o8");
200                         Assert.AreEqual (null, c (null, null),  "o9");
201                 }
202
203                 [Test]
204                 [Category ("NotWorking")]
205                 public void OrElseBoolItem ()
206                 {
207                         var i = Expression.Parameter (typeof (Item<bool>), "i");
208                         var and = Expression.Lambda<Func<Item<bool>, bool>> (
209                                 Expression.OrElse (
210                                         Expression.Property (i, "Left"),
211                                         Expression.Property (i, "Right")), i).Compile ();
212
213                         var item = new Item<bool> (true, false);
214                         Assert.AreEqual (true, and (item));
215                         Assert.IsTrue (item.LeftCalled);
216                         Assert.IsFalse (item.RightCalled);
217                 }
218
219                 [Test]
220                 [Category ("NotWorking")]
221                 public void OrElseNullableBoolItem ()
222                 {
223                         var i = Expression.Parameter (typeof (Item<bool?>), "i");
224                         var and = Expression.Lambda<Func<Item<bool?>, bool?>> (
225                                 Expression.OrElse (
226                                         Expression.Property (i, "Left"),
227                                         Expression.Property (i, "Right")), i).Compile ();
228
229                         var item = new Item<bool?> (true, false);
230                         Assert.AreEqual ((bool?) true, and (item));
231                         Assert.IsTrue (item.LeftCalled);
232                         Assert.IsFalse (item.RightCalled);
233                 }
234         }
235 }