Home | History | Annotate | Download | only in source-extension 
      1 package GUT.quals:
      2 annotation @Peer:
      3 annotation @Rep:
      4 
      5 package annotator.tests:
      6 class MethodNew:
      7 method m(Ljava/lang/Object;)V:
      8 new *0: @GUT.quals.Peer
      9 
     10 package annotator.tests:
     11 class MethodNew:
     12 method m()V:
     13 new *0: @GUT.quals.Rep
     14 
     15 
     16