2536f7c80c
Implemented Contracts into existing classes (yet incomplete especially with Interface implementations in NavObject). Otherwise it basically works. Started class for interfacing to finsql.exe.
143 lines
7.3 KiB
XML
143 lines
7.3 KiB
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<Project ToolsVersion="14.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
|
|
<Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
|
|
<PropertyGroup>
|
|
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
|
|
<Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
|
|
<ProjectGuid>{46DB932E-45D1-4783-A8BF-CE5333B3F8F9}</ProjectGuid>
|
|
<OutputType>Library</OutputType>
|
|
<AppDesignerFolder>Properties</AppDesignerFolder>
|
|
<RootNamespace>NavScm</RootNamespace>
|
|
<AssemblyName>NavScm Library</AssemblyName>
|
|
<TargetFrameworkVersion>v4.6.1</TargetFrameworkVersion>
|
|
<FileAlignment>512</FileAlignment>
|
|
<CodeContractsAssemblyMode>1</CodeContractsAssemblyMode>
|
|
<TargetFrameworkProfile />
|
|
</PropertyGroup>
|
|
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
|
|
<DebugSymbols>true</DebugSymbols>
|
|
<DebugType>full</DebugType>
|
|
<Optimize>false</Optimize>
|
|
<OutputPath>bin\Debug\</OutputPath>
|
|
<DefineConstants>DEBUG;TRACE</DefineConstants>
|
|
<ErrorReport>prompt</ErrorReport>
|
|
<WarningLevel>4</WarningLevel>
|
|
<DocumentationFile>
|
|
</DocumentationFile>
|
|
<CodeContractsEnableRuntimeChecking>True</CodeContractsEnableRuntimeChecking>
|
|
<CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>
|
|
<CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>
|
|
<CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>
|
|
<CodeContractsRuntimeSkipQuantifiers>False</CodeContractsRuntimeSkipQuantifiers>
|
|
<CodeContractsRunCodeAnalysis>True</CodeContractsRunCodeAnalysis>
|
|
<CodeContractsNonNullObligations>True</CodeContractsNonNullObligations>
|
|
<CodeContractsBoundsObligations>True</CodeContractsBoundsObligations>
|
|
<CodeContractsArithmeticObligations>True</CodeContractsArithmeticObligations>
|
|
<CodeContractsEnumObligations>True</CodeContractsEnumObligations>
|
|
<CodeContractsRedundantAssumptions>True</CodeContractsRedundantAssumptions>
|
|
<CodeContractsAssertsToContractsCheckBox>True</CodeContractsAssertsToContractsCheckBox>
|
|
<CodeContractsRedundantTests>True</CodeContractsRedundantTests>
|
|
<CodeContractsMissingPublicRequiresAsWarnings>True</CodeContractsMissingPublicRequiresAsWarnings>
|
|
<CodeContractsMissingPublicEnsuresAsWarnings>False</CodeContractsMissingPublicEnsuresAsWarnings>
|
|
<CodeContractsInferRequires>True</CodeContractsInferRequires>
|
|
<CodeContractsInferEnsures>False</CodeContractsInferEnsures>
|
|
<CodeContractsInferEnsuresAutoProperties>True</CodeContractsInferEnsuresAutoProperties>
|
|
<CodeContractsInferObjectInvariants>False</CodeContractsInferObjectInvariants>
|
|
<CodeContractsSuggestAssumptions>False</CodeContractsSuggestAssumptions>
|
|
<CodeContractsSuggestAssumptionsForCallees>False</CodeContractsSuggestAssumptionsForCallees>
|
|
<CodeContractsSuggestRequires>False</CodeContractsSuggestRequires>
|
|
<CodeContractsNecessaryEnsures>True</CodeContractsNecessaryEnsures>
|
|
<CodeContractsSuggestObjectInvariants>False</CodeContractsSuggestObjectInvariants>
|
|
<CodeContractsSuggestReadonly>True</CodeContractsSuggestReadonly>
|
|
<CodeContractsRunInBackground>True</CodeContractsRunInBackground>
|
|
<CodeContractsShowSquigglies>True</CodeContractsShowSquigglies>
|
|
<CodeContractsUseBaseLine>False</CodeContractsUseBaseLine>
|
|
<CodeContractsEmitXMLDocs>True</CodeContractsEmitXMLDocs>
|
|
<CodeContractsCustomRewriterAssembly />
|
|
<CodeContractsCustomRewriterClass />
|
|
<CodeContractsLibPaths />
|
|
<CodeContractsExtraRewriteOptions />
|
|
<CodeContractsExtraAnalysisOptions />
|
|
<CodeContractsSQLServerOption />
|
|
<CodeContractsBaseLineFile />
|
|
<CodeContractsCacheAnalysisResults>True</CodeContractsCacheAnalysisResults>
|
|
<CodeContractsSkipAnalysisIfCannotConnectToCache>False</CodeContractsSkipAnalysisIfCannotConnectToCache>
|
|
<CodeContractsFailBuildOnWarnings>False</CodeContractsFailBuildOnWarnings>
|
|
<CodeContractsBeingOptimisticOnExternal>True</CodeContractsBeingOptimisticOnExternal>
|
|
<CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>
|
|
<CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>
|
|
<CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>
|
|
</PropertyGroup>
|
|
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
|
|
<DebugType>pdbonly</DebugType>
|
|
<Optimize>true</Optimize>
|
|
<OutputPath>bin\Release\</OutputPath>
|
|
<DefineConstants>TRACE</DefineConstants>
|
|
<ErrorReport>prompt</ErrorReport>
|
|
<WarningLevel>4</WarningLevel>
|
|
</PropertyGroup>
|
|
<ItemGroup>
|
|
<Reference Include="log4net, Version=1.2.15.0, Culture=neutral, PublicKeyToken=669e0ddf0bb1aa2a, processorArchitecture=MSIL">
|
|
<HintPath>..\packages\log4net.2.0.5\lib\net45-full\log4net.dll</HintPath>
|
|
<Private>True</Private>
|
|
</Reference>
|
|
<Reference Include="System" />
|
|
<Reference Include="System.ComponentModel.DataAnnotations" />
|
|
<Reference Include="System.Core" />
|
|
<Reference Include="System.Data.Linq" />
|
|
<Reference Include="System.Runtime.Serialization" />
|
|
<Reference Include="System.Security" />
|
|
<Reference Include="System.Xml.Linq" />
|
|
<Reference Include="System.Data.DataSetExtensions" />
|
|
<Reference Include="Microsoft.CSharp" />
|
|
<Reference Include="System.Data" />
|
|
<Reference Include="System.Net.Http" />
|
|
<Reference Include="System.Xml" />
|
|
</ItemGroup>
|
|
<ItemGroup>
|
|
<Compile Include="NavInterface\DevEnvInterface.cs" />
|
|
<Compile Include="NavInterface\NavSQL.designer.cs">
|
|
<AutoGen>True</AutoGen>
|
|
<DesignTime>True</DesignTime>
|
|
<DependentUpon>NavSQL.dbml</DependentUpon>
|
|
</Compile>
|
|
<Compile Include="NavInterface\NavObject.cs" />
|
|
<Compile Include="NavInterface\NavSQLDataContext.cs" />
|
|
<Compile Include="Properties\AssemblyInfo.cs" />
|
|
<Compile Include="Properties\Settings.Designer.cs">
|
|
<AutoGen>True</AutoGen>
|
|
<DesignTimeSharedInput>True</DesignTimeSharedInput>
|
|
<DependentUpon>Settings.settings</DependentUpon>
|
|
</Compile>
|
|
</ItemGroup>
|
|
<ItemGroup>
|
|
<None Include="App.config" />
|
|
<None Include="NavInterface\NavSQL.dbml">
|
|
<Generator>MSLinqToSQLGenerator</Generator>
|
|
<LastGenOutput>NavSQL.designer.cs</LastGenOutput>
|
|
<SubType>Designer</SubType>
|
|
</None>
|
|
<None Include="packages.config" />
|
|
<None Include="Properties\Settings.settings">
|
|
<Generator>SettingsSingleFileGenerator</Generator>
|
|
<LastGenOutput>Settings.Designer.cs</LastGenOutput>
|
|
</None>
|
|
</ItemGroup>
|
|
<ItemGroup>
|
|
<Service Include="{3259AA49-8AA1-44D3-9025-A0B520596A8C}" />
|
|
<Service Include="{508349B6-6B84-4DF5-91F0-309BEEBAD82D}" />
|
|
</ItemGroup>
|
|
<ItemGroup>
|
|
<None Include="NavInterface\NavSQL.dbml.layout">
|
|
<DependentUpon>NavSQL.dbml</DependentUpon>
|
|
</None>
|
|
</ItemGroup>
|
|
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
|
|
<!-- 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>
|
|
-->
|
|
</Project> |