checker/tests/lock/ThisSuper.java

// Test case for Issue #152
// https://github.com/typetools/checker-framework/issues/152

// @skip-test

import org.checkerframework.checker.lock.qual.GuardedBy;

public class ThisSuper {

  class MyClass {
    Object field;
  }

  class LockExample {
    protected final Object myLock = new Object();

    protected @GuardedBy("myLock") MyClass locked;

    @GuardedBy("this.myLock") MyClass m1;

    protected @GuardedBy("this.myLock") MyClass locked2;

    public void accessLock() {
      synchronized (myLock) {
        this.locked.field = new Object();
      }
    }
  }

  class LockExampleSubclass extends LockExample {
    private final Object myLock = new Object();

    private @GuardedBy("this.myLock") MyClass locked;

    @GuardedBy("this.myLock") MyClass m2;

    public LockExampleSubclass() {
      final LockExampleSubclass les1 = new LockExampleSubclass();
      final LockExampleSubclass les2 = new LockExampleSubclass();
      final LockExampleSubclass les3 = les2;
      LockExample le1 = new LockExample();

      synchronized (super.myLock) {
        super.locked.toString();
        super.locked2.toString();
        // :: error: (contracts.precondition)
        locked.toString();
      }
      synchronized (myLock) {
        // :: error: (contracts.precondition)
        super.locked.toString();
        // :: error: (contracts.precondition)
        super.locked2.toString();
        locked.toString();
      }

      // :: error: (assignment)
      les1.locked = le1.locked;
      // :: error: (assignment)
      les1.locked = le1.locked2;

      // :: error: (assignment)
      les1.locked = les2.locked;

      // :: error: (assignment)
      this.locked = super.locked;
      // :: error: (assignment)
      this.locked = super.locked2;

      // :: error: (assignment)
      m1 = m2;
    }

    @Override
    public void accessLock() {
      synchronized (myLock) {
        this.locked.field = new Object();
        // :: error: (lock.not.held)
        super.locked.field = new Object();
        System.out.println(
            this.locked.field
                + " "
                +
                // :: error: (lock.not.held)
                super.locked.field);
        System.out.println("Are locks equal? " + (super.locked == this.locked ? "yes" : "no"));
      }
    }
  }
}