ReportVisitor

java.lang.Object
- com.sun.source.util.TreeScanner<R,P>
- - com.sun.source.util.TreePathScanner<R,P>
  - - checkers.source.SourceVisitor<@Nullable Void,@Nullable Void>
    - - checkers.basetype.BaseTypeVisitor<ReportChecker>
      - checkers.util.report.ReportVisitor

All Implemented Interfaces:: TreeVisitor<@Nullable Void,@Nullable Void>

public class ReportVisitor
extends BaseTypeVisitor<ReportChecker>

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

protected class ReportVisitor.ReportTypeValidator
- Nested classes/interfaces inherited from class checkers.basetype.BaseTypeVisitor
  BaseTypeVisitor.TypeValidator

Nested Classes
Modifier and Type	Class and Description
`protected class`	`ReportVisitor.ReportTypeValidator`

Field Summary
- Fields inherited from class checkers.basetype.BaseTypeVisitor
  annoFactory, annoTypes, checker, options, typeValidator, visitorState
- Fields inherited from class checkers.source.SourceVisitor
  atypeFactory, elements, root, trees, types

Constructor Summary

Constructors
Constructor and Description

ReportVisitor(ReportChecker checker, @Nullable CompilationUnitTree root)

Constructors
Constructor and Description
`ReportVisitor(ReportChecker checker, @Nullable CompilationUnitTree root)`

Method Summary

Methods
Modifier and Type	Method and Description
`protected BaseTypeVisitor.TypeValidator`	`createTypeValidator()`
`@Nullable Void`	`scan(@Nullable Tree tree, @Nullable Void p)`
`@Nullable Void`	`visitArrayAccess(ArrayAccessTree node, @Nullable Void p)`
`@Nullable Void`	`visitAssignment(AssignmentTree node, @Nullable Void p)` Performs two checks: subtyping and assignability checks, using `BaseTypeVisitor.commonAssignmentCheck(Tree, ExpressionTree, String)`.
`@Nullable Void`	`visitClass(@Nullable ClassTree node, @Nullable Void p)`
`@Nullable Void`	`visitIdentifier(IdentifierTree node, @Nullable Void p)`
`@Nullable Void`	`visitInstanceOf(InstanceOfTree node, @Nullable Void p)`
`@Nullable Void`	`visitMemberSelect(MemberSelectTree node, @Nullable Void p)`
`@Nullable Void`	`visitMethod(@Nullable MethodTree node, @Nullable Void p)` Performs pseudo-assignment check: checks that the method obeys override and subtype rules to all overridden methods.
`@Nullable Void`	`visitMethodInvocation(MethodInvocationTree node, @Nullable Void p)` Performs a method invocation check.
`@Nullable Void`	`visitModifiers(ModifiersTree node, @Nullable Void p)`
`@Nullable Void`	`visitNewArray(NewArrayTree node, @Nullable Void p)`
`@Nullable Void`	`visitNewClass(NewClassTree node, @Nullable Void p)` Performs a new class invocation check.
`@Nullable Void`	`visitTypeCast(TypeCastTree node, @Nullable Void p)`

Methods inherited from class com.sun.source.util.TreePathScanner
getCurrentPath, scan

Methods inherited from class com.sun.source.util.TreeScanner
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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ReportVisitor
```
public ReportVisitor(ReportChecker checker,
             @Nullable CompilationUnitTree root)
```
- Method Detail
  - scan
```
public @Nullable Void scan(@Nullable Tree tree,
                  @Nullable Void p)
```
    Overrides:
    
    scan in class BaseTypeVisitor<ReportChecker>
  - visitClass
```
public @Nullable Void visitClass(@Nullable ClassTree node,
                        @Nullable Void p)
```
    Specified by:
    
    visitClass in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitClass in class BaseTypeVisitor<ReportChecker>
  - visitMethod
```
public @Nullable Void visitMethod(@Nullable MethodTree node,
                         @Nullable Void p)
```
    Description copied from class: BaseTypeVisitor
    Performs pseudo-assignment check: checks that the method obeys override and subtype rules to all overridden methods. The override rule specifies that a method, m1, may override a method m2 only if:
    - m1 return type is a subtype of m2
    - m1 receiver type is a supertype of m2
    - m1 parameters are supertypes of corresponding m2 parameters
    Also, it issues a "missing.this" error for static method annotated receivers.
    Specified by:
    
    visitMethod in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitMethod in class BaseTypeVisitor<ReportChecker>
  - visitMethodInvocation
```
public @Nullable Void visitMethodInvocation(MethodInvocationTree node,
                                   @Nullable Void p)
```
    Description copied from class: BaseTypeVisitor
    Performs a method invocation check. An invocation of a method, m, on the receiver, r is valid only if:
    - passed arguments are subtypes of corresponding m parameters
    - r is a subtype of m receiver type
    - if m is generic, passed type arguments are subtypes of m type variables
    Specified by:
    
    visitMethodInvocation in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitMethodInvocation in class BaseTypeVisitor<ReportChecker>
  - visitMemberSelect
```
public @Nullable Void visitMemberSelect(MemberSelectTree node,
                               @Nullable Void p)
```
    Specified by:
    
    visitMemberSelect in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitMemberSelect in class TreeScanner<@Nullable Void,@Nullable Void>
  - visitIdentifier
```
public @Nullable Void visitIdentifier(IdentifierTree node,
                             @Nullable Void p)
```
    Specified by:
    
    visitIdentifier in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitIdentifier in class BaseTypeVisitor<ReportChecker>
  - visitAssignment
```
public @Nullable Void visitAssignment(AssignmentTree node,
                             @Nullable Void p)
```
    Description copied from class: BaseTypeVisitor
    
    Performs two checks: subtyping and assignability checks, using BaseTypeVisitor.commonAssignmentCheck(Tree, ExpressionTree, String). If the subtype check fails, it issues a "assignment.type.incompatible" error.
    
    Specified by:
    
    visitAssignment in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitAssignment in class BaseTypeVisitor<ReportChecker>
  - visitArrayAccess
```
public @Nullable Void visitArrayAccess(ArrayAccessTree node,
                              @Nullable Void p)
```
    Specified by:
    
    visitArrayAccess in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitArrayAccess in class BaseTypeVisitor<ReportChecker>
  - visitNewClass
```
public @Nullable Void visitNewClass(NewClassTree node,
                           @Nullable Void p)
```
    Description copied from class: BaseTypeVisitor
    Performs a new class invocation check. An invocation of a constructor, c, is valid only if:
    - passed arguments are subtypes of corresponding c parameters
    - if c is generic, passed type arguments are subtypes of c type variables
    Specified by:
    
    visitNewClass in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitNewClass in class BaseTypeVisitor<ReportChecker>
  - visitNewArray
```
public @Nullable Void visitNewArray(NewArrayTree node,
                           @Nullable Void p)
```
    Specified by:
    
    visitNewArray in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitNewArray in class BaseTypeVisitor<ReportChecker>
  - visitTypeCast
```
public @Nullable Void visitTypeCast(TypeCastTree node,
                           @Nullable Void p)
```
    Specified by:
    
    visitTypeCast in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitTypeCast in class BaseTypeVisitor<ReportChecker>
  - visitInstanceOf
```
public @Nullable Void visitInstanceOf(InstanceOfTree node,
                             @Nullable Void p)
```
    Specified by:
    
    visitInstanceOf in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitInstanceOf in class BaseTypeVisitor<ReportChecker>
  - visitModifiers
```
public @Nullable Void visitModifiers(ModifiersTree node,
                            @Nullable Void p)
```
    Specified by:
    
    visitModifiers in interface TreeVisitor<@Nullable Void,@Nullable Void>
    
    Overrides:
    
    visitModifiers in class TreeScanner<@Nullable Void,@Nullable Void>
  - createTypeValidator
```
protected BaseTypeVisitor.TypeValidator createTypeValidator()
```
    Overrides:
    
    createTypeValidator in class BaseTypeVisitor<ReportChecker>

Class ReportVisitor

Nested Class Summary

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

Field Summary

Fields inherited from class checkers.basetype.BaseTypeVisitor

Fields inherited from class checkers.source.SourceVisitor

Constructor Summary

Method Summary

Methods inherited from class checkers.basetype.BaseTypeVisitor

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

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

Methods inherited from class java.lang.Object

Constructor Detail

ReportVisitor

Method Detail

scan

visitClass

visitMethod

visitMethodInvocation

visitMemberSelect

visitIdentifier

visitAssignment

visitArrayAccess

visitNewClass

visitNewArray

visitTypeCast

visitInstanceOf

visitModifiers

createTypeValidator