C# (CSharp) TestPostconditionInference PointStruct.Move Examples

Example #1

File: PostconditionInference.cs Project: terrorizer1980/CodeContracts

        public static void Test_Wrong()
        {
            PointStruct p = new PointStruct(5, 10);

            Contract.Assert(p.X == 5);

            Contract.Assert(p.SquareDistance == 125);

            p.Move(2);

            Contract.Assert(p.X == 5);  // False
            Contract.Assert(p.Y == 11); // Unreached
        }

Example #2

File: PostconditionInference.cs Project: terrorizer1980/CodeContracts

        public static void Test_OK()
        {
            PointStruct p = new PointStruct(5, 10);

            Contract.Assert(p.X == 5);

            Contract.Assert(p.SquareDistance == 125);

            p.Move(2);

            Contract.Assert(p.X == 7);
            Contract.Assert(p.Y == 12);
        }

Example #3

File: PostconditionInference.cs Project: asvishnyakov/CodeContracts

    public static void Test_Wrong()
    {
      PointStruct p = new PointStruct(5, 10);
      Contract.Assert(p.X == 5);

      Contract.Assert(p.SquareDistance == 125);

      p.Move(2);

      Contract.Assert(p.X == 5); // False
      Contract.Assert(p.Y == 11); // Unreached
    }

Example #4

File: PostconditionInference.cs Project: asvishnyakov/CodeContracts

    public static void Test_OK()
    {
      PointStruct p = new PointStruct(5, 10);
      Contract.Assert(p.X == 5);

      Contract.Assert(p.SquareDistance == 125);

      p.Move(2);

      Contract.Assert(p.X == 7);
      Contract.Assert(p.Y == 12);
    }