annotation-file-utilities/tests/BoundMethodSimple.jaif

package java.lang:
annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})

package org.checkerframework.checker.nullness.qual:
annotation @Nullable: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})
annotation @UnknownKeyFor: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})

package annotator.tests:
class BoundMethodSimple:

    method <init>()V:

    method foo(Lannotator/tests/Date;)V:
        bound 0 & 0: @java.lang.Tainted

    method foo2(Ljava/lang/Object;)V:
        bound 0 & 0: @java.lang.Tainted

    method foo3(Ljava/util/List;Ljava/util/Comparator;)V:
        bound 0 & 0: @org.checkerframework.checker.nullness.qual.Nullable @org.checkerframework.checker.nullness.qual.UnknownKeyFor