1 package : 2 annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) 3 4 package org.checkerframework.checker.nullness.qual: 5 annotation @NonNull: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 6 7 package : 8 annotation @NonNull: @java.lang.annotation.Retention(value=RUNTIME) 9 10 package foo: 11 class 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
