package org.checkerframework.checker.mustcall;

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

/**
 * 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 SocketAccumulationFrames.astub.
 *
 * <p>The only difference is the contents of the @StubFiles annotation.
 */
@StubFiles({
  "JavaEE.astub",
  "Reflection.astub",
})
@SupportedOptions({MustCallChecker.NO_ACCUMULATION_FRAMES})
public class MustCallNoAccumulationFramesChecker extends MustCallChecker {}