checkers.oigj
Class OIGJChecker

java.lang.Object
  extended by javax.annotation.processing.AbstractProcessor
      extended by com.sun.source.util.AbstractTypeProcessor
          extended by checkers.util.AggregateChecker
              extended by checkers.oigj.OIGJChecker
All Implemented Interfaces:
Processor

public class OIGJChecker
extends AggregateChecker

A type-checker plug-in for the OIGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors. The OIGJ language is a Java language extension that expresses immutability and ownership constraints.


Field Summary
Modifier and Type Field and Description
 
Fields inherited from class javax.annotation.processing.AbstractProcessor
processingEnv
 
Constructor Summary
Constructor and Description
OIGJChecker()
           
 
Method Summary
Modifier and Type Method and Description
protected  Collection<Class<? extends SourceChecker>> getSupportedCheckers()
          Returns the list of supported checkers to be run together.
 
Methods inherited from class checkers.util.AggregateChecker
getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, init, typeProcess, typeProcessingOver
 
Methods inherited from class com.sun.source.util.AbstractTypeProcessor
process
 
Methods inherited from class javax.annotation.processing.AbstractProcessor
getCompletions, isInitialized, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

OIGJChecker

public OIGJChecker()
Method Detail

getSupportedCheckers

protected Collection<Class<? extends SourceChecker>> getSupportedCheckers()
Description copied from class: AggregateChecker
Returns the list of supported checkers to be run together. Subclasses need to override this method.

Specified by:
getSupportedCheckers in class AggregateChecker