| package java.lang: |
| annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) |
| |
| package java.lang: |
| annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) |
| |
| package annotator.tests: |
| class ConstructorParamMultiple: |
| |
| method <init>(Ljava/lang/Object;Ljava/util/List;I)V: |
| parameter #0: |
| type: @java.lang.Tainted |
| parameter #1: |
| type: @java.lang.Tainted |
| inner-type 3, 0: @java.lang.UnderInitialization |
| parameter #2: |
| type: @java.lang.Tainted |
| |