public void DoSomething(string arg) { Contract.Requires(arg != null, "arg cannot be null"); // ... }
public void DoSomething(int arg) { Contract.Requires(arg >= 0 && arg <= 100, "arg must be between 0 and 100"); // ... }
public void DoSomething(string arg) { Contract.Requires(Regex.IsMatch(arg, @"\d+"), "arg must be a string of numbers"); // ... }The package library for C# Contract Argument is System.Diagnostics.Contracts.