checkers.oigj
Class OIGJChecker

java.lang.Object
  javax.annotation.processing.AbstractProcessor
      com.sun.source.util.AbstractTypeProcessor
          checkers.util.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.

See the Checker Framework manual:

OIGJ Checker

Field Summary

Modifier and Type	Field and Description

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, 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