mcs/class/Mono.CodeContracts/Mono.CodeContracts.Rewrite/ExprGen.cs

   1 //\r
   2 // ExprGen.cs\r
   3 //\r
   4 // Authors:\r
   5 //      Chris Bacon (chrisbacon76@gmail.com)\r
   6 //\r
   7 // Copyright (C) 2010 Novell, Inc (http://www.novell.com)\r
   8 //\r
   9 // Permission is hereby granted, free of charge, to any person obtaining\r
  10 // a copy of this software and associated documentation files (the\r
  11 // "Software"), to deal in the Software without restriction, including\r
  12 // without limitation the rights to use, copy, modify, merge, publish,\r
  13 // distribute, sublicense, and/or sell copies of the Software, and to\r
  14 // permit persons to whom the Software is furnished to do so, subject to\r
  15 // the following conditions:\r
  16 // \r
  17 // The above copyright notice and this permission notice shall be\r
  18 // included in all copies or substantial portions of the Software.\r
  19 // \r
  20 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,\r
  21 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF\r
  22 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND\r
  23 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE\r
  24 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION\r
  25 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION\r
  26 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.\r
  27 //\r
  28 \r
  29 using System;\r
  30 using System.Collections.Generic;\r
  31 using System.Linq;\r
  32 using System.Text;\r
  33 using Mono.CodeContracts.Rewrite.Ast;\r
  34 using Mono.Cecil;\r
  35 \r
  36 namespace Mono.CodeContracts.Rewrite {\r
  37         class ExprGen {\r
  38 \r
  39                 public ExprGen (MethodInfo methodInfo)\r
  40                 {\r
  41                         this.methodInfo = methodInfo;\r
  42                 }\r
  43 \r
  44                 private MethodInfo methodInfo;\r
  45 \r
  46                 public ExprBlock Block (IEnumerable<Expr> exprs)\r
  47                 {\r
  48                         return new ExprBlock (this.methodInfo, exprs);\r
  49                 }\r
  50 \r
  51                 public ExprReturn Return ()\r
  52                 {\r
  53                         return new ExprReturn (this.methodInfo);\r
  54                 }\r
  55 \r
  56                 public ExprBox Box (Expr exprToBox)\r
  57                 {\r
  58                         return new ExprBox (this.methodInfo, exprToBox);\r
  59                 }\r
  60 \r
  61                 public ExprNop Nop ()\r
  62                 {\r
  63                         return new ExprNop (this.methodInfo);\r
  64                 }\r
  65 \r
  66                 public ExprLoadArg LoadArg (int index)\r
  67                 {\r
  68                         return new ExprLoadArg (this.methodInfo, index);\r
  69                 }\r
  70 \r
  71                 public ExprLoadArg LoadArg (ParameterDefinition parameterDefinition)\r
  72                 {\r
  73                         return this.LoadArg (parameterDefinition.Sequence);\r
  74                 }\r
  75 \r
  76                 public ExprLoadConstant LoadConstant (object value)\r
  77                 {\r
  78                         return new ExprLoadConstant (this.methodInfo, value);\r
  79                 }\r
  80 \r
  81                 public ExprCall Call (MethodReference method, IEnumerable<Expr> parameters)\r
  82                 {\r
  83                         return new ExprCall (this.methodInfo, method, parameters);\r
  84                 }\r
  85 \r
  86                 public ExprCompareEqual CompareEqual (Expr left, Expr right)\r
  87                 {\r
  88                         return new ExprCompareEqual (this.methodInfo, left, right);\r
  89                 }\r
  90 \r
  91                 public ExprCompareLessThan CompareLessThan (Expr left, Expr right, Sn signage)\r
  92                 {\r
  93                         return new ExprCompareLessThan (this.methodInfo, left, right, signage);\r
  94                 }\r
  95 \r
  96                 public ExprCompareGreaterThan CompareGreaterThan (Expr left, Expr right, Sn signage)\r
  97                 {\r
  98                         return new ExprCompareGreaterThan (this.methodInfo, left, right, signage);\r
  99                 }\r
 100 \r
 101                 public ExprConv Conv (Expr exprToConvert, TypeCode convToType)\r
 102                 {\r
 103                         return new ExprConv (this.methodInfo, exprToConvert, convToType);\r
 104                 }\r
 105 \r
 106                 public ExprAdd Add (Expr left, Expr right, Sn signage, bool overflow)\r
 107                 {\r
 108                         return new ExprAdd (this.methodInfo, left, right, signage, overflow);\r
 109                 }\r
 110 \r
 111                 public ExprSub Sub (Expr left, Expr right, Sn signage, bool overflow)\r
 112                 {\r
 113                         return new ExprSub (this.methodInfo, left, right, signage, overflow);\r
 114                 }\r
 115 \r
 116         }\r
 117 }\r