checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectChecker.java

package org.checkerframework.checker.guieffect;

import org.checkerframework.common.basetype.BaseTypeChecker;
import org.checkerframework.framework.qual.StubFiles;
import org.checkerframework.framework.source.SupportedLintOptions;

/**
 * The GUI Effect Checker.
 *
 * @checker_framework.manual #guieffect-checker GUI Effect Checker
 */
@StubFiles({"org-eclipse.astub", "org-osgi.astub", "org-swtchart.astub"})
@SupportedLintOptions({"debugSpew"})
public class GuiEffectChecker extends BaseTypeChecker {}