public class ReportVisitor extends BaseTypeVisitor<ReportChecker>
Modifier and Type | Class and Description |
---|---|
protected class |
ReportVisitor.ReportTypeValidator |
BaseTypeVisitor.TypeValidator
annoFactory, annoTypes, checker, options, typeValidator, visitorState
atypeFactory, elements, root, trees, types
Constructor and Description |
---|
ReportVisitor(ReportChecker checker,
@Nullable CompilationUnitTree root) |
checkAccess, checkArguments, checkArrayInitialization, checkAssignability, checkConstructorInvocation, checkDefaultConstructor, checkForAnnotatedJdk, checkMethodInvocability, checkOverride, checkTypeArguments, checkTypecastRedundancy, checkTypecastSafety, commonAssignmentCheck, commonAssignmentCheck, commonAssignmentCheck, enclosingMemberSelect, enclosingStatement, isAccessAllowed, isAssignable, isValidUse, isValidUse, isValidUse, isVectorCopyInto, shouldSkipUses, typeCheckVectorCopyIntoArgument, validateTypeOf, visitAnnotation, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitEnhancedForLoop, visitParameterizedType, visitReturn, visitTypeParameter, visitUnary, visitVariable
getCurrentPath, scan
reduce, scan, visitAnnotatedType, visitArrayType, visitAssert, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitOther, visitParenthesized, visitPrimitiveType, visitSwitch, visitSynchronized, visitThrow, visitTry, visitUnionType, visitWhileLoop, visitWildcard
public ReportVisitor(ReportChecker checker, @Nullable CompilationUnitTree root)
public @Nullable Void scan(@Nullable Tree tree, @Nullable Void p)
scan
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitClass(@Nullable ClassTree node, @Nullable Void p)
visitClass
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitClass
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitMethod(@Nullable MethodTree node, @Nullable Void p)
BaseTypeVisitor
visitMethod
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitMethod
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitMethodInvocation(MethodInvocationTree node, @Nullable Void p)
BaseTypeVisitor
visitMethodInvocation
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitMethodInvocation
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitMemberSelect(MemberSelectTree node, @Nullable Void p)
visitMemberSelect
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitMemberSelect
in class TreeScanner<@Nullable Void,@Nullable Void>
public @Nullable Void visitIdentifier(IdentifierTree node, @Nullable Void p)
visitIdentifier
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitIdentifier
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitAssignment(AssignmentTree node, @Nullable Void p)
BaseTypeVisitor
BaseTypeVisitor.commonAssignmentCheck(Tree, ExpressionTree, String)
.
If the subtype check fails, it issues a "assignment.type.incompatible" error.visitAssignment
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitAssignment
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitArrayAccess(ArrayAccessTree node, @Nullable Void p)
visitArrayAccess
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitArrayAccess
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitNewClass(NewClassTree node, @Nullable Void p)
BaseTypeVisitor
visitNewClass
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitNewClass
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitNewArray(NewArrayTree node, @Nullable Void p)
visitNewArray
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitNewArray
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitTypeCast(TypeCastTree node, @Nullable Void p)
visitTypeCast
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitTypeCast
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitInstanceOf(InstanceOfTree node, @Nullable Void p)
visitInstanceOf
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitInstanceOf
in class BaseTypeVisitor<ReportChecker>
public @Nullable Void visitModifiers(ModifiersTree node, @Nullable Void p)
visitModifiers
in interface TreeVisitor<@Nullable Void,@Nullable Void>
visitModifiers
in class TreeScanner<@Nullable Void,@Nullable Void>
protected BaseTypeVisitor.TypeValidator createTypeValidator()
createTypeValidator
in class BaseTypeVisitor<ReportChecker>