checkers.oigj

Class OIGJChecker

java.lang.Object

javax.annotation.processing.AbstractProcessor

checkers.source.AbstractTypeProcessor

checkers.source.SourceChecker

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.

Nested Class Summary

Nested classes/interfaces inherited from class checkers.source.SourceChecker

SourceChecker.CheckerError

Field Summary

Fields inherited from class checkers.source.AggregateChecker

checkers

Fields inherited from class checkers.source.SourceChecker

currentPath, currentRoot, DETAILS_SEPARATOR, messager, messages, trees

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

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

createSourceVisitor, getSupportedLintOptions, getSupportedOptions, init, initChecker, typeProcess, typeProcessingOver

Methods inherited from class checkers.source.SourceChecker

createFactory, createSupportedLintOptions, errorAbort, errorAbort, formatStackTrace, fullMessageOf, getLintOption, getLintOption, getMessages, getProcessingEnvironment, getProperties, getSupportedAnnotationTypes, getSupportedSourceVersion, getSuppressWarningsKey, message, printStats, report, setLintOption, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shutdownHook, 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