framework.src.org.checkerframework.common.reflection.reflection.astub Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of checker-qual Show documentation

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker

There is a newer version: 3.45.0

Show newest version

import org.checkerframework.common.reflection.qual.*;

package java.lang;

class Class {
    @ForName
    static Class forName(String name);

    @GetMethod
    Method getMethod(String name, Class... parameterTypes);

    @GetMethod
    Method getDeclaredMethod(String name, Class... parameterTypes);

    @GetConstructor
    Constructor getConstructor(Class... parameterTypes);
}

class ClassLoader {
    @ForName
    static Class loadClass(String name);

    @ForName
    static Class loadClass(String name, boolean resolve);
}

class Object {
    @GetClass
    Class getClass();
}

package java.lang.reflect;

class Method {
    @Invoke
    Object invoke(Object obj, Object... args);
}

class Constructor {
    @NewInstance
    T newInstance(Object... args);
}