tests/features152/synchronization/transformed/Ten.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

import java.io.File;
import java.io.FileInputStream;
import java.io.IOException;

// matching unlock on transformed static method (J5)

public aspect Ten {
  public static void main(String[] args) {
    C.b();
  }

  before(): !within(Ten) && unlock() { 
    System.err.println("Unlocking occurring at "+thisJoinPoint);
    System.err.println(thisJoinPoint.getSourceLocation().getFileName());
  }
}
  
class C {
  public static synchronized void b() {
    System.err.println("hello");
  }
}