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);
}
}
Aggregations