Home | History | Annotate | Download | only in tests 
      1 package org.checkerframework.checker.nullness.qual:
      2 
      3 annotation @NonNull: @java.lang.annotation.Target(value={TYPE_USE,TYPE_PARAMETER}) @java.lang.annotation.Retention(value=RUNTIME)
      4 
      5 annotation @UnknownKeyFor: @java.lang.annotation.Target(value={TYPE_USE,TYPE_PARAMETER}) @java.lang.annotation.Retention(value=RUNTIME)
      6 
      7 package:
      8 
      9 annotation @A:
     10 annotation @B:
     11 annotation @C:
     12 annotation @D:
     13 annotation @E:
     14 annotation @F:
     15 
     16 package java.lang:
     17 
     18 annotation @SuppressWarnings:
     19     String[] value
     20 
     21 package annotator.tests:
     22 
     23 class ExtImpl$C1:
     24 extends: @A
     25 inner-type 3, 0: @B
     26 inner-type 3, 1: @C
     27 implements 0: @D
     28 inner-type 3, 0: @E
     29 inner-type 3, 1: @F
     30 
     31 class ExtImpl$C2:
     32 implements 0: @A
     33 inner-type 3, 0: @B
     34 inner-type 3, 1: @C
     35 implements 1: @D
     36 inner-type 3, 0: @E
     37 inner-type 3, 1: @F
     38 
     39 class 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 
     45 class 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