de.unisaarland.cs.st.jerify.verifier
Class Checker

java.lang.Object
  javax.annotation.processing.AbstractProcessor
      checkers.source.SourceChecker
          de.unisaarland.cs.st.jerify.verifier.Checker

All Implemented Interfaces:

javax.annotation.processing.Processor

@SupportedLintOptions(value={})
@DefaultQualifier(value="checkers.nullness.quals.NonNull")
public class Checker
extends checkers.source.SourceChecker

The Typestate Checker class the entry point to the typestate checker form the checkers framework

Author:

Daniel Wand (typestate@ewand.de)

Field Summary

static checkers.types.AnnotatedTypeFactory

factory

Constructor Summary

Checker()

Method Summary

checkers.types.AnnotatedTypeFactory	createFactory(com.sun.source.tree.CompilationUnitTree arg0)
boolean	process(java.util.Set<? extends javax.lang.model.element.TypeElement> annotations, javax.annotation.processing.RoundEnvironment roundEnv) This is the same in SourceChecker but the scanning Type-check the code with Java specifications and then runs the Checker Rule Checking visitor on the processed source.

Methods inherited from class checkers.source.SourceChecker

getLintOption, getLintOption, getMessages, getProcessingEnvironment, getShouldSkip, getSupportedAnnotationTypes, getSupportedLintOptions, getSupportedOptions, getSupportedSourceVersion, init, report, shouldSkip

Methods inherited from class javax.annotation.processing.AbstractProcessor

getCompletions

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

factory

public static checkers.types.AnnotatedTypeFactory factory

Constructor Detail

Checker

public Checker()

Method Detail

createFactory

public checkers.types.AnnotatedTypeFactory createFactory(com.sun.source.tree.CompilationUnitTree arg0)

Overrides:

createFactory in class checkers.source.SourceChecker

process

public boolean process(java.util.Set<? extends javax.lang.model.element.TypeElement> annotations,
                       javax.annotation.processing.RoundEnvironment roundEnv)

This is the same in SourceChecker but the scanning Type-check the code with Java specifications and then runs the Checker Rule Checking visitor on the processed source. The Processor is invoked in the annotation processing phase, before the code is type-checked by the compiler. This method ensures that only Java valid code is processed by the Rule Checking visitor.

Specified by:

process in interface javax.annotation.processing.Processor

Overrides:

process in class checkers.source.SourceChecker

See Also:

Processor#process(Set, RoundEnvironment)