代码合同构建性能
code contracts build performance

我的问题非常简单:当代码合同启用时,任何经验都会增加构建时间吗?

.Net 3.5使用代码合同实现String.IsNullOrWhitespace
.Net 3.5 Implementation of String.IsNullOrWhitespace with Code Contracts

我试图在我的.Net 3.5(C#)项目中使用合同。 我发现我写了类似if(string.IsNullOrEmpty(s)|| string.IsNullOrEmpty(s.Trim()))抛出新的ArgumentException(“...

代码合同错误
Code Contract Errors

有没有办法在运行时改变代码合同的行为方式? 如在运行期间前或后续conidtion失败时,应用程序崩溃。 有没有一种方式,而不是崩溃,有...

强制代码合同使用sn.exe 4.0
Force Code Contracts to use sn.exe 4.0

代码合同重写器使用强名称(sn.exe)实用程序来退出重写的程序集。 但是,在VS 2010的输出窗格中,我看到:Microsoft(R).NET Framework强名称实用工具...

代码合同:映射到2d数组时,数组访问上限警告
Code contracts: Array access upper bound warning when mapping to 2d array

美好的一天。 我正在测试C#代码合同。 我一直在研究一些矩阵实现,并且希望使用代码合约来进行算术检查(例如何时矩阵乘法有效)。 ...

代码合同和私人静态只读字段失败
Code Contracts and failure on private static readonly fields

我在我的类中有一个私有静态只读字段:public class MyClass {// ISSUE#1 - require unproven:path!= null private static readonly DirectoryInfo MyDirectory = new ...

我可以在IQueryable和IEnumerable上执行Contract.Ensures吗?
Can I do Contract.Ensures on IQueryable and IEnumerable?

让我们看看这段代码:public IQueryable <Category> GetAllActive(){Contract.Ensures(Contract.Result <IQueryable <Category >>()!= null); 返回dataSource.GetCategories(T => T ....

CodeContracts - 误报
CodeContracts - false positives

我刚刚开始在一个现有的中型项目中使用.NET 4中的CodeContracts进行试验,我感到惊讶的是,静态检查器正在给我编译时警告以下内容......

有代码合同的条件属性例外
Conditional Attribute Exception with Code Contracts

我在下面的代码中使用代码合同时遇到异常:public void Debug(dynamic message1,dynamic message2 = null,dynamic message3 = null,...

如何在.NET中的算法代码中声明?
How do you assert in algorithimic code in .NET?

我目前正在C#开发一个小型AI框架(遗传算法/神经网络),用于大学项目。 我首先关心的是开发一个可重用的框架,所以我正在设计......

.NET代码合同:它可以比这更基本吗?
.NET code contracts: can it get more basic than this?

当我在Visual Studio(2008)中发现一个静态验证警告时,我只是在这里回答某人在Stack Overflow上的问题:string [] source = {“1”,“A”,“B”}; ...

为什么我仍然得到代码合同:确保未经证实的警告?
Why I still get Code Contracts : Ensure unproven warning?

下面是一个非常简单的例子。 当我打开静态分析警告时,我仍然得到Warning CodeContracts:确保未经证实:Contract.Result()!= string.Empty在行返回字符串....

CodeContracts“必需”理解
CodeContracts "Required" understanding

我尝试了下面的代码来启用某种非空检查检索实体,以确保它们在做一些具体业务之前存在:protected T GetRequired <T>(object id)...

方法调用它的方法返回的方法吗?
Method that does conditional return of method calling it?

好吧,这可能是一些黑客,但忍受我:)背景是,我厌倦了方法,一些如果 - 声明,这样会扰乱整个方法,如:public SomeClass ...

单元测试代码合同
Unit testing code contracts

我只是在.NET 4.0中与代码合约发挥作用,并且必须缺少一些明显的东西,因为它们不像我期望的那样行事。 我一直使用一个简单的if ... then .. throw语句...

这是静态合同检查器中的错误吗?
Is this a bug in the static contract checker?

如果我写这个:public sealed class Foo {private int count; 私人物件拥有者; private void Bar(){Contract.Requires(count> 0); Contract.Ensures(拥有者== ...

CodeContracts:错误警告“可能拆开空引用”
CodeContracts: false warning "Possibly unboxing a null reference"

在上面的图片中,您可以看到来自代码合同的警告。 我不认为这是合法的,因为这永远不会为空。 这是一个错误还是我错过了什么? 此属性是...的成员...

代码合同从哪里开始?
Where to Start with Code Contracts?

我看到了一个很棒的C#代码合同演示,我想开始将它们实现为可能的代码。 我希望我已经在我的代码中拥有了它们。 一个人从哪里开始? 我没有拿走任何印刷品...

代码合同是否用于安全?
Should Code Contracts be used for security?

是否有任何理由不使用代码合同来执行业务规则? 想象一下,您有一个User类,它代表系统的单个用户并定义可以执行的操作...

为什么代码合同显示“格式错误的合同。
Why does Code Contracts shows "Malformed contract. Found Requires after assignment" in method with params keywork?

我一直在解决这个错误几个小时,我似乎无法理解为什么会发生这种情况。 考虑下面的代码:using System; 使用System.Diagnostics.Contracts; 使用System.Linq ....

为什么Marshal.DestroyStructure被认为是纯粹的?
Why is Marshal.DestroyStructure considered Pure?

Marshal.DestroyStructure在.NET Framework中用Pure属性标记,但我不清楚为什么当它清楚地对调用它的上下文产生影响时。 状态被修改(指针...

当ContractFor在不同的程序集上时,C#代码合同不起作用
Code Contracts for C# does not work when ContractFor is on a different assembly

我正在尝试使用ContractClass和ContractClassFor为接口定义代码合同。 当一切都在同一个程序集中时它工作正常,但是如果我把接口定义和它的...

处理常见错误:If-Then-Throw块与代码合同与Assert类
Handling the usual errors: If-Then-Throw blocks vs. Code Contracts vs. an Assert class

当我开始写一个方法时,我通常首先使用If-Then-Throw块检查方法中的特殊条件。 public void ReadFile(string filePath){if(string.IsNullOrEmpty(...

为什么代码合同声明此代码的“确保为假”?
Why does Code Contracts claim that "Ensures is false" for this code?

这是我的一个类中的构造函数:public SemanticVersion(string version){Contract.Requires <ArgumentException>(!string.IsNullOrEmpty(version)); Contract.Ensures(MajorVersion&...

为什么这个基于字符串的Contract.Ensure调用未经证实?
Why is this string-based Contract.Ensure call unproven?

我在.Net 4应用程序中有以下代码:static void Main(string [] args){Func(); }静态字符串S =“1”; static void Func(){Contract.Ensures(S!= Contract.OldValue(S)); S = S +“...

对IDisposable使用不变量
Using invariant for IDisposable

考虑以下IDisposable类:class MyClass:IDisposable {public bool IsDisposed {get; 私人设置; } = false; public void Dispose(){IsDisposed = true; }} ...

代码合同和任务
Code Contracts and Tasks

代码合同简单地将任务视为与任何其他变量一样,而不是异步等待结果。 所以,下面的情况将不起作用,并导致合同异常...

代码在执行具有后备收集的ICollection时收到警告
Code contracts warnings when implementing ICollection with backing collection

我有这样的代码:public class MyCollection:ICollection <string> {private readonly ICollection <string> _inner = new Collection <string>(); public void Add(string item)...

让代码合同在Visual Studio 2010中工作
Getting Code Contracts to work in Visual Studio 2010

我有以下代码:class Program {static void Main(string [] args){Console.WriteLine(SqrtRoot(0)); Console.WriteLine(SqrtRoot(10)); Console.WriteLine(...

“合同不能在try块中”是什么意思?
What does "Contract can't be in try block" mean?

我使用3.5库的微软代码合同公共对象RetrieveById(INT ID){//东西发生...... Contract.Ensures(newObject!= null,“object must not null”); 返回...

代码合同:如何处理继承的接口?
Code Contracts: How to deal with inherited interfaces?

我正在使用MS Code Contracts,并且遇到了使用接口继承和ContractClassFor属性的问题。 鉴于这些接口和合同类:[ContractClass(typeof(IOneContract)...

是否可以指定代码合约以确保该方法不会更改对象的状态
Is it possible to specify code contracts to ensure that method doesn't change state of object

比方说,我有我的对象布尔IsValid属性。 我想创建一个方法,并确保在调用IsValid之后不会更改,无论调用之前是否为真。 是......

有没有办法让MsBuild使用代码合同运行静态合同分析?
Is there a way not to let MsBuild run static contract analysis with code contracts?

在我的项目中,静态检查被禁用,但仍然,当我用cmd运行msbuild.exe时,它开始为每个项目进行静态检查......有没有一种方法可以用参数来禁用它?

.NET 3.5的代码合同混淆了VS10的调试器
Code contracts for .NET 3.5 messes up VS10's debugger

我最近通过代码合同迁移了很多手动前提条件测试和异常抛出。 而不是升级到.NET 4,我一直在使用Microsoft.Contracts.dll程序集,所以我可以......

代码合同警告“确保未经证实”涉及锁定时
Code Contracts warn of "ensures unproven" when locks are involved

我试图找出.NET代码契约如何与lock关键字进行交互,使用以下示例:public class TestClass {private object o1 = new object(); 私人对象o2 =新...

代码合同:我如何在后置条件中声明一个字段/属性的值没有改变?
Code Contracts: How do I state in a post-condition that a field/property's value has not changed?

我最好只展示一个代码示例,我想完成什么? class SomeClass {public int SomeProperty; public void SomeOperation(){Contract.Ensures(“SomeProperty”...

CodeContracts:可能在空引用上调用方法
CodeContracts: Possibly calling a method on a null reference

我正在与CodeContracts静态分析工具进行争论。 我的代码:截图http://i40.tinypic.com/r91zq9.png(ASCII版本)该工具告诉我,instance.bar可能为空...

使Contract.Assert抛出一个异常,而不是显示一个对话框
Make Contract.Assert throw an exception rather than display a Dialog box

如果我使用新的代码合同Contract.Assert方法,是否有可能使其抛出异常而不是显示对话框? 我想在构建单元测试时执行此操作...

VS2013与ReSharper 8.2不承认代码合同?
VS2013 with ReSharper 8.2 not recognizing Code Contracts?

我有以下软件:Visual Studio 2013更新2代码合同(1.6.60617.15)ReSharper C#版本(8.2.0.2160)ReSharper代码合同(1.0.0.0)当我打开一个代码合同的方法,...

如何使代码合同与数据合同的反序列化一起工作?
How to make code contracts work with deserialization of data contracts?

我已经为数据契约类写了一个ContractInvariantMethod,并且在客户端一切都很好,但是当这种类型的对象发送给我的服务和Data Contract时...

代码合同如何知道ToString重写不应该返回null?
How does Code Contracts know that ToString overrides shouldn't return null?

我正在使用微软的C#代码合同扩展。 当我用重写的ToString实现写一个返回null的类时,它正确地识别了这个问题:我认为这是......

如何在接口中配置代码合同
how to config Code Contracts in Interface

我无法在我的班级中配置代码合同。 我遵循了文档和示例,但它不起作用。 我想将代码合同条件插入我的界面,在这里我的代码...

您如何配置Pex以遵守代码合同?
How Do You Configure Pex to Respect Code Contracts?

鉴于以下示例代码,我如何配置Pex以尊重我的代码合同? 公共静态IEnumerable <用户>管理员(此UserGroup userGroup){合同....

如何从类似IDictionary <T,U>的接口派生时使用代码合约?
How to use code contracts when deriving from interfaces like IDictionary<T, U>?

我正在编写的一个类实现IDictionary <string,object>。 在我的CopyTo实现中,我想使用代码契约:像Contract.Requires <ArgumentNullException>(array!= ...

代码合同,继承和Liskov原则
Code Contract, inheritance and Liskov Principle

我在我的代码中的命令的概念:public abstract class BaseCommand {public BaseCommand(){this.CommandId = Guid.NewGuid(); this.State = CommandState.Ready; } public Guid CommandId ...

为REST对象生成合同
Generate Contracts for REST objects

我是REST的新手,听起来应该很简单。 在.NET应用程序中,我可以创建对WCF服务的引用,并为我生成所有可用类型的合约。 现在我'...

代码合同 - 是否应该检查私有方法的前置条件和后置条件?
Code Contracts - should private methods be checked for pre and post conditions?

我正在努力加快代码合同的速度。 我喜欢这个概念,但在实践中,我没有看到在许多私有方法中添加Contract.Requires的价值,其中一些方法只是一行或...

F#和静态检查的联合案例
F# and statically checked union cases

不久我和我的兄弟Joel将发布Wing Beats的0.9版本。 这是一个用F#编写的内部DSL。 有了它,你可以生成XHTML。 其中一个灵感来源是XHTML.M ...

合同类应该是一个抽象类
Contract class should be an abstract class

下面的代码给了我警告Contract contract'FooContracts'应该是一个抽象类。 从我在线阅读的所有示例(例如http://www.infoq.com/articles/code-contracts-csharp),...