mcs/class/System.ServiceModel/Mono.CodeGeneration/CodeIs.cs

   1 //
   2 // Permission is hereby granted, free of charge, to any person obtaining
   3 // a copy of this software and associated documentation files (the
   4 // "Software"), to deal in the Software without restriction, including
   5 // without limitation the rights to use, copy, modify, merge, publish,
   6 // distribute, sublicense, and/or sell copies of the Software, and to
   7 // permit persons to whom the Software is furnished to do so, subject to
   8 // the following conditions:
   9 //
  10 // The above copyright notice and this permission notice shall be
  11 // included in all copies or substantial portions of the Software.
  12 //
  13 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  14 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  15 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  16 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  17 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  18 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  19 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  20 //
  21 // Copyright (C) Lluis Sanchez Gual, 2004
  22 //
  23
  24 #if !MONOTOUCH
  25 using System;
  26 using System.Reflection;
  27 using System.Reflection.Emit;
  28 using Mono.CodeGeneration;
  29
  30 namespace Mono.CodeGeneration
  31 {
  32         public class CodeIs: CodeConditionExpression
  33         {
  34                 Type type;
  35                 CodeExpression exp;
  36
  37                 public CodeIs (Type type, CodeExpression exp)
  38                 {
  39                         this.type = type;
  40                         this.exp = exp;
  41                 }
  42
  43                 public override void Generate (ILGenerator gen)
  44                 {
  45                         Type typeObj = exp.GetResultType ();
  46
  47                         if (type.IsAssignableFrom (typeObj)) {
  48                                 gen.Emit (OpCodes.Ldc_I4_1);
  49                                 return;
  50                         }
  51                         else if (!typeObj.IsAssignableFrom (type)) {
  52                                 gen.Emit (OpCodes.Ldc_I4_0);
  53                                 return;
  54                         }
  55
  56                         exp.Generate (gen);
  57                         gen.Emit (OpCodes.Isinst, type);
  58                         gen.Emit (OpCodes.Ldnull);
  59                         gen.Emit (OpCodes.Cgt_Un);
  60                 }
  61
  62                 public override void GenerateForBranch (ILGenerator gen, Label label, bool branchCase)
  63                 {
  64                         Type typeObj = exp.GetResultType ();
  65
  66                         if (type.IsAssignableFrom (typeObj)) {
  67                                 if (branchCase)
  68                                         gen.Emit (OpCodes.Br, label);
  69                                 return;
  70                         }
  71                         else if (!typeObj.IsAssignableFrom (type)) {
  72                                 if (!branchCase)
  73                                         gen.Emit (OpCodes.Br, label);
  74                                 return;
  75                         }
  76
  77                         exp.Generate (gen);
  78                         gen.Emit (OpCodes.Isinst, type);
  79                         if (branchCase)
  80                                 gen.Emit (OpCodes.Brtrue, label);
  81                         else
  82                                 gen.Emit (OpCodes.Brfalse, label);
  83                 }
  84
  85                 public override void PrintCode (CodeWriter cp)
  86                 {
  87                         exp.PrintCode (cp);
  88                         cp.Write (" is ");
  89                         cp.Write (type.FullName);
  90                 }
  91
  92                 public override Type GetResultType ()
  93                 {
  94                         return typeof(bool);
  95                 }
  96         }
  97 }
  98 #endif