Interface DefaultRulesReflectionProxy

All Known Implementing Classes:
AbstractDefaultRulesReflectionProxy

@DefaultQualifier(org.checkerframework.checker.nullness.qual.NonNull.class) public interface DefaultRulesReflectionProxy
Interface with all the methods needed for the default rules to function.

Since the proxy methods must all be static, ProxyGenerator should be used to generate a class with a static field holding an instance of your proxy, and static methods redirecting to that instance.