org.checkerframework.checker.guieffect

Class GuiEffectVisitor.GuiEffectOverrideChecker

java.lang.Object

org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker

org.checkerframework.checker.guieffect.GuiEffectVisitor.GuiEffectOverrideChecker

Enclosing class:

GuiEffectVisitor

protected class GuiEffectVisitor.GuiEffectOverrideChecker
extends BaseTypeVisitor.OverrideChecker

Field Summary

Fields inherited from class org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker

methodReference, overridden, overriddenMeth, overriddenReturnType, overriddenTyp, overriddenType, overrider, overriderMeth, overriderTree, overriderTyp, overridingReturnType, overridingType

Constructor Summary

Constructors

Constructor and Description
GuiEffectOverrideChecker(Tree overriderTree, AnnotatedTypeMirror.AnnotatedExecutableType overrider, AnnotatedTypeMirror overridingType, AnnotatedTypeMirror overridingReturnType, AnnotatedTypeMirror.AnnotatedExecutableType overridden, AnnotatedTypeMirror.AnnotatedDeclaredType overriddenType, AnnotatedTypeMirror overriddenReturnType)

Method Summary

Modifier and Type	Method and Description
protected boolean	checkReceiverOverride() Extend the receiver part of the method override check.

Methods inherited from class org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker

checkOverride

Methods inherited from class java.lang.Object

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

Constructor Detail

GuiEffectOverrideChecker

public GuiEffectOverrideChecker(Tree overriderTree,
                                AnnotatedTypeMirror.AnnotatedExecutableType overrider,
                                AnnotatedTypeMirror overridingType,
                                AnnotatedTypeMirror overridingReturnType,
                                AnnotatedTypeMirror.AnnotatedExecutableType overridden,
                                AnnotatedTypeMirror.AnnotatedDeclaredType overriddenType,
                                AnnotatedTypeMirror overriddenReturnType)

Method Detail

checkReceiverOverride

protected boolean checkReceiverOverride()

Extend the receiver part of the method override check. We extend the standard check, to additionally permit narrowing the receiver's permission to @AlwaysSafe in a safe instantiation of a @PolyUIType. Returns true if the override is permitted.

Overrides:

checkReceiverOverride in class BaseTypeVisitor.OverrideChecker