public class TypeOutputtingChecker extends BaseTypeChecker
TypeElement. In particular it tests that the
types read from classfiles are the same to the ones from java files.
For testing, you need to do the following:
java -processor org.checkerframework.common.util.debug.TypeOutputtingChecker [source-file]
java org.checkerframework.common.util.debug.TypeOutputtingChecker [qualified-name]
| Modifier and Type | Class and Description |
|---|---|
static class |
TypeOutputtingChecker.GeneralAnnotatedTypeFactory
Stores any explicit annotation in AnnotatedTypeMirrors.
|
static class |
TypeOutputtingChecker.Visitor
Prints the types of the class and all of its enclosing fields, methods, and inner classes.
|
currentRoot, DETAILS_SEPARATOR, elementsWithSuppressedWarnings, errsOnLastExit, messager, messages, MSGS_FILE, parentChecker, SUPPRESS_ALL_KEY, trees, UNNEEDED_SUPPRESSION_KEY, upstreamCheckerNames, visitorprocessingEnv| Constructor and Description |
|---|
TypeOutputtingChecker() |
| Modifier and Type | Method and Description |
|---|---|
protected BaseTypeVisitor<?> |
createSourceVisitor()
Returns the appropriate visitor that type-checks the compilation unit according to the type
system rules.
|
static void |
main(String[] args) |
protected static void |
printClassType(TypeElement typeElt,
AnnotatedTypeFactory atypeFactory)
Prints the types of the class and all of its enclosing fields, methods, and inner classes.
|
void |
run(String[] args) |
getAnnotationProvider, getChecker, getContext, getImmediateSubcheckerClasses, getOptions, getSubchecker, getSupportedLintOptions, getSupportedOptions, getTreePathCacher, getTypeFactory, getTypeFactoryOfSubchecker, getVisitor, initChecker, invokeConstructorFor, printMessage, processArg, setRoot, shouldAddShutdownHook, shouldResolveReflection, shutdownHook, typeProcess, typeProcessingOver, warnUnneededSuppressionsaddOptions, createSupportedLintOptions, expandCFOptions, formatStackTrace, fullMessageOf, getBooleanOption, getBooleanOption, getElementUtils, getLintOption, getLintOption, getMessages, getOption, getOption, getOptionConfiguration, getProcessingEnvironment, getProperties, getStandardSuppressWarningsKeys, getSupportedAnnotationTypes, getSupportedSourceVersion, getSuppressWarningsKeys, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, hasOption, init, message, printStats, report, setLintOption, setParentChecker, setProcessingEnvironment, setSupportedLintOptions, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, treeToFilePositionString, typeProcessingStart, useUncheckedCodeDefault, warnUnneedSuppressionsprocessgetCompletions, isInitializedclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetElementUtils, getOptionConfiguration, getProcessingEnvironment, getTreeUtils, getTypeUtilsprotected BaseTypeVisitor<?> createSourceVisitor()
BaseTypeCheckerThis implementation uses the checker naming convention to create the appropriate visitor.
If no visitor is found, it returns an instance of BaseTypeVisitor. It reflectively
invokes the constructor that accepts this checker and the compilation unit tree (in that
order) as arguments.
Subclasses have to override this method to create the appropriate visitor if they do not follow the checker naming convention.
createSourceVisitor in class BaseTypeCheckerpublic static void main(String[] args)
public void run(String[] args)
protected static void printClassType(TypeElement typeElt, AnnotatedTypeFactory atypeFactory)