Alex Rivera | Logout

Questions tagged code-contracts

20 questions

Sort by: Newest Votes Active
9
votes
1
answers

C# code contracts - avoiding checking parameters for null references

c# c#-4.0 code-contracts
asked 2013-03-18T07:08:57.310
9
votes
1
answers

Unproven Ensure that references another property in combination with an interface

c# .net code-contracts
asked 2013-02-26T13:13:26.797
18
votes
3
answers

Code Contracts and Asynchrony

c# .net task-parallel-library code-contracts async-ctp
asked 2012-02-06T17:18:14.257
10
votes
2
answers

How to make Code Contracts believe that variable is not null?

c# code-contracts
asked 2011-09-05T06:13:39.760
9
votes
1
answers

Code Contracts for mono?

.net mono code-contracts
asked 2011-06-26T09:02:06.820
32
votes
2
answers

Code contracts build reference assembly actions

c# code-contracts
asked 2011-04-28T10:17:39.783
10
votes
2
answers

Code contracts, forall and custom enumerable

c# code-contracts enumerable forall
asked 2011-02-17T22:47:05.530
16
votes
1
answers

Is it bad to deploy code contracts into a production environment?

.net code-contracts
asked 2011-02-15T09:40:00.717
17
votes
1
answers

Am I implementing this simple contract incorrectly?

c# visual-studio-2010 resharper code-contracts design-by-contract
asked 2010-08-11T19:18:00.687
12
votes
2
answers

Code Contracts: Why are some invariants not considered outside the class?

c# .net static-analysis code-contracts design-by-contract
asked 2010-07-29T14:19:52.073
12
votes
1
answers

Using Contract.ForAll in Code Contracts

c# static-analysis code-contracts forall
asked 2010-06-23T19:25:37.977
10
votes
5
answers

Design by contracts and constructors

c# .net c#-4.0 code-contracts design-by-contract
asked 2010-05-04T16:51:16.403
10
votes
2
answers

Can I use .NET 4 Code Contracts and remain compatible with .NET 3.5?

.net-3.5 .net-4.0 code-contracts
asked 2010-04-08T08:07:17.897
9
votes
2
answers

Code Contracts: Do we have to specify Contract.Requires(...) statements redundantly in delegating methods?

c# .net .net-4.0 code-contracts
asked 2010-03-29T16:17:50.247
9
votes
1
answers

Code Contracts with Interfaces: "Method Invocation skipped. Compiler will generate method invocation because the method is conditional... [...]"

.net code-contracts
asked 2010-03-12T22:22:51.810
33
votes
2
answers

Code Contracts: How do I supply a contract class for a generic interface?

.net generics interface code-contracts
asked 2010-01-27T23:01:43.053
9
votes
5
answers

Code Contracts in .NET 4.0, no joy for non-nullable reference types fans?

c# .net .net-4.0 c#-4.0 code-contracts
asked 2009-10-01T09:18:51.940
34
votes
2
answers

Should the Code Contracts static checker be able to check arithmetic bound?

static-analysis math code-contracts
asked 2009-08-07T11:38:33.483
26
votes
3
answers

How free can I be in the code in an object invariant?

.net-4.0 code-contracts visual-studio-2010 invariants
asked 2009-07-30T20:34:39.380
19
votes
7
answers

.NET Guard Class Library?

.net code-contracts
asked 2008-11-18T17:17:17.247