mcs/class/System.Core/Test/System.Linq.Expressions/ExpressionTest_TypeIs.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_TypeIs
  32         {
  33                 [Test]
  34                 [ExpectedException (typeof (ArgumentNullException))]
  35                 public void Arg1Null ()
  36                 {
  37                         Expression.TypeIs (null, typeof (int));
  38                 }
  39
  40                 [Test]
  41                 [ExpectedException (typeof (ArgumentNullException))]
  42                 public void Arg2Null ()
  43                 {
  44                         Expression.TypeIs (Expression.Constant (1), null);
  45                 }
  46
  47                 [Test]
  48                 public void Numeric ()
  49                 {
  50                         TypeBinaryExpression expr = Expression.TypeIs (Expression.Constant (1), typeof (int));
  51                         Assert.AreEqual (ExpressionType.TypeIs, expr.NodeType, "TypeIs#01");
  52                         Assert.AreEqual (typeof (bool), expr.Type, "TypeIs#02");
  53                         Assert.AreEqual ("(1 Is Int32)", expr.ToString(), "TypeIs#03");
  54                 }
  55
  56                 [Test]
  57                 public void String ()
  58                 {
  59                         TypeBinaryExpression expr = Expression.TypeIs (Expression.Constant (1), typeof (string));
  60                         Assert.AreEqual (ExpressionType.TypeIs, expr.NodeType, "TypeIs#04");
  61                         Assert.AreEqual (typeof (bool), expr.Type, "TypeIs#05");
  62                         Assert.AreEqual ("(1 Is String)", expr.ToString(), "TypeIs#06");
  63                 }
  64
  65                 [Test]
  66                 public void UserDefinedClass ()
  67                 {
  68                         TypeBinaryExpression expr = Expression.TypeIs (Expression.Constant (new OpClass()), typeof (OpClass));
  69                         Assert.AreEqual (ExpressionType.TypeIs, expr.NodeType, "TypeIs#07");
  70                         Assert.AreEqual (typeof (bool), expr.Type, "TypeIs#08");
  71                         Assert.AreEqual ("(value(MonoTests.System.Linq.Expressions.OpClass) Is OpClass)", expr.ToString(), "TypeIs#09");
  72                 }
  73
  74                 struct Foo {
  75                 }
  76
  77                 class Bar {
  78                 }
  79
  80                 class Baz : Bar {
  81                 }
  82
  83                 static Func<TType, bool> CreateTypeIs<TType, TCandidate> ()
  84                 {
  85                         var p = Expression.Parameter (typeof (TType), "p");
  86
  87                         return Expression.Lambda<Func<TType, bool>> (
  88                                 Expression.TypeIs (p, typeof (TCandidate)), p).Compile ();
  89                 }
  90
  91                 [Test]
  92                 public void CompiledTypeIs ()
  93                 {
  94                         var foo_is_bar = CreateTypeIs<Foo, Bar> ();
  95                         var foo_is_foo = CreateTypeIs<Foo, Foo> ();
  96                         var bar_is_bar = CreateTypeIs<Bar, Bar> ();
  97                         var bar_is_foo = CreateTypeIs<Bar, Foo> ();
  98                         var baz_is_bar = CreateTypeIs<Baz, Bar> ();
  99
 100                         Assert.IsTrue (foo_is_foo (new Foo ()));
 101                         Assert.IsFalse (foo_is_bar (new Foo ()));
 102                         Assert.IsTrue (bar_is_bar (new Bar ()));
 103                         Assert.IsFalse (bar_is_foo (new Bar ()));
 104                         Assert.IsTrue (baz_is_bar (new Baz ()));
 105                 }
 106
 107 #if !NET_4_0 // dlr bug 5868
 108                 [Test]
 109                 [Category ("NotDotNet")]
 110                 [ExpectedException (typeof (ArgumentException))]
 111                 public void TypeIsVoid ()
 112                 {
 113                         Expression.TypeIs ("yoyo".ToConstant (), typeof (void));
 114                 }
 115 #endif
 116
 117                 public static void TacTac ()
 118                 {
 119                 }
 120
 121                 [Test]
 122                 public void VoidIsObject ()
 123                 {
 124                         var vio = Expression.Lambda<Func<bool>> (
 125                                 Expression.TypeIs (
 126                                         Expression.Call (GetType ().GetMethod ("TacTac")),
 127                                         typeof (object))).Compile ();
 128
 129                         Assert.IsFalse (vio ());
 130                 }
 131         }
 132 }