Class TestChecker

  extended by javax.annotation.processing.AbstractProcessor
      extended by checkers.source.SourceChecker
          extended by checkers.basetype.BaseTypeChecker
              extended by checkers.util.test.TestChecker
All Implemented Interfaces:

public final class TestChecker
extends BaseTypeChecker

A simple checker used for testing the Checker Framework. It treates the \@Odd annotation as a subtype-style qualifier with no special semantics.

This checker should only be used for testing the framework.

Field Summary
Fields inherited from class checkers.source.SourceChecker
currentRoot, env, messager, messages, skipPattern, trees
Fields inherited from class javax.annotation.processing.AbstractProcessor
Constructor Summary
Method Summary
 AnnotatedTypeFactory createFactory(CompilationUnitTree tree)
          Constructs an instance of the appropriate type factory for the implemented type system.
Methods inherited from class checkers.basetype.BaseTypeChecker
createQualifierHierarchy, createSourceVisitor, createSupportedTypeQualifiers, createTypeHierarchy, getQualifierHierarchy, getSupportedLintOptions, getSupportedTypeQualifiers, init, isAssignable, isSubtype, isValidUse
Methods inherited from class checkers.source.SourceChecker
attribute, getLintOption, getLintOption, getMessages, getProcessingEnvironment, getShouldSkip, getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, getSuppressWarningsKey, message, process, report, shouldSkip
Methods inherited from class javax.annotation.processing.AbstractProcessor
getCompletions, isInitialized
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public TestChecker()
Method Detail


public AnnotatedTypeFactory createFactory(CompilationUnitTree tree)
Description copied from class: BaseTypeChecker
Constructs an instance of the appropriate type factory for the implemented type system. The default implementation uses the checker naming convention to create the appropriate type factory. If no factory is found, it returns BasicAnnotatedTypeFactory. It reflectively invokes the constructor that accepts this checker and 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.

createFactory in class BaseTypeChecker
tree - the currently visited compilation unit
the appropriate type factory