checkers.basetype
Class BaseTypeVisitor.TypeValidator

java.lang.Object
  checkers.types.visitors.AnnotatedTypeScanner<Void,Tree>
      checkers.basetype.BaseTypeVisitor.TypeValidator

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,Tree>

Enclosing class:

BaseTypeVisitor<R,P>

protected class BaseTypeVisitor.TypeValidator
extends AnnotatedTypeScanner<Void,Tree>

Field Summary

Modifier and Type	Field and Description

Fields inherited from class checkers.types.visitors.AnnotatedTypeScanner

visitedNodes

Constructor Summary

Modifier	Constructor and Description
protected	BaseTypeVisitor.TypeValidator()

Method Summary

Modifier and Type	Method and Description
protected void	reportError(AnnotatedTypeMirror type, Tree p)
Void	visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type, Tree p) Visits a declared type.

Methods inherited from class checkers.types.visitors.AnnotatedTypeScanner

reduce, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitExecutable, visitNoType, visitNull, visitPrimitive, visitTypeVariable, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

BaseTypeVisitor.TypeValidator

protected BaseTypeVisitor.TypeValidator()

Method Detail

reportError

protected void reportError(AnnotatedTypeMirror type,
                           Tree p)

visitDeclared

public Void visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                          Tree p)

Description copied from interface: AnnotatedTypeVisitor

Visits a declared type.

Specified by:

visitDeclared in interface AnnotatedTypeVisitor<Void,Tree>

Overrides:

visitDeclared in class AnnotatedTypeScanner<Void,Tree>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result