-//\r
-// TransformContractsVisitor.cs\r
-//\r
-// Authors:\r
-// Chris Bacon (chrisbacon76@gmail.com)\r
-//\r
-// Copyright (C) 2010 Novell, Inc (http://www.novell.com)\r
-//\r
-// Permission is hereby granted, free of charge, to any person obtaining\r
-// a copy of this software and associated documentation files (the\r
-// "Software"), to deal in the Software without restriction, including\r
-// without limitation the rights to use, copy, modify, merge, publish,\r
-// distribute, sublicense, and/or sell copies of the Software, and to\r
-// permit persons to whom the Software is furnished to do so, subject to\r
-// the following conditions:\r
-// \r
-// The above copyright notice and this permission notice shall be\r
-// included in all copies or substantial portions of the Software.\r
-// \r
-// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,\r
-// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF\r
-// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND\r
-// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE\r
-// LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION\r
-// OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION\r
-// WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.\r
-//\r
-\r
-using System;\r
-using System.Collections.Generic;\r
-using System.Linq;\r
-using System.Text;\r
-using Mono.CodeContracts.Rewrite;\r
-using Mono.CodeContracts.Rewrite.Ast;\r
-using System.Diagnostics.Contracts;\r
-using Mono.Cecil;\r
-using Mono.CodeContracts.Rewrite.AstVisitors;\r
-using Mono.Cecil.Cil;\r
-\r
-namespace Mono.CodeContracts.Rewrite {\r
- class TransformContractsVisitor : ExprVisitor {\r
-\r
- public TransformContractsVisitor (MethodDefinition method, Dictionary<Expr, Instruction> instructionLookup, ContractsRuntime contractsRuntime)\r
- {\r
- this.module = method.Module;\r
- this.instructionLookup = instructionLookup;\r
- this.contractsRuntime = contractsRuntime;\r
- this.methodInfo = new MethodInfo (method);\r
- }\r
-\r
- private ModuleDefinition module;\r
- private Dictionary<Expr, Instruction> instructionLookup;\r
- private ContractsRuntime contractsRuntime;\r
- private MethodInfo methodInfo;\r
-\r
- private List<ContractRequiresInfo> contractRequiresInfo = new List<ContractRequiresInfo> ();\r
-\r
- public IEnumerable<ContractRequiresInfo> ContractRequiresInfo {\r
- get { return this.contractRequiresInfo; }\r
- }\r
-\r
- protected override Expr VisitCall (ExprCall e)\r
- {\r
- var call = (ExprCall)base.VisitCall (e);\r
-\r
- var method = e.Method;\r
- if (method.DeclaringType.FullName == "System.Diagnostics.Contracts.Contract") {\r
- switch (method.Name) {\r
- case "Requires":\r
- if (!method.HasGenericParameters) {\r
- switch (method.Parameters.Count) {\r
- case 1:\r
- return this.ProcessRequires1 (call);\r
- case 2:\r
- return this.ProcessRequires2 (call);\r
- default:\r
- throw new NotSupportedException ("Invalid number of parameters to Contract.Requires()");\r
- }\r
- } else {\r
- goto default;\r
- }\r
- default:\r
- throw new NotSupportedException ("Cannot handle Contract." + e.Method.Name + "()");\r
- }\r
- }\r
-\r
- return call;\r
- }\r
-\r
- private string GetConditionString (Expr e)\r
- {\r
- var vSource = new SourcePositionVisitor (this.instructionLookup);\r
- vSource.Visit (e);\r
- var extractor = new ConditionTextExtractor (vSource.SourceCodeFileName, vSource.StartPosition, vSource.EndPosition);\r
- return extractor.GetConditionText ();\r
- }\r
-\r
- private Expr ProcessRequires1 (ExprCall e)\r
- {\r
- MethodDefinition mRequires = this.contractsRuntime.GetRequires ();\r
- Expr conditionExpr = e.Parameters.First ();\r
- Expr nullArgExpr = new ExprLoadConstant (this.methodInfo, null);\r
- string conditionText = this.GetConditionString (e);\r
- Expr conditionStringExpr = new ExprLoadConstant (this.methodInfo, conditionText);\r
- var call = new ExprCall (this.methodInfo, mRequires, new Expr [] { conditionExpr, nullArgExpr, conditionStringExpr });\r
-\r
- this.contractRequiresInfo.Add (new ContractRequiresInfo (e, call));\r
-\r
- return call;\r
- }\r
-\r
- private Expr ProcessRequires2 (ExprCall e)\r
- {\r
- MethodDefinition mRequires = this.contractsRuntime.GetRequires ();\r
- Expr conditionExpr = e.Parameters.First ();\r
- Expr msgExpr = e.Parameters.ElementAt (1);\r
- string conditionText = this.GetConditionString (e);\r
- Expr conditionStringExpr = new ExprLoadConstant (this.methodInfo, conditionText);\r
- var call = new ExprCall (this.methodInfo, mRequires, new Expr [] { conditionExpr, msgExpr, conditionStringExpr });\r
-\r
- this.contractRequiresInfo.Add (new ContractRequiresInfo (e, call));\r
-\r
- return call;\r
- }\r
-\r
- }\r
-}\r
+//
+// TransformContractsVisitor.cs
+//
+// Authors:
+// Chris Bacon (chrisbacon76@gmail.com)
+//
+// Copyright (C) 2010 Chris Bacon
+//
+// Permission is hereby granted, free of charge, to any person obtaining
+// a copy of this software and associated documentation files (the
+// "Software"), to deal in the Software without restriction, including
+// without limitation the rights to use, copy, modify, merge, publish,
+// distribute, sublicense, and/or sell copies of the Software, and to
+// permit persons to whom the Software is furnished to do so, subject to
+// the following conditions:
+//
+// The above copyright notice and this permission notice shall be
+// included in all copies or substantial portions of the Software.
+//
+// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+// LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+// OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+// WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+//
+
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Text;
+using Mono.CodeContracts.Rewrite;
+using Mono.CodeContracts.Rewrite.Ast;
+using System.Diagnostics.Contracts;
+using Mono.Cecil;
+using Mono.CodeContracts.Rewrite.AstVisitors;
+using Mono.Cecil.Cil;
+
+namespace Mono.CodeContracts.Rewrite {
+ class TransformContractsVisitor : ExprVisitor {
+
+ public TransformContractsVisitor (ModuleDefinition module, MethodDefinition method, Dictionary<Expr, Instruction> instructionLookup, ContractsRuntime contractsRuntime)
+ {
+ //this.module = method.Module;
+ this.instructionLookup = instructionLookup;
+ this.contractsRuntime = contractsRuntime;
+ this.methodInfo = new MethodInfo (module, method);
+ }
+
+ //private ModuleDefinition module;
+ private Dictionary<Expr, Instruction> instructionLookup;
+ private ContractsRuntime contractsRuntime;
+ private MethodInfo methodInfo;
+
+ private List<ContractRequiresInfo> contractRequiresInfo = new List<ContractRequiresInfo> ();
+
+ public IEnumerable<ContractRequiresInfo> ContractRequiresInfo {
+ get { return this.contractRequiresInfo; }
+ }
+
+ protected override Expr VisitCall (ExprCall e)
+ {
+ var call = (ExprCall)base.VisitCall (e);
+
+ var method = e.Method;
+ if (method.DeclaringType.FullName == "System.Diagnostics.Contracts.Contract") {
+ switch (method.Name) {
+ case "Requires":
+ if (!method.HasGenericParameters) {
+ switch (method.Parameters.Count) {
+ case 1:
+ return this.ProcessRequires1 (call);
+ case 2:
+ return this.ProcessRequires2 (call);
+ default:
+ throw new NotSupportedException ("Invalid number of parameters to Contract.Requires()");
+ }
+ } else {
+ goto default;
+ }
+ default:
+ throw new NotSupportedException ("Cannot handle Contract." + e.Method.Name + "()");
+ }
+ }
+
+ return call;
+ }
+
+ private string GetConditionString (Expr e)
+ {
+ var vSource = new SourcePositionVisitor (this.instructionLookup);
+ vSource.Visit (e);
+ var extractor = new ConditionTextExtractor (vSource.SourceCodeFileName, vSource.StartPosition, vSource.EndPosition);
+ return extractor.GetConditionText ();
+ }
+
+ private Expr ProcessRequires1 (ExprCall e)
+ {
+ MethodDefinition mRequires = this.contractsRuntime.GetRequires ();
+ Expr conditionExpr = e.Parameters.First ();
+ Expr nullArgExpr = new ExprLoadConstant (this.methodInfo, null);
+ string conditionText = this.GetConditionString (e);
+ Expr conditionStringExpr = new ExprLoadConstant (this.methodInfo, conditionText);
+ var call = new ExprCall (this.methodInfo, mRequires, new Expr [] { conditionExpr, nullArgExpr, conditionStringExpr });
+
+ this.contractRequiresInfo.Add (new ContractRequiresInfo (e, call));
+
+ return call;
+ }
+
+ private Expr ProcessRequires2 (ExprCall e)
+ {
+ MethodDefinition mRequires = this.contractsRuntime.GetRequires ();
+ Expr conditionExpr = e.Parameters.First ();
+ Expr msgExpr = e.Parameters.ElementAt (1);
+ string conditionText = this.GetConditionString (e);
+ Expr conditionStringExpr = new ExprLoadConstant (this.methodInfo, conditionText);
+ var call = new ExprCall (this.methodInfo, mRequires, new Expr [] { conditionExpr, msgExpr, conditionStringExpr });
+
+ this.contractRequiresInfo.Add (new ContractRequiresInfo (e, call));
+
+ return call;
+ }
+
+ }
+}