public class BaseTypeVisitor.OverrideChecker extends Object
Method references are checked similarly to method overrides, with the method reference viewed as overriding the functional interface's method.
Checks that an overriding method's return type, parameter types, and receiver type are correct with respect to the annotations on the overridden method's return type, parameter types, and receiver type.
Furthermore, any contracts on the method must satisfy behavioral subtyping, that is, postconditions must be at least as strong as the postcondition on the superclass, and preconditions must be at most as strong as the condition on the superclass.
This method returns the result of the check, but also emits error messages as a side effect.
Modifier and Type | Field and Description |
---|---|
protected boolean |
isMethodReference
True if
overriderTree is a MEMBER_REFERENCE. |
protected AnnotatedTypeMirror.AnnotatedExecutableType |
overridden
The type of the overridden method.
|
protected AnnotatedTypeMirror |
overriddenReturnType
The teturn type of the overridden method.
|
protected AnnotatedTypeMirror.AnnotatedDeclaredType |
overriddenType
The supertype that declares the overridden method.
|
protected AnnotatedTypeMirror.AnnotatedExecutableType |
overrider
The type of the overriding method.
|
protected AnnotatedTypeMirror |
overriderReturnType
The return type of the overriding method.
|
protected Tree |
overriderTree
The declaration of an overriding method.
|
protected AnnotatedTypeMirror |
overriderType
The subtype that declares the overriding method.
|
Constructor and Description |
---|
OverrideChecker(Tree overriderTree,
AnnotatedTypeMirror.AnnotatedExecutableType overrider,
AnnotatedTypeMirror overriderType,
AnnotatedTypeMirror overriderReturnType,
AnnotatedTypeMirror.AnnotatedExecutableType overridden,
AnnotatedTypeMirror.AnnotatedDeclaredType overriddenType,
AnnotatedTypeMirror overriddenReturnType)
Create an OverrideChecker.
|
Modifier and Type | Method and Description |
---|---|
boolean |
checkOverride()
Perform the check.
|
protected boolean |
checkReceiverOverride()
Issue an "override.receiver" error if the receiver override is not valid.
|
protected final Tree overriderTree
protected final boolean isMethodReference
overriderTree
is a MEMBER_REFERENCE.protected final AnnotatedTypeMirror.AnnotatedExecutableType overrider
protected final AnnotatedTypeMirror overriderType
protected final AnnotatedTypeMirror.AnnotatedExecutableType overridden
protected final AnnotatedTypeMirror.AnnotatedDeclaredType overriddenType
protected final AnnotatedTypeMirror overriddenReturnType
protected final AnnotatedTypeMirror overriderReturnType
public OverrideChecker(Tree overriderTree, AnnotatedTypeMirror.AnnotatedExecutableType overrider, AnnotatedTypeMirror overriderType, AnnotatedTypeMirror overriderReturnType, AnnotatedTypeMirror.AnnotatedExecutableType overridden, AnnotatedTypeMirror.AnnotatedDeclaredType overriddenType, AnnotatedTypeMirror overriddenReturnType)
Notice that the return types are passed in separately. This is to support some types of method references where the overrider's return type is not the appropriate type to check.
overriderTree
- the AST node of the overriding method or method referenceoverrider
- the type of the overriding methodoverriderType
- the type enclosing the overrider method, usually an
AnnotatedDeclaredType; for Method References may be something elseoverriderReturnType
- the return type of the overriding methodoverridden
- the type of the overridden methodoverriddenType
- the declared type enclosing the overridden methodoverriddenReturnType
- the return type of the overridden method