Sign Up

Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.

Have an account? Sign In

Have an account? Sign In Now

Sign In

Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.

Sign Up Here

Forgot Password?

Don't have account, Sign Up Here

Forgot Password

Lost your password? Please enter your email address. You will receive a link and will create a new password via email.

Have an account? Sign In Now

You must login to ask a question.

Forgot Password?

Need An Account, Sign Up Here

Please briefly explain why you feel this question should be reported.

Please briefly explain why you feel this answer should be reported.

Please briefly explain why you feel this user should be reported.

Sign InSign Up

The Archive Base

The Archive Base Logo The Archive Base Logo

The Archive Base Navigation

  • SEARCH
  • Home
  • About Us
  • Blog
  • Contact Us
Search
Ask A Question

Mobile menu

Close
Ask a Question
  • Home
  • Add group
  • Groups page
  • Feed
  • User Profile
  • Communities
  • Questions
    • New Questions
    • Trending Questions
    • Must read Questions
    • Hot Questions
  • Polls
  • Tags
  • Badges
  • Buy Points
  • Users
  • Help
  • Buy Theme
  • SEARCH
Home/ Questions/Q 69451
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Editorial Team
Asked: May 10, 20262026-05-10T19:34:33+00:00 2026-05-10T19:34:33+00:00

I wanted to try a little design by contract in my latest C# application

  • 0

I wanted to try a little design by contract in my latest C# application and wanted to have syntax akin to:

public string Foo() {     set {         Assert.IsNotNull(value);         Assert.IsTrue(value.Contains('bar'));         _foo = value;     } } 

I know I can get static methods like this from a unit test framework, but I wanted to know if something like this was already built-in to the language or if there was already some kind of framework floating around. I can write my own Assert functions, just don’t want to reinvent the wheel.

  • 1 1 Answer
  • 2 Views
  • 0 Followers
  • 0
Share
  • Facebook
  • Report

Leave an answer
Cancel reply

You must login to add an answer.

Forgot Password?

Need An Account, Sign Up Here

1 Answer

  • Voted
  • Oldest
  • Recent
  • Random
  1. 2026-05-10T19:34:34+00:00Added an answer on May 10, 2026 at 7:34 pm

    C# 4.0 Code Contracts

    Microsoft has released a library for design by contract in version 4.0 of the .net framework. One of the coolest features of that library is that it also comes with a static analysis tools (similar to FxCop I guess) that leverages the details of the contracts you place on the code.

    Here are some Microsoft resources:

    • The main Microsoft Research site
    • The user manual
    • The 2008 PDC presentation
    • The 2009 PDC presentation

    Here are some other resources:

    • Code Contracts for .NET 4.0 – Spec# Comes Alive
    • .NET Code Contracts and TDD Are Complementary
    • Code Contracts Primer – Part 5: Utilizing Object Invariants
    • Code Contracts Primer – Part 6 Interface Contracts
    • 0
    • Reply
    • Share
      Share
      • Share on Facebook
      • Share on Twitter
      • Share on LinkedIn
      • Share on WhatsApp
      • Report

Sidebar

Related Questions

I have a quick little application and wanted to give a try to develop
I have wanted to try GAE since launch, but coming from ASP .NET and
I have a little Java project where I've set the properties of the class
Hi I was wanted to do Application witch have a root template view with
I have an Erlang application that is getting a little too resource-hungry to stay
I wanted to try to match the inner part of the string between the
I wanted to try a program distributed in source for *nux on Windows. It's
I wanted to try to allocate a 4 billion bytes array and this is
so I wanted to try my first CLR project in Visual C++. So I
I just discovered forge and wanted to try it out at once. I closely

Explore

  • Home
  • Add group
  • Groups page
  • Communities
  • Questions
    • New Questions
    • Trending Questions
    • Must read Questions
    • Hot Questions
  • Polls
  • Tags
  • Badges
  • Users
  • Help
  • SEARCH

Footer

© 2021 The Archive Base. All Rights Reserved
With Love by The Archive Base

Insert/edit link

Enter the destination URL

Or link to existing content

    No search term specified. Showing recent items. Search or use up and down arrow keys to select an item.