tests for lifted not
[mono.git] / mcs / class / System.Core / Test / System.Linq.Expressions / ExpressionTest_And.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_And
32         {
33                 [Test]
34                 [ExpectedException (typeof (ArgumentNullException))]
35                 public void Arg1Null ()
36                 {
37                         Expression.And (null, Expression.Constant (1));
38                 }
39
40                 [Test]
41                 [ExpectedException (typeof (ArgumentNullException))]
42                 public void Arg2Null ()
43                 {
44                         Expression.And (Expression.Constant (1), null);
45                 }
46
47                 [Test]
48                 [ExpectedException (typeof (InvalidOperationException))]
49                 public void NoOperatorClass ()
50                 {
51                         Expression.And (Expression.Constant (new NoOpClass ()), Expression.Constant (new NoOpClass ()));
52                 }
53
54                 [Test]
55                 [ExpectedException (typeof (InvalidOperationException))]
56                 public void ArgTypesDifferent ()
57                 {
58                         Expression.And (Expression.Constant (1), Expression.Constant (true));
59                 }
60
61                 [Test]
62                 [ExpectedException (typeof (InvalidOperationException))]
63                 public void Double ()
64                 {
65                         Expression.And (Expression.Constant (1.0), Expression.Constant (2.0));
66                 }
67
68                 [Test]
69                 public void Integer ()
70                 {
71                         BinaryExpression expr = Expression.And (Expression.Constant (1), Expression.Constant (2));
72                         Assert.AreEqual (ExpressionType.And, expr.NodeType, "And#01");
73                         Assert.AreEqual (typeof (int), expr.Type, "And#02");
74                         Assert.IsNull (expr.Method, "And#03");
75                         Assert.AreEqual ("(1 & 2)", expr.ToString(), "And#04");
76                 }
77
78                 [Test]
79                 public void Boolean ()
80                 {
81                         BinaryExpression expr = Expression.And (Expression.Constant (true), Expression.Constant (false));
82                         Assert.AreEqual (ExpressionType.And, expr.NodeType, "And#05");
83                         Assert.AreEqual (typeof (bool), expr.Type, "And#06");
84                         Assert.IsNull (expr.Method, "And#07");
85                         Assert.AreEqual ("(True And False)", expr.ToString(), "And#08");
86                 }
87
88                 [Test]
89                 public void UserDefinedClass ()
90                 {
91                         // We can use the simplest version of GetMethod because we already know only one
92                         // exists in the very simple class we're using for the tests.
93                         MethodInfo mi = typeof (OpClass).GetMethod ("op_BitwiseAnd");
94
95                         BinaryExpression expr = Expression.And (Expression.Constant (new OpClass ()), Expression.Constant (new OpClass ()));
96                         Assert.AreEqual (ExpressionType.And, expr.NodeType, "And#09");
97                         Assert.AreEqual (typeof (OpClass), expr.Type, "And#10");
98                         Assert.AreEqual (mi, expr.Method, "And#11");
99                         Assert.AreEqual ("op_BitwiseAnd", expr.Method.Name, "And#12");
100                         Assert.AreEqual ("(value(MonoTests.System.Linq.Expressions.OpClass) & value(MonoTests.System.Linq.Expressions.OpClass))",
101                                 expr.ToString(), "And#13");
102                 }
103
104                 [Test]
105                 public void AndTest ()
106                 {
107                         ParameterExpression a = Expression.Parameter (typeof (bool), "a"), b = Expression.Parameter (typeof (bool), "b");
108                         var l = Expression.Lambda<Func<bool, bool, bool>> (
109                                 Expression.And (a, b), a, b);
110
111                         var be = l.Body as BinaryExpression;
112                         Assert.IsNotNull (be);
113                         Assert.AreEqual (typeof (bool), be.Type);
114                         Assert.IsFalse (be.IsLifted);
115                         Assert.IsFalse (be.IsLiftedToNull);
116
117                         var c = l.Compile ();
118
119                         Assert.AreEqual (true,  c (true, true), "t1");
120                         Assert.AreEqual (false, c (true, false), "t2");
121                         Assert.AreEqual (false, c (false, true), "t3");
122                         Assert.AreEqual (false, c (false, false), "t4");
123                 }
124
125                 [Test]
126                 public void AndLifted ()
127                 {
128                         var b = Expression.And (
129                                 Expression.Constant (null, typeof (bool?)),
130                                 Expression.Constant (null, typeof (bool?)));
131
132                         Assert.AreEqual (typeof (bool?), b.Type);
133                         Assert.IsTrue (b.IsLifted);
134                         Assert.IsTrue (b.IsLiftedToNull);
135                 }
136
137                 [Test]
138                 public void AndNullableTest ()
139                 {
140                         ParameterExpression a = Expression.Parameter (typeof (bool?), "a"), b = Expression.Parameter (typeof (bool?), "b");
141                         var l = Expression.Lambda<Func<bool?, bool?, bool?>> (
142                                 Expression.And (a, b), a, b);
143
144                         var be = l.Body as BinaryExpression;
145                         Assert.IsNotNull (be);
146                         Assert.AreEqual (typeof (bool?), be.Type);
147                         Assert.IsTrue (be.IsLifted);
148                         Assert.IsTrue (be.IsLiftedToNull);
149
150                         var c = l.Compile ();
151
152                         Assert.AreEqual (true,  c (true, true), "a1");
153                         Assert.AreEqual (false, c (true, false), "a2");
154                         Assert.AreEqual (false, c (false, true), "a3");
155                         Assert.AreEqual (false, c (false, false), "a4");
156
157                         Assert.AreEqual (null,  c (true, null),  "a5");
158                         Assert.AreEqual (false, c (false, null), "a6");
159                         Assert.AreEqual (false, c (null, false), "a7");
160                         Assert.AreEqual (null,  c (true, null),  "a8");
161                         Assert.AreEqual (null,  c (null, null),   "a9");
162                 }
163         }
164 }