using System;
using Microsoft.VisualStudio.TestTools.UnitTesting;
using static AddisonWesley.Michaelis.EssentialCSharp.Chapter20.Listing20_01.Tests.ProgramTests;

namespace AddisonWesley.Michaelis.EssentialCSharp.Chapter20.Listing20_02.Tests
{
    [TestClass]
    public class ProgramTests
    {

        [TestMethod]
        public void MainVerifyOutputIncrementAndDecrement()
        {
            VerifyOutputIncrementAndDecrement(Program.Main);
        }

        /// <summary>
        /// Informuje, że operacje inkrementacji/dekrementacji nie są atomowe.
        /// WAŻNE: Wynik może być niepewny, jeśli inkrementacji i dekrementacji przypadkowo jest tyle samo.
        /// Nie dowodzi to jednak, że operacje są zsynchronizowane (nie da się tego łatwo
        /// udowodnić w wyniku wykonania kodu).
        /// </summary>
        [TestMethod]
        public void UnsynchronizedIncrementAndDecrement()
        {
            bool isUnsynchronized = IsIncrementDecrementNotAtomic(Program.Main);
            if (!isUnsynchronized)
            {
                Assert.Inconclusive("Nieoczekiwanie liczba inkrementacji i dekrementacji była taka sama, choć nie zastosowano blokad.");
            }
        }
    }
}
