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:
10 // The above copyright notice and this permission notice shall be
11 // included in all copies or substantial portions of the Software.
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.
21 // Copyright (C) Lluis Sanchez Gual, 2004
26 using System.Reflection;
27 using System.Reflection.Emit;
29 namespace Mono.CodeGeneration
31 public class CodeWhile: CodeStatement
33 CodeExpression condition;
36 public CodeWhile (CodeExpression condition)
38 this.condition = condition;
39 if (condition.GetResultType () != typeof(bool))
40 throw new InvalidOperationException ("Condition expression is not boolean");
43 public override void Generate (ILGenerator gen)
45 Label startLabel = gen.DefineLabel ();
46 Label checkLabel = gen.DefineLabel ();
48 gen.Emit (OpCodes.Br, checkLabel);
49 gen.MarkLabel(startLabel);
50 whileBlock.Generate (gen);
51 gen.MarkLabel(checkLabel);
53 if (condition is CodeConditionExpression)
54 ((CodeConditionExpression)condition).GenerateForBranch (gen, startLabel, true);
56 condition.Generate (gen);
57 gen.Emit (OpCodes.Brtrue, startLabel);
61 public override void PrintCode (CodeWriter cp)
64 condition.PrintCode (cp);
68 whileBlock.PrintCode (cp);
70 cp.BeginLine ().Write ("}");
73 public CodeBlock WhileBlock
75 get { return whileBlock; }
76 set { whileBlock = value; }