mcs/class/System.ServiceModel/Mono.CodeGeneration/CodeIf.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 !FULL_AOT_RUNTIME
  25 using System;
  26 using System.Reflection;
  27 using System.Reflection.Emit;
  28
  29 namespace Mono.CodeGeneration
  30 {
  31         public class CodeIf: CodeStatement
  32         {
  33                 CodeExpression condition;
  34                 CodeBlock trueBlock;
  35                 CodeBlock falseBlock;
  36
  37                 public CodeIf (CodeExpression condition)
  38                 {
  39                         this.condition = condition;
  40                         if (condition.GetResultType () != typeof(bool))
  41                                 throw new InvalidOperationException ("Condition expression is not boolean");
  42                 }
  43
  44                 public override void Generate (ILGenerator gen)
  45                 {
  46                         if (trueBlock == null)
  47                                 throw new InvalidOperationException ("Incomplete If statement");
  48
  49                         Label falseLabel = gen.DefineLabel ();
  50                         Label endLabel = gen.DefineLabel ();
  51
  52                         if (falseBlock == null)
  53                         {
  54                                 GenerateCondition (gen, endLabel);
  55                                 trueBlock.Generate (gen);
  56                         }
  57                         else
  58                         {
  59                                 GenerateCondition (gen, falseLabel);
  60                                 trueBlock.Generate (gen);
  61                                 gen.Emit (OpCodes.Br, endLabel);
  62                                 gen.MarkLabel(falseLabel);
  63                                 falseBlock.Generate (gen);
  64                         }
  65                         gen.MarkLabel(endLabel);
  66                 }
  67
  68                 void GenerateCondition (ILGenerator gen, Label falseLabel)
  69                 {
  70                         if (condition is CodeConditionExpression)
  71                                 ((CodeConditionExpression)condition).GenerateForBranch (gen, falseLabel, false);
  72                         else {
  73                                 condition.Generate (gen);
  74                                 gen.Emit (OpCodes.Brfalse, falseLabel);
  75                         }
  76                 }
  77
  78                 public override void PrintCode (CodeWriter cp)
  79                 {
  80                         if (trueBlock == null) return;
  81
  82                         cp.Write ("if (");
  83                         condition.PrintCode (cp);
  84                         cp.Write (") {");
  85                         cp.EndLine ();
  86                         cp.Indent ();
  87                         trueBlock.PrintCode (cp);
  88                         cp.Unindent ();
  89                         cp.BeginLine ().Write ("}");
  90                         if (falseBlock != null) {
  91                                 cp.EndLine ();
  92                                 cp.WriteLineInd ("else {");
  93                                 falseBlock.PrintCode (cp);
  94                                 cp.Unindent ();
  95                                 cp.BeginLine ().Write ("}");
  96                         }
  97                 }
  98
  99                 public CodeBlock TrueBlock
 100                 {
 101                         get { return trueBlock; }
 102                         set { trueBlock = value; }
 103                 }
 104
 105                 public CodeBlock FalseBlock
 106                 {
 107                         get { return falseBlock; }
 108                         set { falseBlock = value; }
 109                 }
 110         }
 111 }
 112 #endif