org.perfectable.introspection.package-info Maven / Gradle / Ivy
/**
* Base package for this library.
*
* Contains miscellaneous utilities to use by frameworks.
*/
@DefaultQualifier(value = NonNull.class, locations = {
TypeUseLocation.FIELD,
TypeUseLocation.RETURN,
TypeUseLocation.RECEIVER,
TypeUseLocation.PARAMETER,
TypeUseLocation.EXCEPTION_PARAMETER,
TypeUseLocation.CONSTRUCTOR_RESULT,
TypeUseLocation.RESOURCE_VARIABLE,
TypeUseLocation.LOCAL_VARIABLE,
TypeUseLocation.IMPLICIT_LOWER_BOUND
})
@TypesAreNotNullableByDefault
package org.perfectable.introspection;
import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.framework.qual.DefaultQualifier;
import org.checkerframework.framework.qual.TypeUseLocation;
© 2015 - 2025 Weber Informatics LLC | Privacy Policy