checkers.util.test
Class TestChecker

java.lang.Object
  javax.annotation.processing.AbstractProcessor
      checkers.source.SourceChecker
          checkers.basetype.BaseTypeChecker
              checkers.util.test.TestChecker

All Implemented Interfaces:

Processor

@SupportedSourceVersion(value=RELEASE_7)
@TypeQualifiers(value=Odd.class)
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

processingEnv

Constructor Summary

TestChecker()

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

TestChecker

public TestChecker()

Method Detail

createFactory

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.

Overrides:

createFactory in class BaseTypeChecker

Parameters:

tree - the currently visited compilation unit

Returns:

the appropriate type factory