Home/ Questions/Q 4327144
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-21T09:29:47+00:00

Is there any way to put contracts on automatically implemented properties in .NET? (And

  • 0

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)

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    Thanks Porges.

    My mistake was that I actually used ReleaseRequires option, which, indeed, deals only with generic version of the method, Requires<T>.

    Invariant which is put on an auto-implemented property is really turned into a Requires precondition, but it’s not generic – that’s why it didn’t work using this option.

    What to do:

    • VARIANT 1. Consider using code snippets and lovely Requires<T> instead of auto-implemented properties – that enables us to use exceptions of desired type.

    • VARIANT 2. Change the option ReleaseRequires to Preconditions in the Code Contracts’ options and feel free to write invariants on auto-properties – the rewriter tool will automatically change them into the Requires. However, they will be non-generic – that means, in case of contract broken, a ContractException will be thrown and there is no way to change this behaviour.

    Thanks everyone for the help!

    • 0