1package org.checkerframework.checker.nullness.qual: 2 3annotation @NonNull: @java.lang.annotation.Target(value={TYPE_USE,TYPE_PARAMETER}) @java.lang.annotation.Retention(value=RUNTIME) 4 5annotation @UnknownKeyFor: @java.lang.annotation.Target(value={TYPE_USE,TYPE_PARAMETER}) @java.lang.annotation.Retention(value=RUNTIME) 6 7package: 8 9annotation @A: 10annotation @B: 11annotation @C: 12annotation @D: 13annotation @E: 14annotation @F: 15 16package java.lang: 17 18annotation @SuppressWarnings: 19 String[] value 20 21package annotator.tests: 22 23class ExtImpl$C1: 24extends: @A 25inner-type 3, 0: @B 26inner-type 3, 1: @C 27implements 0: @D 28inner-type 3, 0: @E 29inner-type 3, 1: @F 30 31class ExtImpl$C2: 32implements 0: @A 33inner-type 3, 0: @B 34inner-type 3, 1: @C 35implements 1: @D 36inner-type 3, 0: @E 37inner-type 3, 1: @F 38 39class ExtImpl$C3: 40 method getI1()LIface3;: @SuppressWarnings({}) 41 method getI2()Lannotator.tests.ExtImpl$C3$Iface3;: @SuppressWarnings({}) 42 method getI3()LExtImpl$C3$Iface3;: @SuppressWarnings({}) 43 method getI4()LIface3;: @SuppressWarnings({}) 44 45class ExtImpl$Iface4: 46 typeparam 1: @org.checkerframework.checker.nullness.qual.NonNull 47 bound 1&1: @org.checkerframework.checker.nullness.qual.UnknownKeyFor @org.checkerframework.checker.nullness.qual.NonNull 48 49