mcs/class/System.ServiceModel/Mono.CodeGeneration/CodeOr.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
  29 namespace Mono.CodeGeneration
  30 {
  31         public class CodeOr: CodeConditionExpression
  32         {
  33                 CodeExpression exp1;
  34                 CodeExpression exp2;
  35                 Type t1;
  36                 Type t2;
  37
  38                 public CodeOr (CodeExpression exp1, CodeExpression exp2)
  39                 {
  40                         this.exp1 = exp1;
  41                         this.exp2 = exp2;
  42
  43                         if (exp1.GetResultType () != typeof(bool) || exp1.GetResultType () != typeof(bool)) {
  44                                 if (t1 != t2)
  45                                         throw new InvalidOperationException ("Can't compare values of different primitive types");
  46                         }
  47                 }
  48
  49                 public override void Generate (ILGenerator gen)
  50                 {
  51                         Label trueLabel = gen.DefineLabel ();
  52                         Label endLabel = gen.DefineLabel ();
  53
  54                         if (exp1 is CodeConditionExpression)
  55                                 ((CodeConditionExpression)exp1).GenerateForBranch (gen, trueLabel, true);
  56                         else {
  57                                 exp1.Generate (gen);
  58                                 gen.Emit (OpCodes.Brtrue, trueLabel);
  59                         }
  60
  61                         exp2.Generate (gen);
  62                         gen.Emit (OpCodes.Br, endLabel);
  63                         gen.MarkLabel(trueLabel);
  64                         gen.Emit (OpCodes.Ldc_I4_1);
  65                         gen.MarkLabel(endLabel);
  66                 }
  67
  68                 public override void GenerateForBranch (ILGenerator gen, Label label, bool branchCase)
  69                 {
  70                         Label endLabel = gen.DefineLabel ();
  71                         exp1.Generate (gen);
  72
  73                         if (exp1 is CodeConditionExpression) {
  74                                 if (branchCase)
  75                                         ((CodeConditionExpression)exp1).GenerateForBranch (gen, label, true);
  76                                 else
  77                                         ((CodeConditionExpression)exp1).GenerateForBranch (gen, endLabel, true);
  78                         }
  79                         else {
  80                                 exp1.Generate (gen);
  81                                 if (branchCase)
  82                                         gen.Emit (OpCodes.Brtrue, label);
  83                                 else
  84                                         gen.Emit (OpCodes.Brtrue, endLabel);
  85                         }
  86
  87                         if (exp2 is CodeConditionExpression) {
  88                                 if (branchCase)
  89                                         ((CodeConditionExpression)exp2).GenerateForBranch (gen, label, true);
  90                                 else
  91                                         ((CodeConditionExpression)exp2).GenerateForBranch (gen, label, false);
  92                         }
  93                         else {
  94                                 exp2.Generate (gen);
  95                                 if (branchCase)
  96                                         gen.Emit (OpCodes.Brtrue, label);
  97                                 else
  98                                         gen.Emit (OpCodes.Brfalse, label);
  99                         }
 100
 101                         gen.MarkLabel(endLabel);
 102                 }
 103
 104                 public override void PrintCode (CodeWriter cp)
 105                 {
 106                         cp.Write ("(");
 107                         exp1.PrintCode (cp);
 108                         cp.Write (" || ");
 109                         exp2.PrintCode (cp);
 110                         cp.Write (")");
 111                 }
 112
 113                 public override Type GetResultType ()
 114                 {
 115                         return typeof (bool);
 116                 }
 117         }
 118 }
 119 #endif