package org.checkerframework.checker.testchecker;

// Test case for Issue 343
// https://github.com/typetools/checker-framework/issues/343

import java.util.ArrayList;
import java.util.Collection;
import org.checkerframework.checker.fenum.FenumChecker;
import org.checkerframework.checker.i18n.I18nChecker;
import org.checkerframework.checker.nullness.NullnessChecker;
import org.checkerframework.checker.regex.RegexChecker;
import org.checkerframework.framework.source.AggregateChecker;
import org.checkerframework.framework.source.SourceChecker;

public class NestedAggregateChecker extends AggregateChecker {
  @Override
  protected Collection<Class<? extends SourceChecker>> getSupportedCheckers() {
    ArrayList<Class<? extends SourceChecker>> list =
        new ArrayList<Class<? extends SourceChecker>>();

    list.add(FenumChecker.class);
    list.add(I18nChecker.class); // The I18nChecker is an aggregate checker
    list.add(NullnessChecker.class);
    list.add(RegexChecker.class);

    return list;
  }
}