Home | History | Annotate | Download | only in tests 
      1 package java.lang:
      2 annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})
      3 
      4 package annotator.tests:
      5 class LocalSimple:
      6 
      7     method <init>()V:
      8 
      9     method foo()V:
     10         local 1 #2+8:
     11             type: @java.lang.Tainted
     12 
     13