framework/src/test/java/org/checkerframework/framework/testchecker/variablenamedefault/VariableNameDefaultAnnotatedTypeFactory.java

package org.checkerframework.framework.testchecker.variablenamedefault;

import java.lang.annotation.Annotation;
import java.util.Arrays;
import java.util.HashSet;
import java.util.Set;
import org.checkerframework.common.basetype.BaseAnnotatedTypeFactory;
import org.checkerframework.common.basetype.BaseTypeChecker;
import org.checkerframework.framework.testchecker.variablenamedefault.quals.PolyVariableNameDefault;
import org.checkerframework.framework.testchecker.variablenamedefault.quals.VariableNameDefaultBottom;
import org.checkerframework.framework.testchecker.variablenamedefault.quals.VariableNameDefaultMiddle;
import org.checkerframework.framework.testchecker.variablenamedefault.quals.VariableNameDefaultTop;

public class VariableNameDefaultAnnotatedTypeFactory extends BaseAnnotatedTypeFactory {
  public VariableNameDefaultAnnotatedTypeFactory(BaseTypeChecker checker) {
    super(checker);
    this.postInit();
  }

  @Override
  protected Set<Class<? extends Annotation>> createSupportedTypeQualifiers() {
    return new HashSet<>(
        Arrays.asList(
            VariableNameDefaultTop.class,
            VariableNameDefaultMiddle.class,
            VariableNameDefaultBottom.class,
            PolyVariableNameDefault.class));
  }
}