public static string Test4(APISpecExample a) { Contract.Requires(a != null); Contract.Requires(a.HasName); return(a.Name); }
public static string Test3(APISpecExample a) { Contract.Requires(a != null); if (a.HasName) { return(a.Name); } return("default"); }
public static void Test1b(bool bug1, bool bug2) { APISpecExample a = new APISpecExample(); bool success = a.MayStart(); if (bug1) { a.Run(); Contract.Assume(false); } if (!success) { a.Start(); } a.Run(); }
public static void Test1(bool bug1, bool bug2) { APISpecExample a = new APISpecExample(); a.Start(); if (bug1) { a.Start(); } a.Run(); a.Run(); a.Stop(); if (bug2) { a.Run(); } a.Reset(); a.Start(); }
public static string Test6(APISpecExample a, string s) { Contract.Requires(a != null); a.Name = s; return(a.Name); }
public static string Test5(APISpecExample a) { Contract.Requires(a != null); a.Name = "foo"; return(a.Name); }
public static string Test6(APISpecExample a, string s) { Contract.Requires(a != null); a.Name = s; return a.Name; }
public static string Test5(APISpecExample a) { Contract.Requires(a != null); a.Name = "foo"; return a.Name; }
public static string Test4(APISpecExample a) { Contract.Requires(a != null); Contract.Requires(a.HasName); return a.Name; }
public static string Test3(APISpecExample a) { Contract.Requires(a != null); if (a.HasName) return a.Name; return "default"; }