package org.apidesign.deadlock;

import org.junit.Test;

import static org.junit.Assert.*;

public class SynchronizedFieldsTest {

    public SynchronizedFieldsTest() {

    }

    @Test

    public void increment() {

        SynchronizedFields instance = new SynchronizedFields();

        instance.increment();

    }

    @Test

    public void unsafeDecrement() {

        SynchronizedFields instance = new SynchronizedFields();

        try {

            instance.unsafeDecrement();

        } catch (java.lang.AssertionError ex) {

            // OK

            return;

        }

        fail("This will fail as unsafeDecrement is not synchronized, and that" +

            "is why it cannot access the field using getter and setter"

        );

    }

    @Test

    public void fixUnsafeDecrementFromOutside() {

        SynchronizedFields instance = new SynchronizedFields();

        synchronized (instance) {

            // in contract to original "Monitors", one can "fix" this 

            // problem from outside by using synchronizing externally

            instance.unsafeDecrement();

        }

    }

}