diff options
Diffstat (limited to 'mcs/class/Mono.CodeContracts')
-rw-r--r-- | mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_0.csproj | 698 | ||||
-rw-r--r-- | mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_5.csproj | 404 |
2 files changed, 755 insertions, 347 deletions
diff --git a/mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_0.csproj b/mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_0.csproj index f7bccdc7c69..636dae4a079 100644 --- a/mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_0.csproj +++ b/mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_0.csproj @@ -1,5 +1,5 @@ -<?xml version="1.0" encoding="utf-8"?>
-<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
+<?xml version="1.0" encoding="utf-8"?>
+<Project ToolsVersion="3.5" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
<Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
@@ -11,10 +11,11 @@ <OutputPath>./../../class/lib/net_4_0</OutputPath>
<DefineConstants>NET_1_1;NET_2_0;NET_3_0;NET_3_5;NET_4_0</DefineConstants>
<NoStdLib>true</NoStdLib>
+
<AppDesignerFolder>Properties</AppDesignerFolder>
<RootNamespace>mscorlib</RootNamespace>
<AssemblyName>Mono.CodeContracts</AssemblyName>
- <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
+ <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<StartupObject>
</StartupObject>
@@ -40,326 +41,327 @@ </PropertyGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<ItemGroup>
- <Compile Include="..\..\build\common\Consts.cs" />
- <Compile Include="Assembly\AssemblyInfo.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\AssemblyRef.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\ConditionTextExtractor.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\ContractRequiresInfo.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\ContractsRuntime.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\Decompile.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\ExprGen.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\MethodInfo.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\PerformRewrite.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\Rewriter.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\RewriterOptions.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\RewriterResults.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite\TransformContractsVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprAdd.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpArithmetic.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpComparison.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOp.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBlock.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBox.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCall.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareEqual.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareGreaterThan.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareLessThan.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprConv.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\Expr.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadArg.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadConstant.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprNop.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprReturn.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprSub.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprType.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.Ast\Sn.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\CompileVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\ExprVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\InstructionExtentVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\SourcePositionVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\AnalysisDriver.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicAnalysisDriver.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicMethodDriver.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\CodeContractsAnalysisDriver.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicAnalysisDriver.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicMethodDriver.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysis.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysisFixPoint.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodDriver.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodResult.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\FullExpressionDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\IFullExpressionDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\QueryVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsBinaryExpression.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsInst.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsNull.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsUnaryExpression.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForSizeOf.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForUnderlyingVariable.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForValueOf.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariable.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariablesIn.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\BinaryExpr.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\ConstExpr.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\Expr.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\IsInstExpr.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\NullExpr.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\SizeOfExpr.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\UnaryExpr.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AnalysisDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AssumeDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExprDomain.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionAnalysisFacade.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoderAdapter.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionPrinterFactory.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ILDecoderAdapter.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ValueAnalysis.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\AccessPathFilter.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\IVisibilityCheck.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\MethodCallPathElement.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\ParameterPathElement.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElementBase.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement`1.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathExtensions.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElement.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElementKind.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\AbstractDomainUpdate.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EdgeUpdate.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EliminateEdgeUpdate.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityPair.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityUpdate.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\IMergeInfo.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MergeInfo.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdge.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdgeUpdate.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraph.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraphTerm.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\Update.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AbstractType.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AnalysisDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Domain.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\FunctionsTable.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\HeapAnalysis.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IAbstractDomainForEGraph.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IConstantInfo.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ISymGraph.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\LabeledSymbol.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\MethodWrapper.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ParameterWrapper.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\StackToSymbolicAdapter.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymbolicValue.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymFunction.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymValue.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\TypeCache.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueContextProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Wrapper.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\Analysis.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\Domain.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssertDischarger.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssumeDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\NonNullAnalysisFacade.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\APCMap.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\SequenceGenerator.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthFactory.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo`1.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayer.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayerFactory.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\ICodeLayer.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContext.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContextProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\ILPrinter.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContext.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContextProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContext.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContextProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContext.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContextProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Analysis\PrinterFactory.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\CodeVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\DefaultNodeVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IAggregateVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ICodeConsumer.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IExpressionILVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IILVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ILVisitorBase.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IMethodCodeConsumer.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISymbolicExpressionVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISyntheticILVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeInspector.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ValueCodeVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\ArrayTypeNode.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\AssemblyNode.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\AssignmentStatement.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\BinaryExpression.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\BinaryOperator.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Block.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\BlockExpression.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\BodyParser.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Branch.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\CatchFilter.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Class.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Construct.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\CoreSystemTypes.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\EndFinally.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Ensures.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\ExceptionHandler.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Expression.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\ExpressionStatement.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\FaultHandler.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Field.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Literal.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Local.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Member.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\MemberBinding.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Method.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\MethodCall.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\MethodContract.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\MethodContractElement.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Module.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\NaryExpression.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Node.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\NodeType.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\OperatorExtensions.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Parameter.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Property.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Reference.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Requires.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Return.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Statement.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\This.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\TypeNode.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\UnaryExpression.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\UnaryOperator.cs" />
- <Compile Include="Mono.CodeContracts.Static.AST\Variable.cs" />
- <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractExtractor.cs" />
- <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractNodes.cs" />
- <Compile Include="Mono.CodeContracts.Static.ContractExtraction\GatherLocals.cs" />
- <Compile Include="Mono.CodeContracts.Static.ContractExtraction\HelperMethods.cs" />
- <Compile Include="Mono.CodeContracts.Static.ContractExtraction\RepresentationForAttribute.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\AssumeBlock.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockBase.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockWithLabels.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\CatchFilterEntryBlock.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EnsuresBlock.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryBlock.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryExitBlock.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\LabelAdapter.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\MethodCallBlock.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\NewObjCallBlock.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockBuilder.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockStartGatherer.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\EnsuresFactory.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\RequiresFactory.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SimpleSubroutineBuilder.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineBuilder.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineFactory.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineWithHandlersBuilder.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\EnsuresSubroutine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultFinallySubroutineBase.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultSubroutine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FinallySubroutine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodContractSubroutine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodSubroutine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldScanStateMachine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldValueSubroutine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\RequiresSubroutine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SimpleSubroutine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineBase.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineFacade.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineWithHandlers.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\APC.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\APCDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\CFGBlock.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\ContractFilteredCFG.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\ControlFlowGraph.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\Edge.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeMap.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTag.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTagExtensions.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\ICFG.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\IConstantInfo.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\IHandlerFilter.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\IMethodInfo.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\IStackInfo.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\RemoveBranchDelegator.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\Subroutine.cs" />
- <Compile Include="Mono.CodeContracts.Static.ControlFlow\SubroutineKind.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\DataFlowAnalysisBase.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeBasedWidening.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeConverter.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardAnalysis.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardDataFlowAnalysisBase.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IAnalysis.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IFixPointInfo.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IWidenStrategy.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\Joiner.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\StepWidening.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\AbstractWorkList.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\DecoratorHelper.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\DepthFirst.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleDictionary.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleImmutableMap.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\Dummy.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\EdgeVisitor.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\GraphWrapper.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\IGraph.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableIntMap.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableMap.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableSet.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\IIndexable.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntKeyMap.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntMap.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableMap.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSet.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSetExtensions.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\Indexable.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\ITypedProperties.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\IWorkList.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\LispList.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\LispListExtensions.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\Optional.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\Pair.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\PriorityQueue.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\TypedKey.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\TypedProperties.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\VisitStatus.cs" />
- <Compile Include="Mono.CodeContracts.Static.DataStructures\WorkList.cs" />
- <Compile Include="Mono.CodeContracts.Static.Extensions\Extensions.cs" />
- <Compile Include="Mono.CodeContracts.Static.Lattices\EnvironmentDomain.cs" />
- <Compile Include="Mono.CodeContracts.Static.Lattices\FlatDomain.cs" />
- <Compile Include="Mono.CodeContracts.Static.Lattices\IAbstractDomain.cs" />
- <Compile Include="Mono.CodeContracts.Static.Lattices\SetDomain.cs" />
- <Compile Include="Mono.CodeContracts.Static.Providers\CodeContractDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Providers\CodeProviderImpl.cs" />
- <Compile Include="Mono.CodeContracts.Static.Providers\ICodeProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Providers\IContractProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Providers\IILDecoder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Providers\IMetaDataProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Providers\IMethodCodeProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Providers\MetaDataProvider.cs" />
- <Compile Include="Mono.CodeContracts.Static.Proving\AssertionFinder.cs" />
- <Compile Include="Mono.CodeContracts.Static.Proving\BasicFacts.cs" />
- <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpression.cs" />
- <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpressionExtensions.cs" />
- <Compile Include="Mono.CodeContracts.Static.Proving\ComposedFactQuery.cs" />
- <Compile Include="Mono.CodeContracts.Static.Proving\ConstantPropagationFactQuery.cs" />
- <Compile Include="Mono.CodeContracts.Static.Proving\IFactBase.cs" />
- <Compile Include="Mono.CodeContracts.Static.Proving\IFactQuery.cs" />
- <Compile Include="Mono.CodeContracts.Static.Proving\SimpleLogicInference.cs" />
- <Compile Include="Mono.CodeContracts.Static\CheckResults.cs" />
- <Compile Include="Mono.CodeContracts.Static\CheckOptions.cs" />
- <Compile Include="Mono.CodeContracts.Static\Checker.cs" />
- <Compile Include="Mono.CodeContracts.Static\DebugOptions.cs" />
- <Compile Include="Mono.CodeContracts.Static\ProofOutcome.cs" />
- <Compile Include="Mono.CodeContracts.Static\ProofOutcomeExtensions.cs" />
+ <Compile Include="..\..\build\common\Consts.cs" /> + <Compile Include="Assembly\AssemblyInfo.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\AssemblyRef.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\ConditionTextExtractor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\ContractRequiresInfo.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\ContractsRuntime.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\Decompile.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\ExprGen.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\MethodInfo.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\PerformRewrite.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\Rewriter.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\RewriterOptions.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\RewriterResults.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\TransformContractsVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprAdd.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpArithmetic.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpComparison.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOp.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBlock.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBox.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCall.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareEqual.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareGreaterThan.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareLessThan.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprConv.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\Expr.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadArg.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadConstant.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprNop.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprReturn.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprSub.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprType.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\Sn.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\CompileVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\ExprVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\InstructionExtentVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\SourcePositionVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\AnalysisDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicAnalysisDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicMethodDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\CodeContractsAnalysisDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicAnalysisDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicMethodDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysisFixPoint.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodResult.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\FullExpressionDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\IFullExpressionDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\QueryVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsBinaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsInst.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsNull.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsUnaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForSizeOf.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForUnderlyingVariable.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForValueOf.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariable.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariablesIn.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\BinaryExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\ConstExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\Expr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\IsInstExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\NullExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\SizeOfExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\UnaryExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AnalysisDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AssumeDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExprDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionAnalysisFacade.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoderAdapter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionPrinterFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ILDecoderAdapter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ValueAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\AccessPathFilter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\IVisibilityCheck.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\MethodCallPathElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\ParameterPathElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElementBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement`1.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElementKind.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\AbstractDomainUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EdgeUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EliminateEdgeUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityPair.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\IMergeInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MergeInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdge.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdgeUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraphTerm.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\Update.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AbstractType.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AnalysisDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Domain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\FunctionsTable.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\HeapAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IAbstractDomainForEGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IConstantInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ISymGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\LabeledSymbol.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\MethodWrapper.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ParameterWrapper.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\StackToSymbolicAdapter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymbolicValue.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymFunction.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymValue.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\TypeCache.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Wrapper.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\Analysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\Domain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssertDischarger.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssumeDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\NonNullAnalysisFacade.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\APCMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\SequenceGenerator.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo`1.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayer.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayerFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\ICodeLayer.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContext.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\ILPrinter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContext.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContext.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContext.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\PrinterFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\CodeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\DefaultNodeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IAggregateVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ICodeConsumer.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IExpressionILVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IILVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ILVisitorBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IMethodCodeConsumer.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISymbolicExpressionVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISyntheticILVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeInspector.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ValueCodeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\ArrayTypeNode.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\AssemblyNode.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\AssignmentStatement.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\BinaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\BinaryOperator.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Block.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\BlockExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\BodyParser.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Branch.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\CatchFilter.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Class.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Construct.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\CoreSystemTypes.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\EndFinally.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Ensures.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\ExceptionHandler.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Expression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\ExpressionStatement.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\FaultHandler.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Field.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Literal.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Local.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Member.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\MemberBinding.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Method.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\MethodCall.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\MethodContract.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\MethodContractElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Module.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\NaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Node.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\NodeType.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\OperatorExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Parameter.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Property.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Reference.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Requires.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Return.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Statement.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\This.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\TypeNode.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\UnaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\UnaryOperator.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Variable.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractExtractor.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractNodes.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\GatherLocals.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\HelperMethods.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\RepresentationForAttribute.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\AssumeBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockWithLabels.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\CatchFilterEntryBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EnsuresBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryExitBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\LabelAdapter.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\MethodCallBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\NewObjCallBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockBuilder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockStartGatherer.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\EnsuresFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\RequiresFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SimpleSubroutineBuilder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineBuilder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineWithHandlersBuilder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\EnsuresSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultFinallySubroutineBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FinallySubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodContractSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldScanStateMachine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldValueSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\RequiresSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SimpleSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineFacade.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineWithHandlers.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\APC.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\APCDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\CFGBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\ContractFilteredCFG.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\ControlFlowGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\Edge.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTag.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTagExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\ICFG.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\IConstantInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\IHandlerFilter.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\IMethodInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\IStackInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\RemoveBranchDelegator.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\Subroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\SubroutineKind.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\DataFlowAnalysisBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeBasedWidening.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeConverter.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardDataFlowAnalysisBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IFixPointInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IWidenStrategy.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\Joiner.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\StepWidening.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\AbstractWorkList.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\DecoratorHelper.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\DepthFirst.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleDictionary.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleImmutableMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\Dummy.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\EdgeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\GraphWrapper.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableIntMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableSet.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IIndexable.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntKeyMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSet.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSetExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\Indexable.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ITypedProperties.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IWorkList.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\LispList.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\LispListExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\Optional.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\Pair.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\PriorityQueue.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\TypedKey.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\TypedProperties.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\VisitStatus.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\WorkList.cs" /> + <Compile Include="Mono.CodeContracts.Static.Extensions\Extensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.Lattices\EnvironmentDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Lattices\FlatDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Lattices\IAbstractDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Lattices\SetDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\CodeContractDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\CodeProviderImpl.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\ICodeProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\IContractProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\IILDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\IMetaDataProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\IMethodCodeProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\MetaDataProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\AssertionFinder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\BasicFacts.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpressionExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\ComposedFactQuery.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\ConstantPropagationFactQuery.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\IFactBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\IFactQuery.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\SimpleLogicInference.cs" /> + <Compile Include="Mono.CodeContracts.Static\CheckResults.cs" /> + <Compile Include="Mono.CodeContracts.Static\CheckOptions.cs" /> + <Compile Include="Mono.CodeContracts.Static\Checker.cs" /> + <Compile Include="Mono.CodeContracts.Static\DebugOptions.cs" /> + <Compile Include="Mono.CodeContracts.Static\ProofOutcome.cs" /> + <Compile Include="Mono.CodeContracts.Static\ProofOutcomeExtensions.cs" /> +
</ItemGroup>
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
Other similar extension points exist, see Microsoft.Common.targets.
@@ -371,30 +373,32 @@ <PropertyGroup>
<PreBuildEvent></PreBuildEvent>
</PropertyGroup>
- <ItemGroup>
- <Reference Include="mscorlib.dll">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\\lib\build\mscorlib.dll</HintPath>
- </Reference>
- <Reference Include="System">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\\lib\build\System</HintPath>
- </Reference>
- <Reference Include="System.Core">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\\lib\build\System.Core</HintPath>
- </Reference>
- <Reference Include="Mono.Cecil.dll">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\\lib\build\Mono.Cecil.dll</HintPath>
- </Reference>
- <Reference Include="Mono.Cecil.Mdb.dll">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\\lib\build\Mono.Cecil.Mdb.dll</HintPath>
- </Reference>
- </ItemGroup>
+ <ItemGroup> + <Reference Include="mscorlib.dll"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\mscorlib.dll</HintPath> + </Reference> + <Reference Include="System"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\System</HintPath> + </Reference> + <Reference Include="System.Core"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\System.Core</HintPath> + </Reference> + <Reference Include="Mono.Cecil.dll"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\Mono.Cecil.dll</HintPath> + </Reference> + <Reference Include="Mono.Cecil.Mdb.dll"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\Mono.Cecil.Mdb.dll</HintPath> + </Reference> + </ItemGroup> +
<ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
-
-</Project>
\ No newline at end of file +
+</Project>
+ diff --git a/mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_5.csproj b/mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_5.csproj new file mode 100644 index 00000000000..b3de817a9ff --- /dev/null +++ b/mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_5.csproj @@ -0,0 +1,404 @@ +<?xml version="1.0" encoding="utf-8"?>
+<Project ToolsVersion="3.5" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
+ <PropertyGroup>
+ <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
+ <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
+ <ProductVersion>9.0.30729</ProductVersion>
+ <SchemaVersion>2.0</SchemaVersion>
+ <ProjectGuid>{155AEF28-C81F-405D-9072-9D52780E3E70}</ProjectGuid>
+ <OutputType>Library</OutputType>
+ <NoWarn>1699</NoWarn>
+ <OutputPath>./../../class/lib/net_4_5</OutputPath>
+ <DefineConstants>NET_1_1;NET_2_0;NET_3_0;NET_3_5;NET_4_0;NET_4_5</DefineConstants>
+ <NoStdLib>true</NoStdLib>
+
+ <AppDesignerFolder>Properties</AppDesignerFolder>
+ <RootNamespace>mscorlib</RootNamespace>
+ <AssemblyName>Mono.CodeContracts</AssemblyName>
+ <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
+ <FileAlignment>512</FileAlignment>
+ <StartupObject>
+ </StartupObject>
+ </PropertyGroup>
+ <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
+ <DebugSymbols>true</DebugSymbols>
+ <DebugType>full</DebugType>
+ <NoWarn>1699</NoWarn>
+ <Optimize>true</Optimize>
+ <DefineConstants>NET_1_1;NET_2_0;NET_3_0;NET_3_5;NET_4_0;NET_4_5</DefineConstants>
+ <ErrorReport>prompt</ErrorReport>
+ <WarningLevel>4</WarningLevel>
+ <AdditionalLibPaths>./../../class/lib/net_4_5</AdditionalLibPaths>
+ </PropertyGroup>
+ <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
+ <DebugType>pdbonly</DebugType>
+ <NoWarn>1699</NoWarn>
+ <Optimize>true</Optimize>
+ <DefineConstants>NET_1_1;NET_2_0;NET_3_0;NET_3_5;NET_4_0;NET_4_5</DefineConstants>
+ <ErrorReport>prompt</ErrorReport>
+ <WarningLevel>4</WarningLevel>
+ <AdditionalLibPaths>./../../class/lib/net_4_5</AdditionalLibPaths>
+ </PropertyGroup>
+ <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
+ <ItemGroup>
+ <Compile Include="..\..\build\common\Consts.cs" /> + <Compile Include="Assembly\AssemblyInfo.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\AssemblyRef.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\ConditionTextExtractor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\ContractRequiresInfo.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\ContractsRuntime.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\Decompile.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\ExprGen.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\MethodInfo.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\PerformRewrite.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\Rewriter.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\RewriterOptions.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\RewriterResults.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite\TransformContractsVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprAdd.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpArithmetic.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpComparison.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOp.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBlock.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBox.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCall.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareEqual.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareGreaterThan.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareLessThan.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprConv.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\Expr.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadArg.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadConstant.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprNop.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprReturn.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprSub.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprType.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.Ast\Sn.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\CompileVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\ExprVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\InstructionExtentVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\SourcePositionVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\AnalysisDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicAnalysisDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicMethodDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\CodeContractsAnalysisDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicAnalysisDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicMethodDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysisFixPoint.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodDriver.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodResult.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\FullExpressionDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\IFullExpressionDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\QueryVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsBinaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsInst.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsNull.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsUnaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForSizeOf.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForUnderlyingVariable.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForValueOf.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariable.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariablesIn.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\BinaryExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\ConstExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\Expr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\IsInstExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\NullExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\SizeOfExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\UnaryExpr.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AnalysisDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AssumeDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExprDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionAnalysisFacade.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoderAdapter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionPrinterFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ILDecoderAdapter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ValueAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\AccessPathFilter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\IVisibilityCheck.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\MethodCallPathElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\ParameterPathElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElementBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement`1.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElementKind.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\AbstractDomainUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EdgeUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EliminateEdgeUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityPair.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\IMergeInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MergeInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdge.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdgeUpdate.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraphTerm.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\Update.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AbstractType.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AnalysisDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Domain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\FunctionsTable.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\HeapAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IAbstractDomainForEGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IConstantInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ISymGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\LabeledSymbol.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\MethodWrapper.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ParameterWrapper.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\StackToSymbolicAdapter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymbolicValue.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymFunction.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymValue.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\TypeCache.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Wrapper.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\Analysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\Domain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssertDischarger.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssumeDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\NonNullAnalysisFacade.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\APCMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\SequenceGenerator.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo`1.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayer.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayerFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\ICodeLayer.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContext.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\ILPrinter.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContext.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContext.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContext.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContextProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Analysis\PrinterFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\CodeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\DefaultNodeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IAggregateVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ICodeConsumer.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IExpressionILVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IILVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ILVisitorBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IMethodCodeConsumer.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISymbolicExpressionVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISyntheticILVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeInspector.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ValueCodeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\ArrayTypeNode.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\AssemblyNode.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\AssignmentStatement.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\BinaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\BinaryOperator.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Block.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\BlockExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\BodyParser.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Branch.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\CatchFilter.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Class.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Construct.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\CoreSystemTypes.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\EndFinally.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Ensures.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\ExceptionHandler.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Expression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\ExpressionStatement.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\FaultHandler.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Field.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Literal.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Local.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Member.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\MemberBinding.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Method.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\MethodCall.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\MethodContract.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\MethodContractElement.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Module.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\NaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Node.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\NodeType.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\OperatorExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Parameter.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Property.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Reference.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Requires.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Return.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Statement.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\This.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\TypeNode.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\UnaryExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\UnaryOperator.cs" /> + <Compile Include="Mono.CodeContracts.Static.AST\Variable.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractExtractor.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractNodes.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\GatherLocals.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\HelperMethods.cs" /> + <Compile Include="Mono.CodeContracts.Static.ContractExtraction\RepresentationForAttribute.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\AssumeBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockWithLabels.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\CatchFilterEntryBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EnsuresBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryExitBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\LabelAdapter.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\MethodCallBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\NewObjCallBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockBuilder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockStartGatherer.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\EnsuresFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\RequiresFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SimpleSubroutineBuilder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineBuilder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineFactory.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineWithHandlersBuilder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\EnsuresSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultFinallySubroutineBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FinallySubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodContractSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldScanStateMachine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldValueSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\RequiresSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SimpleSubroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineFacade.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineWithHandlers.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\APC.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\APCDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\CFGBlock.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\ContractFilteredCFG.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\ControlFlowGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\Edge.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTag.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTagExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\ICFG.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\IConstantInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\IHandlerFilter.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\IMethodInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\IStackInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\RemoveBranchDelegator.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\Subroutine.cs" /> + <Compile Include="Mono.CodeContracts.Static.ControlFlow\SubroutineKind.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\DataFlowAnalysisBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeBasedWidening.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeConverter.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardDataFlowAnalysisBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IAnalysis.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IFixPointInfo.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IWidenStrategy.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\Joiner.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\StepWidening.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\AbstractWorkList.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\DecoratorHelper.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\DepthFirst.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleDictionary.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleImmutableMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\Dummy.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\EdgeVisitor.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\GraphWrapper.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IGraph.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableIntMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableSet.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IIndexable.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntKeyMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableMap.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSet.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSetExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\Indexable.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\ITypedProperties.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\IWorkList.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\LispList.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\LispListExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\Optional.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\Pair.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\PriorityQueue.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\TypedKey.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\TypedProperties.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\VisitStatus.cs" /> + <Compile Include="Mono.CodeContracts.Static.DataStructures\WorkList.cs" /> + <Compile Include="Mono.CodeContracts.Static.Extensions\Extensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.Lattices\EnvironmentDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Lattices\FlatDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Lattices\IAbstractDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Lattices\SetDomain.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\CodeContractDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\CodeProviderImpl.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\ICodeProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\IContractProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\IILDecoder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\IMetaDataProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\IMethodCodeProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Providers\MetaDataProvider.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\AssertionFinder.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\BasicFacts.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpression.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpressionExtensions.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\ComposedFactQuery.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\ConstantPropagationFactQuery.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\IFactBase.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\IFactQuery.cs" /> + <Compile Include="Mono.CodeContracts.Static.Proving\SimpleLogicInference.cs" /> + <Compile Include="Mono.CodeContracts.Static\CheckResults.cs" /> + <Compile Include="Mono.CodeContracts.Static\CheckOptions.cs" /> + <Compile Include="Mono.CodeContracts.Static\Checker.cs" /> + <Compile Include="Mono.CodeContracts.Static\DebugOptions.cs" /> + <Compile Include="Mono.CodeContracts.Static\ProofOutcome.cs" /> + <Compile Include="Mono.CodeContracts.Static\ProofOutcomeExtensions.cs" /> +
+ </ItemGroup>
+ <!-- To modify your build process, add your task inside one of the targets below and uncomment it.
+ Other similar extension points exist, see Microsoft.Common.targets.
+ <Target Name="BeforeBuild">
+ </Target>
+ <Target Name="AfterBuild">
+ </Target>
+ -->
+ <PropertyGroup>
+ <PreBuildEvent></PreBuildEvent>
+ </PropertyGroup>
+ <ItemGroup> + <Reference Include="mscorlib.dll"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\mscorlib.dll</HintPath> + </Reference> + <Reference Include="System"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\System</HintPath> + </Reference> + <Reference Include="System.Core"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\System.Core</HintPath> + </Reference> + <Reference Include="Mono.Cecil.dll"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\Mono.Cecil.dll</HintPath> + </Reference> + <Reference Include="Mono.Cecil.Mdb.dll"> + <SpecificVersion>False</SpecificVersion> + <HintPath>..\\lib\build\Mono.Cecil.Mdb.dll</HintPath> + </Reference> + </ItemGroup> +
+ <ItemGroup>
+ <Folder Include="Properties\" />
+ </ItemGroup>
+
+</Project>
+ |