Question

Is it possible in C# to have some sort of check list when compiling to ensure parameters to functions are certain values?

For example, can I check that the parameter of this function is always greater than 10 at compile time?

void SomeFunction(1); <— Compile error here

Answer 1

Take a look at Code Contracts. It’s quite powerful; it can be used for both runtime checking and static verification. In addition, you can configure it to treat unproven contracts as compile-time warnings / errors.

void SomeFunction(int number)
{
   Contract.Requires<ArgumentOutOfRangeException>(number > 10) 
   ...
}