• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1package annotator.tests;
2
3public class StaticInit {
4  static void blabla() {}
5
6  static {
7    @GUT.quals.Peer
8    Object o = new @GUT.quals.Peer Integer(5);
9    if (o instanceof Integer) {
10      @GUT.quals.Peer
11      Object o2 = new @GUT.quals.Peer Object();
12    }
13  }
14
15  void m() { if (true) {} else {} }
16
17  static {
18    @GUT.quals.Rep
19    StaticInit si = new @GUT.quals.Rep StaticInit();
20  }
21}
22