KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Questions tagged
code-contracts
20 questions
Follow Tag
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