checkers.igj
Class IGJChecker

java.lang.Object
  javax.annotation.processing.AbstractProcessor
      checkers.source.SourceChecker
          checkers.basetype.BaseTypeChecker
              checkers.igj.IGJChecker

All Implemented Interfaces:

Processor

@TypeQualifiers(value={ReadOnly.class,Mutable.class,Immutable.class,I.class,AssignsFields.class,checkers.igj.IGJPlaceHolder.class})
public class IGJChecker
extends BaseTypeChecker

A type-checker plug-in for the IGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors. The IGJ language is a Java language extension that expresses immutability constraints, using six annotations: ReadOnly, Mutable, Immutable, I -- a polymorphic qualifier, Assignable, and AssignsFields. The language is specified by the FSE 2007 paper.

See the checkers manual:

IGJ Checker

Field Summary

protected AnnotationMirror	ASSIGNS_FIELDS Supported Annotations for IGJ.
protected AnnotationMirror	I Supported Annotations for IGJ.
protected AnnotationMirror	IMMUTABLE Supported Annotations for IGJ.
protected AnnotationMirror	MUTABLE Supported Annotations for IGJ.
protected AnnotationMirror	PLACE_HOLDER Supported Annotations for IGJ.
protected AnnotationMirror	READONLY Supported Annotations for IGJ.

Fields inherited from class checkers.source.SourceChecker

currentRoot, env, messager, messages, skipPattern, trees

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

IGJChecker()

Method Summary

protected TypeHierarchy	createTypeHierarchy() Creates the type subtyping checker using the current type qualifier hierarchy.
void	init(ProcessingEnvironment processingEnv)
boolean	isAssignable(AnnotatedTypeMirror varType, AnnotatedTypeMirror receiverType, Tree varTree) Return true if the assignment variable is an assignable field or variable, and returns false otherwise.
boolean	isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType elemType, AnnotatedTypeMirror.AnnotatedDeclaredType use) Tests that the qualifiers presents on the useType are valid qualifier, based on the declaration type, elementType.

Methods inherited from class checkers.basetype.BaseTypeChecker

createFactory, createQualifierHierarchy, createSourceVisitor, createSupportedTypeQualifiers, getQualifierHierarchy, getSupportedLintOptions, getSupportedTypeQualifiers, isSubtype

Methods inherited from class checkers.source.SourceChecker

getLintOption, getLintOption, getMessages, getProcessingEnvironment, getShouldSkip, getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, getSuppressWarningsKey, message, process, report, shouldSkip

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

Field Detail

READONLY

protected AnnotationMirror READONLY

Supported Annotations for IGJ. Used for subtyping rules

MUTABLE

protected AnnotationMirror MUTABLE

Supported Annotations for IGJ. Used for subtyping rules

IMMUTABLE

protected AnnotationMirror IMMUTABLE

Supported Annotations for IGJ. Used for subtyping rules

I

protected AnnotationMirror I

Supported Annotations for IGJ. Used for subtyping rules

ASSIGNS_FIELDS

protected AnnotationMirror ASSIGNS_FIELDS

Supported Annotations for IGJ. Used for subtyping rules

PLACE_HOLDER

protected AnnotationMirror PLACE_HOLDER

Supported Annotations for IGJ. Used for subtyping rules

Constructor Detail

IGJChecker

public IGJChecker()

Method Detail

init

public void init(ProcessingEnvironment processingEnv)

Description copied from class: SourceChecker

Specified by:

init in interface Processor

Overrides:

init in class BaseTypeChecker

See Also:

AbstractProcessor.init(javax.annotation.processing.ProcessingEnvironment)

isAssignable

public boolean isAssignable(AnnotatedTypeMirror varType,
                            AnnotatedTypeMirror receiverType,
                            Tree varTree)

Return true if the assignment variable is an assignable field or variable, and returns false otherwise. A field is assignable if it is 1. a static field 2. marked Assignable 3. accessed through a mutable reference 4. reassigned with an AssignsFields method and owned by 'this'

Overrides:

isAssignable in class BaseTypeChecker

Parameters:

varType - the annotated variable type

varTree - tree used to access the variable

Returns:

true iff variable is assignable in the current scope

isValidUse

public boolean isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType elemType,
                          AnnotatedTypeMirror.AnnotatedDeclaredType use)

Description copied from class: BaseTypeChecker

Tests that the qualifiers presents on the useType are valid qualifier, based on the declaration type, elementType. The check is shallow, as it does not descend into generic or array types (i.e. only performing the validity check on the raw type or outmost array dimension). In most cases, useType simply needs to be a subtype of elemType. TODO: explain better.

Overrides:

isValidUse in class BaseTypeChecker

Parameters:

elemType - the type of the class (TypeElement)

use - the use of the class (instance type)

Returns:

if the useType is a valid use of elemType

createTypeHierarchy

protected TypeHierarchy createTypeHierarchy()

Description copied from class: BaseTypeChecker

Creates the type subtyping checker using the current type qualifier hierarchy. Subclasses may override this method to specify new type checking rules beyond the typical java subtyping rules.

Overrides:

createTypeHierarchy in class BaseTypeChecker

Returns:

the type relations class to check type subtyping