checkers.oigj
Class ImmutabilityVisitor

java.lang.Object
  com.sun.source.util.TreeScanner<R,P>
      com.sun.source.util.TreePathScanner<R,P>
          checkers.source.SourceVisitor<R,P>
              checkers.basetype.BaseTypeVisitor<Void,Void>
                  checkers.oigj.ImmutabilityVisitor

All Implemented Interfaces:

TreeVisitor<Void,Void>

public class ImmutabilityVisitor
extends BaseTypeVisitor<Void,Void>

Nested Class Summary

Modifier and Type	Class and Description

Nested classes/interfaces inherited from class checkers.basetype.BaseTypeVisitor

BaseTypeVisitor.TypeValidator

Field Summary

Modifier and Type	Field and Description

Fields inherited from class checkers.basetype.BaseTypeVisitor

annoFactory, annoTypes, checker, plainFactory, visitorState

Fields inherited from class checkers.source.SourceVisitor

atypeFactory, elements, root, trees, types

Constructor and Description

ImmutabilityVisitor(ImmutabilitySubchecker checker, CompilationUnitTree root)

Method Summary

Modifier and Type	Method and Description
void	validateTypeOf(Tree tree) Tests whether the tree expressed by the passed type tree is a valid type, and emits an error if that is not the case (e.g.

Methods inherited from class checkers.basetype.BaseTypeVisitor

checkAccess, checkArguments, checkArrayInitialization, checkAssignability, checkConstructorInvocation, checkDefaultConstructor, checkMethodInvocability, checkOverride, checkTypeArguments, checkTypecastRedundancy, checkTypecastSafety, commonAssignmentCheck, commonAssignmentCheck, commonAssignmentCheck, createTypeValidator, enclosingMemberSelect, enclosingStatement, isAccessAllowed, isVectorCopyInto, scan, shouldSkip, shouldSkip, typeCheckVectorCopyIntoArgument, visitAnnotation, visitAssignment, visitClass, visitCompilationUnit, visitCompoundAssignment, visitEnhancedForLoop, visitIdentifier, visitInstanceOf, visitMethod, visitMethodInvocation, visitNewArray, visitNewClass, visitParameterizedType, visitReturn, visitTypeCast, visitUnary, visitVariable

Methods inherited from class com.sun.source.util.TreePathScanner

getCurrentPath, scan

Methods inherited from class com.sun.source.util.TreeScanner

reduce, scan, visitAnnotatedType, visitArrayAccess, visitArrayType, visitAssert, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitConditionalExpression, visitContinue, visitDisjointType, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitLabeledStatement, visitLiteral, visitMemberSelect, visitModifiers, visitOther, visitParenthesized, visitPrimitiveType, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ImmutabilityVisitor

public ImmutabilityVisitor(ImmutabilitySubchecker checker,
                           CompilationUnitTree root)

Method Detail

validateTypeOf

public void validateTypeOf(Tree tree)

Description copied from class: BaseTypeVisitor

Tests whether the tree expressed by the passed type tree is a valid type, and emits an error if that is not the case (e.g. '@Mutable String').

Overrides:

validateTypeOf in class BaseTypeVisitor<Void,Void>

Parameters:

tree - the AST type supplied by the user