C# (CSharp) CodeContracts.Go示例

示例#1

 public static void Main()
 {
     Mechanics.SomeMethod();
     GenericException.Go();
     OneStatementDemo.Go();
     CodeContracts.Go();
     //UnhandledException.Go();
     ConstrainedExecutionRegion.Go();
 }