checkers.oigj

Class OIGJChecker

java.lang.Object

javax.annotation.processing.AbstractProcessor

checkers.source.AbstractTypeProcessor

checkers.source.AggregateChecker

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

Fields inherited from class checkers.source.AggregateChecker

checkers

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

Constructor and Description
OIGJChecker()

Method Summary

Methods

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.source.AggregateChecker

getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, init, typeProcess, typeProcessingOver, typeProcessingStart

Methods inherited from class checkers.source.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