| package org.checkerframework.framework.testchecker.defaulting; |
| |
| 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; |
| |
| public class DefaultingUpperBoundAnnotatedTypeFactory extends BaseAnnotatedTypeFactory { |
| |
| public DefaultingUpperBoundAnnotatedTypeFactory(BaseTypeChecker checker) { |
| super(checker); |
| this.postInit(); |
| } |
| |
| @Override |
| protected Set<Class<? extends Annotation>> createSupportedTypeQualifiers() { |
| return new HashSet<Class<? extends Annotation>>( |
| Arrays.asList( |
| UpperBoundQual.UbTop.class, |
| UpperBoundQual.UbExplicit.class, |
| UpperBoundQual.UbImplicit.class, |
| UpperBoundQual.UbBottom.class)); |
| } |
| } |