checkers.typestate
Class TypestateChecker

java.lang.Object
  javax.annotation.processing.AbstractProcessor
      checkers.source.SourceChecker
          checkers.typestate.TypestateChecker

All Implemented Interfaces:

javax.annotation.processing.Processor

@TypeQualifiers(value=checkers.quals.Unqualified.class)
public class TypestateChecker
extends checkers.source.SourceChecker

Author:

Adam Warski (adam at warski dot org)

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

TypestateChecker()

Method Summary

protected checkers.source.SourceVisitor<?,?>

createSourceVisitor(com.sun.source.tree.CompilationUnitTree root)

Methods inherited from class checkers.source.SourceChecker

attribute, createFactory, getLintOption, getLintOption, getMessages, getProcessingEnvironment, getShouldSkip, getSupportedAnnotationTypes, getSupportedLintOptions, getSupportedOptions, getSupportedSourceVersion, getSuppressWarningsKey, init, 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

TypestateChecker

public TypestateChecker()

Method Detail

createSourceVisitor

protected checkers.source.SourceVisitor<?,?> createSourceVisitor(com.sun.source.tree.CompilationUnitTree root)

Specified by:

createSourceVisitor in class checkers.source.SourceChecker