code-contracts

I just started using code contracts in my project. However, I have a problem with my repository implementation, which queries my database using the Entity Framework. I have the following method: public IEnumerable<Organization> GetAllOrganizations() { return _uow.CreateSet<Party>().OfType<Organization>().AsEnumerable(); } The method returns a collection containing all organizations in the database, or an empty collection there's not organizations in the database. However, this is not okay according to CodeContracts, which give me the error: "requires unproven: source != null" What is it trying

The ultimate goal is to specify contracts for a class that resides in an external assembly that I don't have control over (i.e. I cannot just add contracts to that class directly). What I have tried so far: ContractClassFor attribute. Doesn't work, because the target class must point back to the contract class. Manually construct a contract reference assembly (i.e. MyAsm.Contracts.dll) by reverse-engineering the autogenerated ones. Doesn't work, because right after I compile it, the rewriter kicks in and conveniently strips off the ContractDeclarativeAssembly attribute, which makes the

The following code gives me the warning Contract class 'FooContracts' should be an abstract class . From all the examples I've read online (e.g. http://www.infoq.com/articles/code-contracts-csharp ), this should work (presumably without compiler warnings). [ContractClass(typeof(FooContracts))] public interface IFoo { void Bar(string foo); } [ContractClassFor(typeof(IFoo))] internal sealed class FooContracts : IFoo { void IFoo.Bar(string foo) { Contract.Requires(foo != null); } } I'm in Visual Studio 2010, with the following settings in the Code Contracts section of the project's properties:

I'm using code contract (actually, learning using this). I'm facing something weird to me... I override a method, defined in a 3rd party assembly. I want to add a Contract.Require statement like this: public class MyClass: MyParentClass { protected override void DoIt(MyParameter param) { Contract.Requires<ArgumentNullException>(param != null); this.ExecuteMyTask(param.Something); } protected void ExecuteMyTask(MyParameter param) { Contract.Requires<ArgumentNullException>(param != null); /* body of the method */ } } However, I'm getting warnings like this: Warning 1 CodeContracts: Method

I ask the question because whenever I attempt to call an extension method from the Immediate window in Visual Studio 2010 I get the following error: System.Collections.Generic.IEnumerable' does not contain a definition for 'ToList' and no extension method 'ToList' accepting a first argument of type 'System.Collections.Generic.IEnumerable' could be found (are you missing a using directive or an assembly reference?) If the Immediate window doesn't support extension methods, then why is it that when I type my variable (of type IEnumerable<QueryFilter> ) followed by a dot, the IntelliSense lists

Is there any way to put contracts on automatically implemented properties in .NET? (And how if the answer is 'Yes')? (I assume using .NET code contracts from DevLabs) Yes, this is possible - all that is needed is to add your contract condition to the [ContractInvariantMethod] method in your class, which then adds the equivalent Requires precondition to the automatic set ter, and a post condition Ensures is added to the get . From section 2.3.1 of the Reference As the example illustrates, invariants on auto-properties turn into: A precondition for the setter A postcondition for the getter An

I'm making an extension to Visual Studio. Within the code I'm using Code Contracts to make assertions and checks. I set the warning option level to high. What I would like to do is maintain that warning level while ignoring any checks made on EnvDTE references. Consider the following code example: public static string GetAbsoluteOutputFolder(EnvDTE.Project project) { if (project == null) throw new ArgumentNullException("project"); var path = project.ConfigurationManager.ActiveConfiguration.Properties.Item("OutputPath").Value.ToString(); //... } With my current settings, CC would require me to