C# (CSharp) TestPostconditionInference PointStruct.Moveの例

コード例 #1

ファイル: PostconditionInference.cs プロジェクト: 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
        }

コード例 #2

ファイル: PostconditionInference.cs プロジェクト: 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);
        }

コード例 #3

ファイル: PostconditionInference.cs プロジェクト: 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
    }

コード例 #4

ファイル: PostconditionInference.cs プロジェクト: 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);
    }