Examples with AnnotatedTypeFactory org.checkerframework.framework.type.AnnotatedTypeFactory used on opensource projects

Example 6 with AnnotatedTypeFactory

use of org.checkerframework.framework.type.AnnotatedTypeFactory in project checker-framework by typetools.

the class TypeOutputtingChecker method run.

/**
 * Run the test.
 *
 * @param args command-line arguments
 */
public void run(@CanonicalName String[] args) {
    ProcessingEnvironment env = JavacProcessingEnvironment.instance(new Context());
    Elements elements = env.getElementUtils();
    // TODO: Instead of using a GeneralAnnotatedTypeFactory, just use standard javac classes
    // to print explicit annotations.
    AnnotatedTypeFactory atypeFactory = new GeneralAnnotatedTypeFactory(this);
    for (String className : args) {
        TypeElement typeElt = elements.getTypeElement(className);
        printClassType(typeElt, atypeFactory);
    }
}