| 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 FieldSimpleArray: | |
| field field: | |
| type: @java.lang.Tainted | |
| inner-type 0, 0: @java.lang.UnderInitialization | |
| method <init>()V: | |