org.checkerframework.checker.mustcall.MustCallNoCreatesMustCallForChecker Maven / Gradle / Ivy

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

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

The newest version!

package org.checkerframework.checker.mustcall;

import org.checkerframework.framework.qual.StubFiles;
import org.checkerframework.framework.source.SupportedOptions;
import org.checkerframework.framework.source.SuppressWarningsPrefix;

/**
 * This copy of the Must Call Checker is identical, except that it does not load the stub files that
 * treat unconnected sockets as {@code @MustCall({})}. See SocketCreatesMustCallFor.astub.
 *
 * The only difference is the contents of the @StubFiles annotation.
 */
@StubFiles({
    "JavaEE.astub",
    "Reflection.astub",
})
@SuppressWarningsPrefix({
    // Preferred checkername, so that warnings are suppressed regardless of the option passed.
    "mustcall",
    // Also supported, but will only suppress warnings from this checker (and not from the regular
    // Must Call Checker).
    "mustcallnocreatesmustcallfor"
})
@SupportedOptions({MustCallChecker.NO_CREATES_MUSTCALLFOR})
public class MustCallNoCreatesMustCallForChecker extends MustCallChecker {}