1package : 2annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) 3 4package org.checkerframework.checker.nullness.qual: 5annotation @NonNull: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 6 7package : 8annotation @NonNull: @java.lang.annotation.Retention(value=RUNTIME) 9 10package foo: 11class Bar: 12 13 method getSomething(Ljava/lang/StringBuffer;)V: 14 return: 15 receiver: @Tainted 16 parameter #0: 17 type: @org.checkerframework.checker.nullness.qual.NonNull 18 19 method setSomething(Ljava/lang/String;)V: 20 return: 21 parameter #0: @NonNull 22 type: @org.checkerframework.checker.nullness.qual.NonNull 23 24