mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_5.csproj

   1 <?xml version="1.0" encoding="utf-8"?>\r
   2 <Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">\r
   3   <PropertyGroup>\r
   4     <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>\r
   5     <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>\r
   6     <ProductVersion>9.0.30729</ProductVersion>\r
   7     <SchemaVersion>2.0</SchemaVersion>\r
   8     <ProjectGuid>{155AEF28-C81F-405D-9072-9D52780E3E70}</ProjectGuid>\r
   9     <OutputType>Library</OutputType>\r
  10     <NoWarn>1699</NoWarn>\r
  11     <OutputPath>./../../class/lib/net_4_5</OutputPath>\r
  12     <NoStdLib>true</NoStdLib>\r
  13     \r
  14     <AppDesignerFolder>Properties</AppDesignerFolder>\r
  15     <RootNamespace></RootNamespace>\r
  16     <AssemblyName>Mono.CodeContracts</AssemblyName>\r
  17     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>\r
  18     <FileAlignment>512</FileAlignment>\r
  19   </PropertyGroup>\r
  20   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">\r
  21     <DebugSymbols>true</DebugSymbols>\r
  22     <DebugType>full</DebugType>\r
  23     <NoWarn>1699</NoWarn>\r
  24     <Optimize>false</Optimize>\r
  25     <DefineConstants>DEBUG;TRACE;NET_1_1;NET_2_0;NET_3_0;NET_3_5;NET_4_0;NET_4_5</DefineConstants>\r
  26     <ErrorReport>prompt</ErrorReport>\r
  27     <WarningLevel>4</WarningLevel>\r
  28     <AdditionalLibPaths>./../../class/lib/net_4_5</AdditionalLibPaths>\r
  29   </PropertyGroup>\r
  30   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">\r
  31     <DebugType>pdbonly</DebugType>\r
  32     <NoWarn>1699</NoWarn>\r
  33     <Optimize>true</Optimize>\r
  34     <DefineConstants>NET_1_1;NET_2_0;NET_3_0;NET_3_5;NET_4_0;NET_4_5</DefineConstants>\r
  35     <ErrorReport>prompt</ErrorReport>\r
  36     <WarningLevel>4</WarningLevel>\r
  37     <AdditionalLibPaths>./../../class/lib/net_4_5</AdditionalLibPaths>\r
  38   </PropertyGroup>\r
  39   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />\r
  40   <ItemGroup>\r
  41    <Compile Include="..\..\build\common\Consts.cs" />
  42    <Compile Include="Assembly\AssemblyInfo.cs" />
  43    <Compile Include="Mono.CodeContracts.Rewrite\AssemblyRef.cs" />
  44    <Compile Include="Mono.CodeContracts.Rewrite\ConditionTextExtractor.cs" />
  45    <Compile Include="Mono.CodeContracts.Rewrite\ContractRequiresInfo.cs" />
  46    <Compile Include="Mono.CodeContracts.Rewrite\ContractsRuntime.cs" />
  47    <Compile Include="Mono.CodeContracts.Rewrite\Decompile.cs" />
  48    <Compile Include="Mono.CodeContracts.Rewrite\ExprGen.cs" />
  49    <Compile Include="Mono.CodeContracts.Rewrite\MethodInfo.cs" />
  50    <Compile Include="Mono.CodeContracts.Rewrite\PerformRewrite.cs" />
  51    <Compile Include="Mono.CodeContracts.Rewrite\Rewriter.cs" />
  52    <Compile Include="Mono.CodeContracts.Rewrite\RewriterOptions.cs" />
  53    <Compile Include="Mono.CodeContracts.Rewrite\RewriterResults.cs" />
  54    <Compile Include="Mono.CodeContracts.Rewrite\TransformContractsVisitor.cs" />
  55    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprAdd.cs" />
  56    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpArithmetic.cs" />
  57    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpComparison.cs" />
  58    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOp.cs" />
  59    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBlock.cs" />
  60    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBox.cs" />
  61    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCall.cs" />
  62    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareEqual.cs" />
  63    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareGreaterThan.cs" />
  64    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareLessThan.cs" />
  65    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprConv.cs" />
  66    <Compile Include="Mono.CodeContracts.Rewrite.Ast\Expr.cs" />
  67    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadArg.cs" />
  68    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadConstant.cs" />
  69    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprNop.cs" />
  70    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprReturn.cs" />
  71    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprSub.cs" />
  72    <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprType.cs" />
  73    <Compile Include="Mono.CodeContracts.Rewrite.Ast\Sn.cs" />
  74    <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\CompileVisitor.cs" />
  75    <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\ExprVisitor.cs" />
  76    <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\InstructionExtentVisitor.cs" />
  77    <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\SourcePositionVisitor.cs" />
  78    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\AnalysisDriver.cs" />
  79    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicAnalysisDriver.cs" />
  80    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicMethodDriver.cs" />
  81    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\CodeContractsAnalysisDriver.cs" />
  82    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicAnalysisDriver.cs" />
  83    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicMethodDriver.cs" />
  84    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysis.cs" />
  85    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysisFixPoint.cs" />
  86    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodDriver.cs" />
  87    <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodResult.cs" />
  88    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\FullExpressionDecoder.cs" />
  89    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\IFullExpressionDecoder.cs" />
  90    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\QueryVisitor.cs" />
  91    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsBinaryExpression.cs" />
  92    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsInst.cs" />
  93    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsNull.cs" />
  94    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsUnaryExpression.cs" />
  95    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForSizeOf.cs" />
  96    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForUnderlyingVariable.cs" />
  97    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForValueOf.cs" />
  98    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariable.cs" />
  99    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariablesIn.cs" />
 100    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\BinaryExpr.cs" />
 101    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\ConstExpr.cs" />
 102    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\Expr.cs" />
 103    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\IsInstExpr.cs" />
 104    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\NullExpr.cs" />
 105    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\SizeOfExpr.cs" />
 106    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\UnaryExpr.cs" />
 107    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AnalysisDecoder.cs" />
 108    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AssumeDecoder.cs" />
 109    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExprDomain.cs" />
 110    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionAnalysisFacade.cs" />
 111    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoder.cs" />
 112    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoderAdapter.cs" />
 113    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionPrinterFactory.cs" />
 114    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ILDecoderAdapter.cs" />
 115    <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ValueAnalysis.cs" />
 116    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\AccessPathFilter.cs" />
 117    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\IVisibilityCheck.cs" />
 118    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\MethodCallPathElement.cs" />
 119    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\ParameterPathElement.cs" />
 120    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement.cs" />
 121    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElementBase.cs" />
 122    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement`1.cs" />
 123    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathExtensions.cs" />
 124    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElement.cs" />
 125    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElementKind.cs" />
 126    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\AbstractDomainUpdate.cs" />
 127    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EdgeUpdate.cs" />
 128    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EliminateEdgeUpdate.cs" />
 129    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityPair.cs" />
 130    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityUpdate.cs" />
 131    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\IMergeInfo.cs" />
 132    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MergeInfo.cs" />
 133    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdge.cs" />
 134    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdgeUpdate.cs" />
 135    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraph.cs" />
 136    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraphTerm.cs" />
 137    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\Update.cs" />
 138    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AbstractType.cs" />
 139    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AnalysisDecoder.cs" />
 140    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Domain.cs" />
 141    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\FunctionsTable.cs" />
 142    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\HeapAnalysis.cs" />
 143    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IAbstractDomainForEGraph.cs" />
 144    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IConstantInfo.cs" />
 145    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ISymGraph.cs" />
 146    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\LabeledSymbol.cs" />
 147    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\MethodWrapper.cs" />
 148    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ParameterWrapper.cs" />
 149    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\StackToSymbolicAdapter.cs" />
 150    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymbolicValue.cs" />
 151    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymFunction.cs" />
 152    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymValue.cs" />
 153    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\TypeCache.cs" />
 154    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueContextProvider.cs" />
 155    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueDecoder.cs" />
 156    <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Wrapper.cs" />
 157    <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\Analysis.cs" />
 158    <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\Domain.cs" />
 159    <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssertDischarger.cs" />
 160    <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssumeDecoder.cs" />
 161    <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\NonNullAnalysisFacade.cs" />
 162    <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\APCMap.cs" />
 163    <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\SequenceGenerator.cs" />
 164    <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDecoder.cs" />
 165    <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthFactory.cs" />
 166    <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthProvider.cs" />
 167    <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo.cs" />
 168    <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo`1.cs" />
 169    <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayer.cs" />
 170    <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayerFactory.cs" />
 171    <Compile Include="Mono.CodeContracts.Static.Analysis\ICodeLayer.cs" />
 172    <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContext.cs" />
 173    <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContextProvider.cs" />
 174    <Compile Include="Mono.CodeContracts.Static.Analysis\ILPrinter.cs" />
 175    <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContext.cs" />
 176    <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContextProvider.cs" />
 177    <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContext.cs" />
 178    <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContextProvider.cs" />
 179    <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContext.cs" />
 180    <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContextProvider.cs" />
 181    <Compile Include="Mono.CodeContracts.Static.Analysis\PrinterFactory.cs" />
 182    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\CodeVisitor.cs" />
 183    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\DefaultNodeVisitor.cs" />
 184    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IAggregateVisitor.cs" />
 185    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ICodeConsumer.cs" />
 186    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IExpressionILVisitor.cs" />
 187    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IILVisitor.cs" />
 188    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ILVisitorBase.cs" />
 189    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IMethodCodeConsumer.cs" />
 190    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISymbolicExpressionVisitor.cs" />
 191    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISyntheticILVisitor.cs" />
 192    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeInspector.cs" />
 193    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeVisitor.cs" />
 194    <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ValueCodeVisitor.cs" />
 195    <Compile Include="Mono.CodeContracts.Static.AST\ArrayTypeNode.cs" />
 196    <Compile Include="Mono.CodeContracts.Static.AST\AssemblyNode.cs" />
 197    <Compile Include="Mono.CodeContracts.Static.AST\AssignmentStatement.cs" />
 198    <Compile Include="Mono.CodeContracts.Static.AST\BinaryExpression.cs" />
 199    <Compile Include="Mono.CodeContracts.Static.AST\BinaryOperator.cs" />
 200    <Compile Include="Mono.CodeContracts.Static.AST\Block.cs" />
 201    <Compile Include="Mono.CodeContracts.Static.AST\BlockExpression.cs" />
 202    <Compile Include="Mono.CodeContracts.Static.AST\BodyParser.cs" />
 203    <Compile Include="Mono.CodeContracts.Static.AST\Branch.cs" />
 204    <Compile Include="Mono.CodeContracts.Static.AST\CatchFilter.cs" />
 205    <Compile Include="Mono.CodeContracts.Static.AST\Class.cs" />
 206    <Compile Include="Mono.CodeContracts.Static.AST\Construct.cs" />
 207    <Compile Include="Mono.CodeContracts.Static.AST\CoreSystemTypes.cs" />
 208    <Compile Include="Mono.CodeContracts.Static.AST\EndFinally.cs" />
 209    <Compile Include="Mono.CodeContracts.Static.AST\Ensures.cs" />
 210    <Compile Include="Mono.CodeContracts.Static.AST\ExceptionHandler.cs" />
 211    <Compile Include="Mono.CodeContracts.Static.AST\Expression.cs" />
 212    <Compile Include="Mono.CodeContracts.Static.AST\ExpressionStatement.cs" />
 213    <Compile Include="Mono.CodeContracts.Static.AST\FaultHandler.cs" />
 214    <Compile Include="Mono.CodeContracts.Static.AST\Field.cs" />
 215    <Compile Include="Mono.CodeContracts.Static.AST\Literal.cs" />
 216    <Compile Include="Mono.CodeContracts.Static.AST\Local.cs" />
 217    <Compile Include="Mono.CodeContracts.Static.AST\Member.cs" />
 218    <Compile Include="Mono.CodeContracts.Static.AST\MemberBinding.cs" />
 219    <Compile Include="Mono.CodeContracts.Static.AST\Method.cs" />
 220    <Compile Include="Mono.CodeContracts.Static.AST\MethodCall.cs" />
 221    <Compile Include="Mono.CodeContracts.Static.AST\MethodContract.cs" />
 222    <Compile Include="Mono.CodeContracts.Static.AST\MethodContractElement.cs" />
 223    <Compile Include="Mono.CodeContracts.Static.AST\Module.cs" />
 224    <Compile Include="Mono.CodeContracts.Static.AST\NaryExpression.cs" />
 225    <Compile Include="Mono.CodeContracts.Static.AST\Node.cs" />
 226    <Compile Include="Mono.CodeContracts.Static.AST\NodeType.cs" />
 227    <Compile Include="Mono.CodeContracts.Static.AST\OperatorExtensions.cs" />
 228    <Compile Include="Mono.CodeContracts.Static.AST\Parameter.cs" />
 229    <Compile Include="Mono.CodeContracts.Static.AST\Property.cs" />
 230    <Compile Include="Mono.CodeContracts.Static.AST\Reference.cs" />
 231    <Compile Include="Mono.CodeContracts.Static.AST\Requires.cs" />
 232    <Compile Include="Mono.CodeContracts.Static.AST\Return.cs" />
 233    <Compile Include="Mono.CodeContracts.Static.AST\Statement.cs" />
 234    <Compile Include="Mono.CodeContracts.Static.AST\This.cs" />
 235    <Compile Include="Mono.CodeContracts.Static.AST\TypeNode.cs" />
 236    <Compile Include="Mono.CodeContracts.Static.AST\UnaryExpression.cs" />
 237    <Compile Include="Mono.CodeContracts.Static.AST\UnaryOperator.cs" />
 238    <Compile Include="Mono.CodeContracts.Static.AST\Variable.cs" />
 239    <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractExtractor.cs" />
 240    <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractNodes.cs" />
 241    <Compile Include="Mono.CodeContracts.Static.ContractExtraction\GatherLocals.cs" />
 242    <Compile Include="Mono.CodeContracts.Static.ContractExtraction\HelperMethods.cs" />
 243    <Compile Include="Mono.CodeContracts.Static.ContractExtraction\RepresentationForAttribute.cs" />
 244    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\AssumeBlock.cs" />
 245    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockBase.cs" />
 246    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockWithLabels.cs" />
 247    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\CatchFilterEntryBlock.cs" />
 248    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EnsuresBlock.cs" />
 249    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryBlock.cs" />
 250    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryExitBlock.cs" />
 251    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\LabelAdapter.cs" />
 252    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\MethodCallBlock.cs" />
 253    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\NewObjCallBlock.cs" />
 254    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockBuilder.cs" />
 255    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockStartGatherer.cs" />
 256    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\EnsuresFactory.cs" />
 257    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\RequiresFactory.cs" />
 258    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SimpleSubroutineBuilder.cs" />
 259    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineBuilder.cs" />
 260    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineFactory.cs" />
 261    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineWithHandlersBuilder.cs" />
 262    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\EnsuresSubroutine.cs" />
 263    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultFinallySubroutineBase.cs" />
 264    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultSubroutine.cs" />
 265    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FinallySubroutine.cs" />
 266    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodContractSubroutine.cs" />
 267    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodSubroutine.cs" />
 268    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldScanStateMachine.cs" />
 269    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldValueSubroutine.cs" />
 270    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\RequiresSubroutine.cs" />
 271    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SimpleSubroutine.cs" />
 272    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineBase.cs" />
 273    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineFacade.cs" />
 274    <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineWithHandlers.cs" />
 275    <Compile Include="Mono.CodeContracts.Static.ControlFlow\APC.cs" />
 276    <Compile Include="Mono.CodeContracts.Static.ControlFlow\APCDecoder.cs" />
 277    <Compile Include="Mono.CodeContracts.Static.ControlFlow\CFGBlock.cs" />
 278    <Compile Include="Mono.CodeContracts.Static.ControlFlow\ContractFilteredCFG.cs" />
 279    <Compile Include="Mono.CodeContracts.Static.ControlFlow\ControlFlowGraph.cs" />
 280    <Compile Include="Mono.CodeContracts.Static.ControlFlow\Edge.cs" />
 281    <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeMap.cs" />
 282    <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTag.cs" />
 283    <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTagExtensions.cs" />
 284    <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeVisitor.cs" />
 285    <Compile Include="Mono.CodeContracts.Static.ControlFlow\ICFG.cs" />
 286    <Compile Include="Mono.CodeContracts.Static.ControlFlow\IConstantInfo.cs" />
 287    <Compile Include="Mono.CodeContracts.Static.ControlFlow\IHandlerFilter.cs" />
 288    <Compile Include="Mono.CodeContracts.Static.ControlFlow\IMethodInfo.cs" />
 289    <Compile Include="Mono.CodeContracts.Static.ControlFlow\IStackInfo.cs" />
 290    <Compile Include="Mono.CodeContracts.Static.ControlFlow\RemoveBranchDelegator.cs" />
 291    <Compile Include="Mono.CodeContracts.Static.ControlFlow\Subroutine.cs" />
 292    <Compile Include="Mono.CodeContracts.Static.ControlFlow\SubroutineKind.cs" />
 293    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\DataFlowAnalysisBase.cs" />
 294    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeBasedWidening.cs" />
 295    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeConverter.cs" />
 296    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardAnalysis.cs" />
 297    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardDataFlowAnalysisBase.cs" />
 298    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IAnalysis.cs" />
 299    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IFixPointInfo.cs" />
 300    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IWidenStrategy.cs" />
 301    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\Joiner.cs" />
 302    <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\StepWidening.cs" />
 303    <Compile Include="Mono.CodeContracts.Static.DataStructures\AbstractWorkList.cs" />
 304    <Compile Include="Mono.CodeContracts.Static.DataStructures\DecoratorHelper.cs" />
 305    <Compile Include="Mono.CodeContracts.Static.DataStructures\DepthFirst.cs" />
 306    <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleDictionary.cs" />
 307    <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleImmutableMap.cs" />
 308    <Compile Include="Mono.CodeContracts.Static.DataStructures\Dummy.cs" />
 309    <Compile Include="Mono.CodeContracts.Static.DataStructures\EdgeVisitor.cs" />
 310    <Compile Include="Mono.CodeContracts.Static.DataStructures\GraphWrapper.cs" />
 311    <Compile Include="Mono.CodeContracts.Static.DataStructures\IGraph.cs" />
 312    <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableIntMap.cs" />
 313    <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableMap.cs" />
 314    <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableSet.cs" />
 315    <Compile Include="Mono.CodeContracts.Static.DataStructures\IIndexable.cs" />
 316    <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntKeyMap.cs" />
 317    <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntMap.cs" />
 318    <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableMap.cs" />
 319    <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSet.cs" />
 320    <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSetExtensions.cs" />
 321    <Compile Include="Mono.CodeContracts.Static.DataStructures\Indexable.cs" />
 322    <Compile Include="Mono.CodeContracts.Static.DataStructures\ITypedProperties.cs" />
 323    <Compile Include="Mono.CodeContracts.Static.DataStructures\IWorkList.cs" />
 324    <Compile Include="Mono.CodeContracts.Static.DataStructures\LispList.cs" />
 325    <Compile Include="Mono.CodeContracts.Static.DataStructures\LispListExtensions.cs" />
 326    <Compile Include="Mono.CodeContracts.Static.DataStructures\Optional.cs" />
 327    <Compile Include="Mono.CodeContracts.Static.DataStructures\Pair.cs" />
 328    <Compile Include="Mono.CodeContracts.Static.DataStructures\PriorityQueue.cs" />
 329    <Compile Include="Mono.CodeContracts.Static.DataStructures\TypedKey.cs" />
 330    <Compile Include="Mono.CodeContracts.Static.DataStructures\TypedProperties.cs" />
 331    <Compile Include="Mono.CodeContracts.Static.DataStructures\VisitStatus.cs" />
 332    <Compile Include="Mono.CodeContracts.Static.DataStructures\WorkList.cs" />
 333    <Compile Include="Mono.CodeContracts.Static.Extensions\Extensions.cs" />
 334    <Compile Include="Mono.CodeContracts.Static.Lattices\EnvironmentDomain.cs" />
 335    <Compile Include="Mono.CodeContracts.Static.Lattices\FlatDomain.cs" />
 336    <Compile Include="Mono.CodeContracts.Static.Lattices\IAbstractDomain.cs" />
 337    <Compile Include="Mono.CodeContracts.Static.Lattices\SetDomain.cs" />
 338    <Compile Include="Mono.CodeContracts.Static.Providers\CodeContractDecoder.cs" />
 339    <Compile Include="Mono.CodeContracts.Static.Providers\CodeProviderImpl.cs" />
 340    <Compile Include="Mono.CodeContracts.Static.Providers\ICodeProvider.cs" />
 341    <Compile Include="Mono.CodeContracts.Static.Providers\IContractProvider.cs" />
 342    <Compile Include="Mono.CodeContracts.Static.Providers\IILDecoder.cs" />
 343    <Compile Include="Mono.CodeContracts.Static.Providers\IMetaDataProvider.cs" />
 344    <Compile Include="Mono.CodeContracts.Static.Providers\IMethodCodeProvider.cs" />
 345    <Compile Include="Mono.CodeContracts.Static.Providers\MetaDataProvider.cs" />
 346    <Compile Include="Mono.CodeContracts.Static.Proving\AssertionFinder.cs" />
 347    <Compile Include="Mono.CodeContracts.Static.Proving\BasicFacts.cs" />
 348    <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpression.cs" />
 349    <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpressionExtensions.cs" />
 350    <Compile Include="Mono.CodeContracts.Static.Proving\ComposedFactQuery.cs" />
 351    <Compile Include="Mono.CodeContracts.Static.Proving\ConstantPropagationFactQuery.cs" />
 352    <Compile Include="Mono.CodeContracts.Static.Proving\IFactBase.cs" />
 353    <Compile Include="Mono.CodeContracts.Static.Proving\IFactQuery.cs" />
 354    <Compile Include="Mono.CodeContracts.Static.Proving\SimpleLogicInference.cs" />
 355    <Compile Include="Mono.CodeContracts.Static\CheckResults.cs" />
 356    <Compile Include="Mono.CodeContracts.Static\CheckOptions.cs" />
 357    <Compile Include="Mono.CodeContracts.Static\Checker.cs" />
 358    <Compile Include="Mono.CodeContracts.Static\DebugOptions.cs" />
 359    <Compile Include="Mono.CodeContracts.Static\ProofOutcome.cs" />
 360    <Compile Include="Mono.CodeContracts.Static\ProofOutcomeExtensions.cs" />
 361 \r
 362   </ItemGroup>\r
 363   <!-- To modify your build process, add your task inside one of the targets below and uncomment it. \r
 364        Other similar extension points exist, see Microsoft.Common.targets.\r
 365   <Target Name="BeforeBuild">\r
 366   </Target>\r
 367   <Target Name="AfterBuild">\r
 368   </Target>\r
 369   -->\r
 370   <PropertyGroup>\r
 371     <PreBuildEvent></PreBuildEvent>\r
 372   </PropertyGroup>\r
 373   <ItemGroup>\r
 374     <Reference Include="mscorlib.dll">
 375       <SpecificVersion>False</SpecificVersion>
 376       <HintPath>mscorlib.dll</HintPath>
 377     </Reference>
 378     <Reference Include="System">
 379       <SpecificVersion>False</SpecificVersion>
 380       <HintPath>System</HintPath>
 381     </Reference>
 382     <Reference Include="System.Core">
 383       <SpecificVersion>False</SpecificVersion>
 384       <HintPath>System.Core</HintPath>
 385     </Reference>
 386     <Reference Include="Mono.Cecil.dll">
 387       <SpecificVersion>False</SpecificVersion>
 388       <HintPath>Mono.Cecil.dll</HintPath>
 389     </Reference>
 390     <Reference Include="Mono.Cecil.Mdb.dll">
 391       <SpecificVersion>False</SpecificVersion>
 392       <HintPath>Mono.Cecil.Mdb.dll</HintPath>
 393     </Reference>
 394 \r
 395   </ItemGroup>\r
 396   <ItemGroup>\r
 397     <Folder Include="Properties\" />\r
 398   </ItemGroup>\r
 399   \r
 400 </Project>\r
 401