Ejemplo n.º 1
0
        public static string Test4(APISpecExample a)
        {
            Contract.Requires(a != null);
            Contract.Requires(a.HasName);

            return(a.Name);
        }
Ejemplo n.º 2
0
 public static string Test3(APISpecExample a)
 {
     Contract.Requires(a != null);
     if (a.HasName)
     {
         return(a.Name);
     }
     return("default");
 }
Ejemplo n.º 3
0
        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();
        }
Ejemplo n.º 4
0
        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();
        }
Ejemplo n.º 5
0
 public static string Test6(APISpecExample a, string s)
 {
     Contract.Requires(a != null);
     a.Name = s;
     return(a.Name);
 }
Ejemplo n.º 6
0
 public static string Test5(APISpecExample a)
 {
     Contract.Requires(a != null);
     a.Name = "foo";
     return(a.Name);
 }
Ejemplo n.º 7
0
 public static string Test6(APISpecExample a, string s)
 {
   Contract.Requires(a != null);
   a.Name = s;
   return a.Name;
 }
Ejemplo n.º 8
0
 public static string Test5(APISpecExample a)
 {
   Contract.Requires(a != null);
   a.Name = "foo";
   return a.Name;
 }
Ejemplo n.º 9
0
    public static string Test4(APISpecExample a)
    {
      Contract.Requires(a != null);
      Contract.Requires(a.HasName);

      return a.Name;
    }
Ejemplo n.º 10
0
 public static string Test3(APISpecExample a)
 {
   Contract.Requires(a != null);
   if (a.HasName) return a.Name;
   return "default";
 }
Ejemplo n.º 11
0
    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();
    }
Ejemplo n.º 12
0
    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();
    }